-
2
-
-
0007457136
-
On the role of semantic approximations in validation and diagnosis of constraint logic programs
-
M. Kamkar, editor
-
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In M. Kamkar, editor, Proceedings of the AADEBUG'97, pages 155-169, 1997.
-
(1997)
Proceedings of the AADEBUG'97
, pp. 155-169
-
-
Bueno, F.1
Deransart, P.2
Drabent, W.3
Ferrand, G.4
Hermenegildo, M.5
Maluszynski, J.6
Puebla, G.7
-
3
-
-
84937510134
-
How to transform an analyzer into a verifier
-
R. Nieuwenhuis and A. Voronkov, editors, volume 2250 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin
-
M. Comini, R. Gori, and G. Levi. How to Transform an Analyzer into a Verifier. In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 2250 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001.
-
(2001)
Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
-
-
Comini, M.1
Gori, R.2
Levi, G.3
-
4
-
-
0346457197
-
Abstract interpretation based verification of logic programs
-
S. Etalle and J.-G. Smaus, editors, volume 30 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers
-
M. Comini, R. Gori, G. Levi, and P. Volpe. Abstract Interpretation based Verification of Logic Programs. In S. Etalle and J.-G. Smaus, editors, Proceedings of the Workshop on Verification of Logic Programs, volume 30 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2000.
-
(2000)
Proceedings of the Workshop on Verification of Logic Programs
-
-
Comini, M.1
Gori, R.2
Levi, G.3
Volpe, P.4
-
5
-
-
0032631541
-
Abstract diagnosis
-
M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Abstract Diagnosis. Journal of Logic Programming, 39(1-3):43-93, 1999.
-
(1999)
Journal of Logic Programming
, vol.39
, Issue.1-3
, pp. 43-93
-
-
Comini, M.1
Levi, G.2
Meo, M.C.3
Vitiello, G.4
-
8
-
-
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
-
11
-
-
85015334941
-
Comparing the galois connection and widening/ narrowing approaches to abstract interpretation
-
M. Bruynooghe and M. Wirsing, editors, volume 631 of Lecture Notes in Computer Science. 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)
Proceedings of PLILP'92
, pp. 269-295
-
-
Cousot, P.1
Cousot, R.2
-
14
-
-
0001052191
-
A unifying view on abstract domain design
-
G. Filè, R. Giacobazzi, and F. Ranzato. A Unifying View on Abstract Domain Design. ACM Computing Surveys, 28(2):333-336, 1996.
-
(1996)
ACM Computing Surveys
, vol.28
, Issue.2
, pp. 333-336
-
-
Filè, G.1
Giacobazzi, R.2
Ranzato, F.3
-
15
-
-
84968503882
-
The principal type-scheme of an object in combinatory logic
-
J.R. Hindley. The principal type-scheme of an object in combinatory logic. Transaction American mathematical Society, 146:29-60, 1969.
-
(1969)
Transaction American Mathematical Society
, vol.146
, pp. 29-60
-
-
Hindley, J.R.1
-
16
-
-
84947811506
-
Derivation of proof methods by abstract interpretation
-
C. Palamidessi, H. Glaser, and K. Meinke, editors, volume 1490 of Lecture Notes in Computer Science. Springer-Verlag
-
G. Levi and P. Volpe. Derivation of Proof Methods by Abstract Interpretation. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming. 10th International Symposium, PLILP'98, volume 1490 of Lecture Notes in Computer Science, pages 102-117. Springer-Verlag, 1998.
-
(1998)
Principles of Declarative Programming. 10th International Symposium, PLILP'98
, pp. 102-117
-
-
Levi, G.1
Volpe, P.2
-
17
-
-
0018105622
-
A theory of type polymorphism in programming
-
R. Milner. A theory of type polymorphism in programming. Journal of Computer and Systems Sciences, 17-3:348-375, 1978.
-
(1978)
Journal of Computer and Systems Sciences
, vol.17
, Issue.3
, pp. 348-375
-
-
Milner, R.1
-
18
-
-
35248900207
-
Polymorphic typing by abstract interpretation
-
R. Shyamasundar, editor, volume 652 of Lecture Notes in 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)
Proceedings of Foundation of Software Technology and Theoretical Computer Science
, pp. 217-228
-
-
Monsuez, B.1
-
19
-
-
85020655821
-
Polymorphic types and widening operators
-
P.Cousot, M.Falaschi, G. File', and A.Rauzy, editors, volume 724 of Lecture Notes in Computer Science. Springer-Verlag
-
B. Monsuez. Polymorphic types and widening operators. In P.Cousot, M.Falaschi, G. File', and A.Rauzy, editors, Proceedings of Static Analysis, volume 724 of Lecture Notes in Computer Science, pages 224-281. Springer-Verlag, 1993.
-
(1993)
Proceedings of Static Analysis
, pp. 224-281
-
-
Monsuez, B.1
-
20
-
-
85027621869
-
Polymorphic type schemes and recursive definitions
-
G. Goos and J. Hartmanis, editors, volume 167 of Lecture Notes in Computer Science. 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)
Proceedings of the International Symposium on Programming
, pp. 217-228
-
-
Mycroft, A.1
-
21
-
-
0014651649
-
Fixpoint induction and proofs of program properties
-
D. Park. Fixpoint Induction and Proofs of Program Properties. Machine Intelligence, 5:59-78, 1969.
-
(1969)
Machine Intelligence
, vol.5
, pp. 59-78
-
-
Park, D.1
-
22
-
-
0031700830
-
Objective ML:An effective object-oriented extension to ML
-
D. Rémy and J. Vouillon. Objective ML:An effective object-oriented extension to ML. Theory and Practice of Object-Systems, 4(1):27-50, 1998.
-
(1998)
Theory and Practice of Object-Systems
, vol.4
, Issue.1
, pp. 27-50
-
-
Rémy, D.1
Vouillon, J.2
|