Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Abdelwaheb, Ayari
Basin, David A.
Podelski, Andreas

dblp
dblp
dblp

Not MPG Author(s):

Abdelwaheb, Ayari
Basin, David A.

Editor(s):

Nielsen, Mogens
Thomas, Wolfgang

dblp
dblp



BibTeX cite key*:

LisaCSL

Title, Booktitle

Title*:

LISA: A Specification Language Based on WS2S

Booktitle*:

Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97)

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Aarhus, Denmark

Language:

English

Event Date*
(no longer used):

August, 23 - 29

Organization:


Event Start Date:

23 September 2019

Event End Date:

23 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1414

Number:


Month:


Pages:

18-34

Year*:

1998

VG Wort Pages:


ISBN/ISSN:

3-540-64570-5

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We integrate two concepts from programming languages into a
specification language based on WS2S, namely high-level data structures
such as records and recursively-defined datatypes (WS2S is the weak
second-order monadic logic of two successors). Our integration is based
on a new logic whose variables range over record-like trees and an
algorithm for translating datatypes into tree automata. We have
implemented Lisa, a prototype system based on these ideas, which, when
coupled with a decision procedure for WS2S like the Mona system, results
in a verification tool that supports both high-level specifications and
complexity estimations for the running time of the decision procedure.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{LisaCSL,
AUTHOR = {Abdelwaheb, Ayari and Basin, David A. and Podelski, Andreas},
EDITOR = {Nielsen, Mogens and Thomas, Wolfgang},
TITLE = {LISA: A Specification Language Based on WS2S},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97)},
PUBLISHER = {Springer},
YEAR = {1998},
VOLUME = {1414},
PAGES = {18--34},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Aarhus, Denmark},
ISBN = {3-540-64570-5},
}


Entry last modified by Bettina Stiller-Weishaupt, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Andreas Podelski
Created
01/18/1999 05:15:08 PM
Revisions
10.
9.
8.
7.
6.
Editor(s)
Bettina Stiller-Weishaupt
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm
Edit Dates
03/25/2003 03:08:01 PM
30/03/2000 15:49:48
30/03/2000 15:48:44
30.03.99 18:10:11
30.03.99 18:09:41