IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #1114   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:21
1114 Add to my selection
      AUTHOR = {Podelski, Andreas and Charatonik, Witold and Müller, Martin},
      TITLE = {Set-Based Error Diagnosis of Concurrent Constraint Programs},
      YEAR = {1997},
      MONTH = {December},
      ADDRESS = {Saarbrücken},
      TYPE = {Technical Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {},
      ABSTRACT = {We present an automated method for the static prediction of the run-time error 'deadlock or failure' in concurrent constraint programs. The method is based on a new set-based analysis of reactive logic programs which computes an approximation of the greatest-model semantics. Semantically, the method is based on the connection between the inevitability of 'deadlock or failure' in concurrent constraint programs, finite failure in logic programming and the greatest-model semantics over infinite trees.},
      ANNOTE = {COLIURL : Podelski:1997:SBE.pdf}
Last modified: Thu October 16 2014 19:11:34         BibAdmin