Paper Info
Title
Delay Analysis in Synchronous Programs
Abstract
interpretation: a unified lattice modelfor static analysis of programs by construction or approximation of fixpoints.In 4th ACM Symposium on Principles of Programming Languages, January1977.[CC92a] P. Cousot and R. Cousot. Abstract interpretation and application to logicprograms. Research Report LIX/RR/92/08, Ecole Polytechnique, March1992. (to appear in the Journal of Logic Programming, special issue onAbstract Interpretation).[CC92b] P. Cousot and R. Cousot. Comparing the Galois...
Year
DOI
Venue
1993
10.1007/3-540-56922-7_28
CAV
Keywords
Field
DocType
synchronous programs,delay analysis,static analysis,programming language
Program optimization,Programming paradigm,Computer science,Abstract interpretation,Inductive programming,Algorithm,Theoretical computer science,Symbolic programming,Control flow analysis,Programming language implementation,Computer programming
Conference
ISBN
Citations 
PageRank 
3-540-56922-7
95
18.52
References 
Authors
12
1
Name
Order
Citations
PageRank
Nicolas Halbwachs13957426.43