-
1
-
-
0001609012
-
Reasoning about termination of pure prolog programs
-
September
-
K. R. Apt and D. Pedreschi, Reasoning about Termination of Pure Prolog Programs. Information and Computation, 106(1):109-157, September 1993.
-
(1993)
Information and Computation
, vol.106
, Issue.1
, pp. 109-157
-
-
Apt, K.R.1
Pedreschi, D.2
-
2
-
-
0032065846
-
Two classes of boolean functions for dependency analysis
-
T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard. Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming, 31(1):3-45, 1998.
-
(1998)
Science of Computer Programming
, vol.31
, Issue.1
, pp. 3-45
-
-
Armstrong, T.1
Marriott, K.2
Schachte, P.3
Søndergaard, H.4
-
3
-
-
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
-
4
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 35(8):677-691, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
5
-
-
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
-
6
-
-
0000099377
-
Global flow analysis as a practical compilation tool
-
M. Hermenegildo, W. Warren, and S. K. Debray. Global Flow Analysis as a Practical Compilation Tool. Journal of Logic Programming, 13(2 & 3):349-366, 1992.
-
(1992)
Journal of Logic Programming
, vol.13
, Issue.2-3
, pp. 349-366
-
-
Hermenegildo, M.1
Warren, W.2
Debray, S.K.3
-
8
-
-
33646023195
-
Pair-sharing analysis of object-oriented programs
-
C. Hankin and I. Siveroni, editors, Static Analysis Symposium (SAS), London, UK
-
S. Secci and F. Spoto. Pair-Sharing Analysis of Object-Oriented Programs. In C. Hankin and I. Siveroni, editors, Static Analysis Symposium (SAS), volume 3672 of Lecture Notes in Computer Science, pages 320-335, London, UK, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3672
, pp. 320-335
-
-
Secci, S.1
Spoto, F.2
-
9
-
-
0029717388
-
Points-to analysis in almost linear time
-
St. Petersburg Beach, Florida, USA, January
-
Bjarne Steensgaard. Points-to Analysis in Almost Linear Time. In Principles of Programming Languages (POPL), pages 32-41, St. Petersburg Beach, Florida, USA, January 1996.
-
(1996)
Principles of Programming Languages (POPL)
, pp. 32-41
-
-
Steensgaard, B.1
-
10
-
-
37049005338
-
Shape analysis and applications
-
Y. N. Srikant and P. Shankar, editors, CRC Press
-
R. Wilhelm, T. W. Reps, and S. Sagiv. Shape Analysis and Applications. In Y. N. Srikant and P. Shankar, editors, The Compiler Design Handbook, pages 175-218. CRC Press, 2002.
-
(2002)
The Compiler Design Handbook
, pp. 175-218
-
-
Wilhelm, R.1
Reps, T.W.2
Sagiv, S.3
|