See this document in CiteSeerX!

Delay Analysis in Synchronous Programs (1993)  (Make Corrections)  (80 citations)
N. Halbwachs
Computer Aided Verification



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
imag.fr/imag/laboV...linearverif.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  verimag.imag.fr/PEOPLE/Ni...polys (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, January 1977. [CC92a] P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Research Report LIX/RR/92/08, Ecole Polytechnique, March 1992. (to appear in the Journal of Logic Programming, special issue on Abstract Interpretation). [CC92b] P. Cousot and R. Cousot. Comparing the Galois... (Update)

Cited by:   More
Instantaneous Termination in Pure Esterel - Olivier Tardieu And (2003)   (Correct)
Timed Automata: Semantics, Algorithms and Tools - Bengtsson, Yi   (Correct)
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004)   (Correct)

Active bibliography (related documents):   More   All
0.1:   Recent Developments in the Design of Conventional.. - Preneel, Rijmen.. (1998)   (Correct)
0.0:   The Brisk Machine: A Simplified STG Machine - Holyer, Spiliopoulou (1998)   (Correct)
0.0:   A Semantic Characterisation for Faults in Replicated Systems - Krishnan   (Correct)

Similar documents based on text:   More   All
0.5:   Refining Model Checking by Abstract Interpretation - Cousot, Cousot (1999)   (Correct)
0.4:   Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997)   (Correct)
0.4:   Comparison of the Galois Connexion and Widening/Narrowing.. - Cousot, Cousot (1991)   (Correct)

Related documents from co-citation:   More   All
42:   Automatic Discovery of Linear Restraints among Variables of a Program - Cousot, Halbwachs - 1978
32:   Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
31:   Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977

BibTeX entry:   (Update)

N. Halbwachs. "Delay Analysis in Synchronous Programs", Proc. Computer Aided Verification, LNCS 697, Springer-Verlag, 1993, pp. 333-346. http://citeseer.ist.psu.edu/halbwachs93delay.html   More

@inproceedings{ halbwachs93delay,
    author = "Nicolas Halbwachs",
    title = "Delay Analysis in Synchronous Programs",
    booktitle = "Computer Aided Verification",
    pages = "333-346",
    year = "1993",
    url = "citeseer.ist.psu.edu/halbwachs93delay.html" }
Citations (may not include all citations):
25   Springer Verlag (context) - Brook - 1992



The graph only includes citing articles where the year of publication is known.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC