-
1
-
-
84976729598
-
Directional type checking of logic programs
-
B. Le Charlier, editor Springer-Verlag
-
A. Aiken and T. K. Lakshman. Directional type checking of logic programs. In B. Le Charlier, editor, Proc. Static Analysis Symposium, SAS'94, volume 864 of Lecture Notes in Computer Science, pages 43-60. Springer-Verlag, 1994.
-
(1994)
Proc. Static Analysis Symposium, SAS'94, Volume 864 of Lecture Notes in Computer Science
, pp. 43-60
-
-
Aiken, A.1
Lakshman, T.K.2
-
4
-
-
0030217170
-
A closer look to declarative interpretations
-
K. R. Apt, M. Gabbrielli, and D. Pedreschi. A closer look to declarative interpretations. Journal of Logic Programming, 28(2):147-180, 1996.
-
(1996)
Journal of Logic Programming
, vol.28
, Issue.2
, pp. 147-180
-
-
Apt, K.R.1
Gabbrielli, M.2
Pedreschi, D.3
-
5
-
-
0001588190
-
Reasoning about prolog programs: From modes through types to assertions
-
K. R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6(6A):743-765, 1994.
-
(1994)
Formal Aspects of Computing
, vol.6
, Issue.6 A
, pp. 743-765
-
-
Apt, K.R.1
Marchiori, E.2
-
6
-
-
0001609012
-
Reasoning about termination of pure PROLOG programs
-
K. R. Apt and D. Pedreschi. Reasoning about termination of pure PROLOG programs. Information and Computation, 106(1):109-157, 1993.
-
(1993)
Information and Computation
, vol.106
, Issue.1
, pp. 109-157
-
-
Apt, K.R.1
Pedreschi, D.2
-
7
-
-
85016916109
-
Boolean functions for dependency analysis: Algebraic properties and efficient representation
-
B. Le Charlier, editor Springer-Verlag
-
T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard. Boolean functions for dependency analysis: Algebraic properties and efficient representation. In B. Le Charlier, editor, Proc. Static Analysis Symposium, SAS'94, volume 864 of Lecture Notes in Computer Science, pages 266-280. Springer-Verlag, 1994.
-
(1994)
Proc. Static Analysis Symposium, SAS'94, Volume 864 of Lecture Notes in Computer Science
, pp. 266-280
-
-
Armstrong, T.1
Marriott, K.2
Schachte, P.3
Søndergaard, H.4
-
8
-
-
0028427276
-
The s-semantics approach: Theory and applications
-
A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli. The s-semantics approach: Theory and applications. Journal of Logic Programming, 19-20:149-197, 1994.
-
(1994)
Journal of Logic Programming
, vol.19-20
, pp. 149-197
-
-
Bossi, A.1
Gabbrielli, M.2
Levi, G.3
Martelli, M.4
-
11
-
-
0029215597
-
Improving abstract interpretations by combining domains
-
M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda, and M. Hermenegildo. Improving abstract interpretations by combining domains. ACM Transactions on Programming Languages and Systems, 17(1):28-44, 1995.
-
(1995)
ACM Transactions on Programming Languages and Systems
, vol.17
, Issue.1
, pp. 28-44
-
-
Codish, M.1
Mulkers, A.2
Bruynooghe, M.3
Garcia De La Banda, M.4
Hermenegildo, M.5
-
14
-
-
0013450487
-
Compositionality of SXD-derivations and their abstractions
-
J. Lloyd, editor The MIT Press
-
M. Comini, G. Levi, and M. C. Meo. Compositionality of SXD-derivations and their abstractions. In J. Lloyd, editor, Proceedings of the 1995 Int'l Symposium on Logic Programming, pages 561-575. The MIT Press, 1995.
-
(1995)
Proceedings of the 1995 Int'l Symposium on Logic Programming
, pp. 561-575
-
-
Comini, M.1
Levi, G.2
Meo, M.C.3
-
16
-
-
38149125462
-
Abstract debugging of logic programs
-
L. Fribourg and F. Turini, editors Springer-Verlag
-
M. Comini, G. Levi, and G. Vitiello. Abstract debugging of logic programs. In L. Fribourg and F. Turini, editors, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, volume 883 of Lecture Notes in Computer Science, pages 440-450. Springer-Verlag, 1994.
-
(1994)
Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, Volume 883 of Lecture Notes in Computer Science
, pp. 440-450
-
-
Comini, M.1
Levi, G.2
Vitiello, G.3
-
17
-
-
0013412467
-
Declarative diagnosis revisited
-
J. Lloyd, editor The MIT Press
-
M. Comini, G. Levi, and G. Vitiello. Declarative diagnosis revisited. In J. Lloyd, editor, Proceedings of the 1995 Int'l Symposium on Logic Programming, pages 275-287. The MIT Press, 1995.
-
(1995)
Proceedings of the 1995 Int'l Symposium on Logic Programming
, pp. 275-287
-
-
Comini, M.1
Levi, G.2
Vitiello, G.3
-
18
-
-
0342273809
-
Efficient detection of incompleteness errors in the abstract debugging of logic programs
-
M. Ducassé, editor
-
M. Comini, G. Levi, and G. Vitiello. Efficient detection of incompleteness errors in the abstract debugging of logic programs. In M. Ducassé, editor, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95, 1995.
-
(1995)
Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95
-
-
Comini, M.1
Levi, G.2
Vitiello, G.3
-
20
-
-
84955569216
-
Complementation in abstract interpretation
-
A. Mycroft, editor Springer-Verlag To appear in ACM Transactions on Programming Languages and Systems
-
A. Cortesi, G. Filé, R. Giacobazzi, C. Palamidessi, and F. Ranzato. Complementation in abstract interpretation. In A. Mycroft, editor, Proceedings of the 2nd International Static Analysis Symposium (SAS '95), volume 983 of Lecture Notes in Computer Science, pages 100-117. Springer-Verlag, 1995. To appear in ACM Transactions on Programming Languages and Systems.
-
(1995)
Proceedings of the 2nd International Static Analysis Symposium (SAS '95), Volume 983 of Lecture Notes in Computer Science
, pp. 100-117
-
-
Cortesi, A.1
Filé, G.2
Giacobazzi, R.3
Palamidessi, C.4
Ranzato, F.5
-
21
-
-
0026186484
-
Prop revisited: Propositional formula as abstract domain for groundness analysis
-
A. Cortesi, G. Filè, and W. Winsborough. Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. In Proc. Sixth IEEE Symp. on Logic In Computer Science, pages 322-327. IEEE Computer Society Press, 1991. (Pubitemid 21691972)
-
(1991)
Proceedings - Symposium on Logic in Computer Science
, pp. 322-327
-
-
Cortesi, A.1
File, G.2
Winsborough, W.3
-
22
-
-
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 Proc. Fourth ACM Symp. Principles of Programming Languages, pages 238-252, 1977.
-
(1977)
Proc. Fourth ACM Symp. Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
24
-
-
0000911801
-
Abstract interpretation and applications to logic programs
-
P. Cousot and R. Cousot. Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming, 13(2 & 3):103-179, 1992.
-
(1992)
Journal of Logic Programming
, vol.13
, Issue.2-3
, pp. 103-179
-
-
Cousot, P.1
Cousot, R.2
-
25
-
-
85015334941
-
Comparing the galois connection and widening/narrowing approaches to abstract interpretation
-
M. Bruynooghe and M. Wirsing, editors 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, Proc. of PLILP'92, volume 631 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag, 1992.
-
(1992)
Proc. of PLILP'92, Volume 631 of Lecture Notes in Computer Science
, pp. 269-295
-
-
Cousot, P.1
Cousot, R.2
-
26
-
-
0028196382
-
Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and per analysis of functional languages)
-
IEEE Computer Society Press
-
P. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and per analysis of functional languages). In Proceedings of the IEEE International Conference on Computer Languages (ICCL '94), pages 95-112. IEEE Computer Society Press, 1994.
-
(1994)
Proceedings of the IEEE International Conference on Computer Languages (ICCL '94)
, pp. 95-112
-
-
Cousot, P.1
Cousot, R.2
-
27
-
-
33746046682
-
Properties of substitutions and unifications
-
E. Eder. Properties of substitutions and unifications. Journal of Symbolic Computation, 1:31-46, 1985.
-
(1985)
Journal of Symbolic Computation
, vol.1
, pp. 31-46
-
-
Eder, E.1
-
28
-
-
0024916816
-
Declarative modeling of the operational behavior of logic languages
-
DOI 10.1016/0304-3975(89)90070-4
-
M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289-318, 1989. (Pubitemid 20646244)
-
(1989)
Theoretical Computer Science
, vol.69
, Issue.3
, pp. 289-318
-
-
Falaschi, M.1
Levi, G.2
Palamidessi, C.3
Martelli, M.4
-
29
-
-
0002338883
-
A model-theoretic reconstruction of the operational semantics of logic programs
-
M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 102(1): 86-113, 1993.
-
(1993)
Information and Computation
, vol.102
, Issue.1
, pp. 86-113
-
-
Falaschi, M.1
Levi, G.2
Martelli, M.3
Palamidessi, C.4
-
30
-
-
0023404024
-
Error diagnosis in logic programming, an adaptation of E. Y. Shapiro's method
-
G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of E. Y. Shapiro's Method. Journal of Logic Programming, 4:177-198, 1987.
-
(1987)
Journal of Logic Programming
, vol.4
, pp. 177-198
-
-
Ferrand, G.1
-
31
-
-
84978968229
-
The notions of symptom and error in declarative diagnosis of logic programs
-
P. A. Fritzson, editor Springer-Verlag
-
G. Ferrand. The notions of symptom and error in declarative diagnosis of logic programs. In P. A. Fritzson, editor, Automated and Algorithmic Debugging, Proc. AADEBUG '93, volume 749 of Lecture Notes in Computer Science, pages 40-57. Springer-Verlag, 1993.
-
(1993)
Automated and Algorithmic Debugging, Proc. AADEBUG '93, Volume 749 of Lecture Notes in Computer Science
, pp. 40-57
-
-
Ferrand, G.1
-
32
-
-
0001052191
-
A unifying view of 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. (Pubitemid 126627752)
-
(1996)
ACM Computing Surveys
, vol.28
, Issue.2
, pp. 333-336
-
-
File, G.1
Giacobazzi, R.2
Ranzato, F.3
-
34
-
-
0029488860
-
Generalized semantics and abstract interpretation for constraint logic programs
-
R. Giacobazzi, S.K. Debray, and G. Levi. Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. Journal of Logic Programming, 25(3):191-247, 1995.
-
(1995)
Journal of Logic Programming
, vol.25
, Issue.3
, pp. 191-247
-
-
Giacobazzi, R.1
Debray, S.K.2
Levi, G.3
-
36
-
-
84947943046
-
Compositional Optimization of Disjunctive Abstract Interpretations
-
Programming Languages and Systems ESOP '96
-
R. Giacobazzi and F. Ranzato. Compositional optimization of disjunctive abstract interpretations. In H.R. Nielson, editor, Proc. of the 1996 European Symposium on Programming, volume 1058 of Lecture Notes in Computer Science, pages 141-155. Springer-Verlag, 1996. (Pubitemid 126064375)
-
(1996)
Lecture Notes in Computer Science
, Issue.1058
, pp. 141-155
-
-
Giacobazzi, R.1
Ranzato, F.2
-
37
-
-
0002248455
-
Unification revisited
-
J. Minker, editor Morgan Kaufmann, Los Altos, Ca.
-
J. L. Lassez, M. J. Maher, and K. Marriott. Unification Revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 587-625. Morgan Kaufmann, Los Altos, Ca., 1988.
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 587-625
-
-
Lassez, J.L.1
Maher, M.J.2
Marriott, K.3
-
38
-
-
0013066110
-
Declarative error diagnosis
-
J. W. Lloyd. Declarative error diagnosis. New Generation Computing, 5(2):133-154, 1987.
-
(1987)
New Generation Computing
, vol.5
, Issue.2
, pp. 133-154
-
-
Lloyd, J.W.1
-
40
-
-
84969235370
-
Prime Factorizations of Abstract Domains Using First Order Logic
-
Algebraic and Logic Programming
-
E. Marchiori. Prime factorizations of abstract domains using first order logic. In M. Hanus and M. Rodriguez-Artalejo, editors, Algebraic and Logic Programming, volume 1139 of Lecture Notes in Computer Science, pages 209-223. Springer-Verlag, 1996. (Pubitemid 126129072)
-
(1996)
Lecture Notes in Computer Science
, Issue.1139
, pp. 209-223
-
-
Marchiori, E.1
-
42
-
-
0344634895
-
Declarative diagnosis of missing answers
-
L. Naish. Declarative diagnosis of missing answers. New Generation Computing, 10:255-285, 1991.
-
(1991)
New Generation Computing
, vol.10
, pp. 255-285
-
-
Naish, L.1
-
44
-
-
0020847952
-
Enumeration of success patterns in logic programs
-
T. Sato and H. Tamaki. Enumeration of Success Patterns in Logic Programs. Theoretical Computer Science, 34:227-240, 1984.
-
(1984)
Theoretical Computer Science
, vol.34
, pp. 227-240
-
-
Sato, T.1
Tamaki, H.2
-
47
-
-
0017013056
-
The semantics of predicate logic as a programming language
-
M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733-742, 1976.
-
(1976)
Journal of the ACM
, vol.23
, Issue.4
, pp. 733-742
-
-
Van Emden, M.H.1
Kowalski, R.A.2
|