-
3
-
-
85050550846
-
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
-
P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings of Fourth ACM Symp. Principles of Programming Languages, pages 238-252, 1977.
-
(1977)
Proceedings of Fourth ACM Symp. Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
5
-
-
85015334941
-
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
-
M. Bruynooghe and M. Wirsing, editors, Proceedings of PLILP'92, Springer-Verlag
-
P. Cousot and R. Cousot. Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. In M. Bruynooghe and M. Wirsing, editors, Proceedings of PLILP'92, volume 631 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.631
, pp. 269-295
-
-
Cousot, P.1
Cousot, R.2
-
7
-
-
35248892724
-
An experiment in type inference and verification by abstract interpretation
-
A. Cortesi, editor, Proc. of the VMCAI'02 workshop on Abstract Interpretaion and Model Checking
-
R. Gori and G. Levi. An experiment in type inference and verification by abstract interpretation. In A. Cortesi, editor, Proc. of the VMCAI'02 workshop on Abstract Interpretaion and Model Checking, volume 2294 of LNCS, pages 225-239, 2002.
-
(2002)
LNCS
, vol.2294
, pp. 225-239
-
-
Gori, R.1
Levi, G.2
-
8
-
-
84968503882
-
The principal type-scheme of an object in combinatory logic
-
J. R. Hindley. The principal type-scheme of an object in combinatory logic. Transactions American Mathematical Society, 146:29-60, 1969.
-
(1969)
Transactions American Mathematical Society
, vol.146
, pp. 29-60
-
-
Hindley, J.R.1
-
9
-
-
0002165219
-
Type systems for programming languages
-
Elsevier
-
J. Mitchell. Type systems for programming languages, volume B of Handbook of Theoretical Computer Science, pages 365-458. Elsevier, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 365-458
-
-
Mitchell, J.1
-
10
-
-
35248900207
-
Polymorphic typing by abstract interpretation
-
R. Shyamasundar, editor, Proceedings of Foundation of Software Technology and Theoretical Computer Science, Springer-Verlag
-
B. Monsuez. Polymorphic typing by abstract interpretation. In R. Shyamasundar, editor, Proceedings of Foundation of Software Technology and Theoretical Computer Science, volume 652 of Lecture Notes in Computer Science, pages 217-228. Springer-Verlag, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.652
, pp. 217-228
-
-
Monsuez, B.1
-
11
-
-
85020655821
-
Polymorphic types and widening operators
-
P. Cousot, M. Falaschi, G. Filè, and A. Rauzy, editors, Proceedings of Static Analysis, Springer-Verlag
-
B. Monsuez. Polymorphic types and widening operators. In P. Cousot, M. Falaschi, G. Filè, and A. Rauzy, editors, Proceedings of Static Analysis, volume 724 of Lecture Notes in Computer Science, pages 224-281. Springer-Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.724
, pp. 224-281
-
-
Monsuez, B.1
-
12
-
-
85027621869
-
Polymorphic type schemes and recursive definitions
-
G. Goos and J. Hartmanis, editors, Proceedings of the International Symposium on Programming, Springer-Verlag
-
A. Mycroft. Polymorphic type schemes and recursive definitions. In G. Goos and J. Hartmanis, editors, Proceedings of the International Symposium on Programming, volume 167 of Lecture Notes in Computer Science, pages 217-228. Springer-Verlag, 1984.
-
(1984)
Lecture Notes in Computer Science
, vol.167
, pp. 217-228
-
-
Mycroft, A.1
|