-
1
-
-
0004072686
-
-
Addison-Wesley
-
A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
-
(1986)
Compilers: Principles, Techniques, and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
5
-
-
84944629827
-
Simple and efficient relational querying of software structures
-
IEEE
-
D. Beyer, A. Noack, and C. Lewerentz. Simple and efficient relational querying of software structures. In Proc. WCRE, pages 216-225. IEEE, 2003.
-
(2003)
Proc. WCRE
, pp. 216-225
-
-
Beyer, D.1
Noack, A.2
Lewerentz, C.3
-
6
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
12
-
-
35248826991
-
Theorem proving using lazy proof explication
-
LNCS
-
C. Flanagan, R. Joshi, X. Ou, and J.B. Saxe. Theorem proving using lazy proof explication. In CAV 03, LNCS, pages 355-367, 2003.
-
(2003)
CAV 03
, pp. 355-367
-
-
Flanagan, C.1
Joshi, R.2
Ou, X.3
Saxe, J.B.4
-
13
-
-
0035031398
-
Avoiding exponential explosion: Generating compact, verification conditions
-
ACM
-
C. Flanagan and J.B. Saxe. Avoiding exponential explosion: generating compact, verification conditions. In POPL 00: Principles of Programming Languages, pages 193-205. ACM, 2000.
-
(2000)
POPL 00: Principles of Programming Languages
, pp. 193-205
-
-
Flanagan, C.1
Saxe, J.B.2
-
15
-
-
31844454546
-
Codesurfer 1.9
-
Grammatech. Codesurfer 1.9. Technical report, 2004.
-
(2004)
Technical Report
-
-
-
16
-
-
35248845029
-
What went wrong: Explaining counterexamples
-
LNCS 2648, Springer
-
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN 03: SPIN Workshop, LNCS 2648, pages 121-135. Springer, 2003.
-
(2003)
SPIN 03: SPIN Workshop
, pp. 121-135
-
-
Groce, A.1
Visser, W.2
-
17
-
-
2442623463
-
Abstractions from proofs
-
ACM
-
T.A. Henzinger, R. Jhala, R. Majumdar, and K.L. McMillan. Abstractions from proofs. In POPL 04: Principles of Programming Languages, pages 232-244. ACM, 2004.
-
(2004)
POPL 04: Principles of Programming Languages
, pp. 232-244
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
McMillan, K.L.4
-
18
-
-
0036041563
-
Lazy abstraction
-
ACM
-
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL 02: Principles of Programming Languages, pages 58-70. ACM, 2002.
-
(2002)
POPL 02: Principles of Programming Languages
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
19
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM TOPLAS, 12:26-61, 1990.
-
(1990)
ACM TOPLAS
, vol.12
, pp. 26-61
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
21
-
-
4544342550
-
Jedd: A BDD-based relational extension of Java
-
O. Lhotak and L.J. Hendren. Jedd: a BDD-based relational extension of Java. In PLDI 2004, pages 158-169, 2004.
-
(2004)
PLDI 2004
, pp. 158-169
-
-
Lhotak, O.1
Hendren, L.J.2
-
22
-
-
0038011042
-
Improving program slicing with dynamic points-to data
-
ACM
-
M. Mock, D.C. Atkinson, C. Chambers, and S.J. Eggers. Improving program slicing with dynamic points-to data. In FSE 02: Foundations of Software Engineering, pages 71-80. ACM, 2002.
-
(2002)
FSE 02: Foundations of Software Engineering
, pp. 71-80
-
-
Mock, M.1
Atkinson, D.C.2
Chambers, C.3
Eggers, S.J.4
-
23
-
-
0039488517
-
Parametric shape analysis via 3-valued logic
-
S. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM TOPLAS, 24:217-298, 2002.
-
(2002)
ACM TOPLAS
, vol.24
, pp. 217-298
-
-
Sagiv, S.1
Reps, T.2
Wilhelm, R.3
-
24
-
-
0000990322
-
A survey of program slicing techniques
-
F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3:121-189, 1995.
-
(1995)
Journal of Programming Languages
, vol.3
, pp. 121-189
-
-
Tip, F.1
-
26
-
-
8344251741
-
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
-
ACM
-
J. Whaley and M.S. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In PLDI 2004, pages 131-144. ACM, 2004.
-
(2004)
PLDI 2004
, pp. 131-144
-
-
Whaley, J.1
Lam, M.S.2
|