-
2
-
-
0005312434
-
Méthodes iteratives de construction et d’approximation de point fixes d’operateurs monotones sur un treillis
-
University of Grenoble, March
-
P. Cousot. Méthodes iteratives de construction et d’approximation de point fixes d’operateurs monotones sur un treillis, analyse sémantique des programmes.Thèse es sciences mathematiques, University of Grenoble, March 1978.
-
(1978)
Analyse sémantique Des programmes.Thèse Es Sciences Mathematiques
-
-
Cousot, P.1
-
3
-
-
0037188218
-
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
-
P. Cousot. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science, 277(1-2):47-103, 2002.
-
(2002)
Theoretical Computer Science
, vol.277
, Issue.1-2
, pp. 47-103
-
-
Cousot, P.1
-
5
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
Los Angeles, California, ACM Press, New York, NY
-
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California, 1977. ACM Press, New York, NY.
-
(1977)
Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
7
-
-
0026992713
-
Inductive definitions, semantics and abstract interpretation
-
Albuquerque, New Mexico, January, ACM Press, New York, NY
-
P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Conference Record ofthe Ninthteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 83-94, Albuquerque, New Mexico, January 1992. ACM Press, New York, NY.
-
(1992)
Conference Record Ofthe Ninthteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 83-94
-
-
Cousot, P.1
Cousot, R.2
-
8
-
-
85035003357
-
Automatic discovery of linear restraints among variables of a program
-
Tucson, Arizona, ACM Press, New York, NY
-
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84-97, Tucson, Arizona, 1978. ACM Press, New York, NY.
-
(1978)
Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 84-97
-
-
Cousot, P.1
Halbwachs, N.2
-
10
-
-
33749818866
-
Combining backward and forward analyses of temporal properties
-
O. Danvy and A. Filinski, editors, Arhus, Denmark, 21-23 May, Springer-Verlag, Berlin, Germany
-
D. Masse. Combining backward and forward analyses of temporal properties. In O. Danvy and A. Filinski, editors, Proceedings of the Second Symposium PADO’2001, Programs as Data Objects, volume 2053 of Lecture Notes in Computer Sciences, pages 155-172, Arhus, Denmark, 21-23 May 2001. Springer-Verlag, Berlin, Germany.
-
(2001)
Proceedings of the Second Symposium PADO’2001, Programs as Data Objects, Volume 2053 of Lecture Notes in Computer Sciences
, pp. 155-172
-
-
Masse, D.1
-
12
-
-
0012319405
-
An incremental unique representation for regular trees
-
Laurent Mauborgne
-
Laurent Mauborgne. An incremental unique representation for regular trees. Nordic Journal of Computing, 7(4):290-311, 2000.
-
(2000)
Nordic Journal of Computing
, vol.7
, Issue.4
, pp. 290-311
-
-
-
13
-
-
0034781047
-
The octagon abstract domain
-
IEEE CS Press, October
-
A. Mine. The octagon abstract domain. In AST 2001 in WCRE 2001, IEEE, pages 310-319. IEEE CS Press, October 2001. http://www.di.ens.fr/~iJmine/publi/article-mine-padoII.pdf.
-
(2001)
AST 2001 in WCRE 2001, IEEE
, pp. 310-319
-
-
Mine, A.1
|