MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
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
Conference URL::
Downloading URL:
Event Address*:
Aarhus, Denmark
Language:
English
Event Date*
(no longer used):
August, 23 - 29
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
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
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