MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas		dblp
dblp
dblp
Editor(s):
Stuckey, Peter J.dblp
Not MPII Editor(s):
Stuckey, Peter J.
BibTeX cite key*:
CharatonikMP2002a
Title, Booktitle
Title*:
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
Booktitle*:
Logic Programming. 18th International Conference, ICLP 2002
Event, URLs
Conference URL::
http://floc02.diku.dk/ICLP/
Downloading URL:
Event Address*:
Copenhagen, Denmark
Language:
English
Event Date*
(no longer used):
-- July 29 - August 1, 2002
Organization:
Event Start Date:
29 July 2002
Event End Date:
1 August 2002
Publisher
Name*:
Springer
URL:
http://www.springer.de/
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
2401
Number:
Month:
Pages:
115-129
Year*:
2002
VG Wort Pages:
ISBN/ISSN:
3-540-43930-7
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
Forward analysis procedures for infinite-state systems such as timed systems were limited to safety properties. We give the first constraint-based forward analysis for infinite-state systems that goes beyond safety properties. Namely, we take the restriction of the $\mu$-calculus to least-fixpoint formulas where negation is applied to closed subformulas only. We characterize these properties as perfect models of constraint logic programs, and we present a tabulation procedure for the top-down evaluation of stratified constraint logic programs.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:
@INPROCEEDINGS{CharatonikMP2002a,
AUTHOR = {Charatonik, Witold and Mukhopadhyay, Supratik and Podelski, Andreas},
 EDITOR = {Stuckey, Peter J.},
 TITLE = {Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP},
 BOOKTITLE = {Logic Programming. 18th International Conference, ICLP 2002},
 PUBLISHER = {Springer},
 YEAR = {2002},
 VOLUME = {2401},
 PAGES = {115--129},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Copenhagen, Denmark},
 ISBN = {3-540-43930-7},
}

Entry last modified by Christine Kiesel, 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)
Witold Charatonik		Created
01/23/2003 04:06:22 PM
Revisions
6.
5.
4.
3.
2.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
04.08.2003 16:08:50
23.07.2003 15:42:21
23.07.2003 15:41:26
23.07.2003 15:36:44
07.07.2003 15:29:03