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):

Podelski, Andreas
Charatonik, Witold
Müller, Martin

dblp
dblp
dblp



Editor(s):

Swierstra, S. Doaitse

dblp



BibTeX cite key*:

PodelskiCharatonikMueller-ESOP99

Title, Booktitle

Title*:

Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs

Booktitle*:

Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99)

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Amsterdam, The Netherlands

Language:

English

Event Date*
(no longer used):

March, 22nd-26th

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:

1576

Number:


Month:

March

Pages:

177-192

Year*:

1999

VG Wort Pages:


ISBN/ISSN:

3-540-65699-5

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

This paper presents the first approximation method of the
finite-failure set of a logic program by set-based analysis. In a
dual view, the method yields a type analysis for programs with
ongoing behaviors (perpetual processes). Our technical
contributions are (1)~the semantical characterization of finite
failure of logic programs over infinite trees and (2)~the design and
soundness proof of the first set-based analysis of logic programs
with the greatest-model semantics. Finally, we exhibit the
connection between finite failure and the inevitability of the
`inconsistent-store' error in fair executions of concurrent
constraint programs where no process suspends forever. This
indicates a potential application to error diagnosis for concurrent
constraint programs

Keywords:

abstract interpretation, set-based program analysis, types, logic programs, concurrent constraint programs, finite failure, fairness



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, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{PodelskiCharatonikMueller-ESOP99,
AUTHOR = {Podelski, Andreas and Charatonik, Witold and M{\"u}ller, Martin},
EDITOR = {Swierstra, S. Doaitse},
TITLE = {Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs},
BOOKTITLE = {Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99)},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {1576},
PAGES = {177--192},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Amsterdam, The Netherlands},
MONTH = {March},
ISBN = {3-540-65699-5},
}


Entry last modified by Anja Becker, 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)
Witold Charatonik
Created
04/22/1999 12:12:55 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Christine Kiesel
Uwe Brahm
Witold Charatonik
Witold Charatonik
Edit Dates
04.04.2000 10:05:12
31/03/2000 09:37:32
30.03.2000 17:36:34
22/04/99 13:58:44
22/04/99 12:12:56