-
5
-
-
84944409047
-
Reachability analysis of pushdown automata: Application to model checking
-
Proc. CONCUR, Springer-Verlag
-
A. Bouajjani, J. Esparza, and O. Maler Reachability analysis of pushdown automata: Application to model checking Proc. CONCUR Lec. Notes in Comp. Sci. vol. 1243 1997 Springer-Verlag 135 150
-
(1997)
Lec. Notes in Comp. Sci.
, vol.1243
, pp. 135-150
-
-
Bouajjani, A.1
Esparza, J.2
Maler, O.3
-
6
-
-
1442314598
-
A generic approach to the static analysis of concurrent programs with procedures
-
A. Bouajjani, J. Esparza, T. Touili, A generic approach to the static analysis of concurrent programs with procedures, in: Proc. Symp. on Princ. of Prog. Lang., 2003, pp. 62-73
-
(2003)
Proc. Symp. on Princ. of Prog. Lang.
, pp. 62-73
-
-
Bouajjani, A.1
Esparza, J.2
Touili, T.3
-
7
-
-
84944083010
-
Efficient chaotic iteration strategies with widenings
-
Int. Conf. on Formal Methods in Prog. and their Appl., Springer-Verlag
-
F. Bourdoncle Efficient chaotic iteration strategies with widenings Int. Conf. on Formal Methods in Prog. and their Appl. Lec. Notes in Comp. Sci. 1993 Springer-Verlag
-
(1993)
Lec. Notes in Comp. Sci.
-
-
Bourdoncle, F.1
-
8
-
-
0024647646
-
Program derivation by fixed point computation
-
J. Cai, and R. Paige Program derivation by fixed point computation Sci. Comput. Programming 11 3 1989 197 261
-
(1989)
Sci. Comput. Programming
, vol.11
, Issue.3
, pp. 197-261
-
-
Cai, J.1
Paige, R.2
-
9
-
-
0038349200
-
MOPS: An infrastructure for examining security properties of software
-
H. Chen, D. Wagner, MOPS: An infrastructure for examining security properties of software, in: Conf. on Comp. and Commun. Sec., 2002
-
(2002)
Conf. on Comp. and Commun. Sec.
-
-
Chen, H.1
Wagner, D.2
-
10
-
-
0018294932
-
Systematic design of program analysis frameworks
-
ACM Press New York, NY
-
P. Cousot, and R. Cousot Systematic design of program analysis frameworks Symp. on Princ. of Prog. Lang. 1979 ACM Press New York, NY 269 282
-
(1979)
Symp. on Princ. of Prog. Lang.
, pp. 269-282
-
-
Cousot, P.1
Cousot, R.2
-
12
-
-
0029180096
-
Demand-driven computation of interprocedural data flow
-
ACM Press New York, NY
-
E. Duesterwald, R. Gupta, and M. Soffa Demand-driven computation of interprocedural data flow Symp. on Princ. of Prog. Lang. 1995 ACM Press New York, NY 37 48
-
(1995)
Symp. on Princ. of Prog. Lang.
, pp. 37-48
-
-
Duesterwald, E.1
Gupta, R.2
Soffa, M.3
-
13
-
-
85081441710
-
An improved differential fixpoint iteration method for program analysis
-
H. Eo, K. Yi, An improved differential fixpoint iteration method for program analysis, in: Asian Workshop on Prog. Lang. and Syst., 2002
-
(2002)
Asian Workshop on Prog. Lang. and Syst.
-
-
Eo, H.1
Yi, K.2
-
14
-
-
84944409009
-
Efficient algorithms for model checking pushdown systems
-
Proc. Computer-Aided Verif.
-
J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon Efficient algorithms for model checking pushdown systems Proc. Computer-Aided Verif. Lec. Notes in Comp. Sci. vol. 1855 2000 232 247
-
(2000)
Lec. Notes in Comp. Sci.
, vol.1855
, pp. 232-247
-
-
Esparza, J.1
Hansel, D.2
Rossmanith, P.3
Schwoon, S.4
-
15
-
-
33745656232
-
An automata-theoretic approach to interprocedural data-flow analysis
-
Found. of Softw. Sci. and Comp. Structures, Springer
-
J. Esparza, and J. Knoop An automata-theoretic approach to interprocedural data-flow analysis Found. of Softw. Sci. and Comp. Structures LNCS vol. 1578 1999 Springer 14 30
-
(1999)
LNCS
, vol.1578
, pp. 14-30
-
-
Esparza, J.1
Knoop, J.2
-
16
-
-
84978974912
-
Model-checking LTL with regular valuations for pushdown systems
-
Proceedings of TACAS'01, Springer
-
J. Esparza, A. Kučera, and S. Schwoon Model-checking LTL with regular valuations for pushdown systems Proceedings of TACAS'01 LNCS vol. 2031 2001 Springer 306 339
-
(2001)
LNCS
, vol.2031
, pp. 306-339
-
-
Esparza, J.1
Kučera, A.2
Schwoon, S.3
-
17
-
-
1442356980
-
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems
-
C. Fecht, and H. Seidl Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems Nordic J. Comput. 5 1998 304 329
-
(1998)
Nordic J. Comput.
, vol.5
, pp. 304-329
-
-
Fecht, C.1
Seidl, H.2
-
21
-
-
77955202238
-
Analysis of SPKI/SDSI certificates using model checking
-
IEEE Computer Society Press
-
S. Jha, and T. Reps Analysis of SPKI/SDSI certificates using model checking IEEE Comp. Sec. Found. Workshop, CSFW 2002 IEEE Computer Society Press
-
(2002)
IEEE Comp. Sec. Found. Workshop, CSFW
-
-
Jha, S.1
Reps, T.2
-
23
-
-
0015742560
-
A unified approach to global program optimization
-
ACM Press New York, NY
-
G. Kildall A unified approach to global program optimization Symp. on Princ. of Prog. Lang. 1973 ACM Press New York, NY 194 206
-
(1973)
Symp. on Princ. of Prog. Lang.
, pp. 194-206
-
-
Kildall, G.1
-
26
-
-
85030836096
-
Grammar flow analysis
-
Attribute Grammars, Applications and Systems, H. Alblas B. Melichar Springer-Verlag Prague, Czechoslovakia
-
U. Möncke, and R. Wilhelm Grammar flow analysis H. Alblas B. Melichar Attribute Grammars, Applications and Systems Lec. Notes in Comp. Sci. vol. 545 1991 Springer-Verlag Prague, Czechoslovakia 151 186
-
(1991)
Lec. Notes in Comp. Sci.
, vol.545
, pp. 151-186
-
-
Möncke, U.1
Wilhelm, R.2
-
29
-
-
0038192631
-
Bounded Incremental Computation
-
Springer-Verlag
-
G. Ramalingam Bounded Incremental Computation Lec. Notes in Comp. Sci. vol. 1089 1996 Springer-Verlag
-
(1996)
Lec. Notes in Comp. Sci.
, vol.1089
-
-
Ramalingam, G.1
-
30
-
-
0026382881
-
Algebraic properties of program integration
-
T. Reps Algebraic properties of program integration Sci. Comput. Programming 17 1991 139 215
-
(1991)
Sci. Comput. Programming
, vol.17
, pp. 139-215
-
-
Reps, T.1
-
31
-
-
85027413722
-
Solving demand versions of interprocedural analysis problems
-
Proceedings of the Fifth International Conference on Compiler Construction, P. Fritzson Springer-Verlag Edinburgh, Scotland
-
T. Reps Solving demand versions of interprocedural analysis problems P. Fritzson Proceedings of the Fifth International Conference on Compiler Construction Lec. Notes in Comp. Sci. vol. 786 1994 Springer-Verlag Edinburgh, Scotland 389 403
-
(1994)
Lec. Notes in Comp. Sci.
, vol.786
, pp. 389-403
-
-
Reps, T.1
-
32
-
-
0003638217
-
Demand interprocedural program analysis using logic databases
-
R. Ramakrishnan Kluwer Academic Publishers
-
T. Reps Demand interprocedural program analysis using logic databases R. Ramakrishnan Applications of Logic Databases 1994 Kluwer Academic Publishers
-
(1994)
Applications of Logic Databases
-
-
Reps, T.1
-
33
-
-
0029180939
-
Precise interprocedural dataflow analysis via graph reachability
-
ACM Press New York, NY
-
T. Reps, S. Horwitz, and M. Sagiv Precise interprocedural dataflow analysis via graph reachability Symp. on Princ. of Prog. Lang. 1995 ACM Press New York, NY 49 61
-
(1995)
Symp. on Princ. of Prog. Lang.
, pp. 49-61
-
-
Reps, T.1
Horwitz, S.2
Sagiv, M.3
-
34
-
-
0346476432
-
Interprocedural dataflow analysis via graph reachability
-
Datalogisk Institut, Univ. of Copenhagen
-
T. Reps, M. Sagiv, S. Horwitz, Interprocedural dataflow analysis via graph reachability, Tech. Rep. TR 94-14, Datalogisk Institut, Univ. of Copenhagen. Available at http://www.cs.wisc.edu/wpis/papers/diku-tr94-14.ps, 1994
-
(1994)
Tech. Rep.
, vol.TR 94-14
-
-
Reps, T.1
Sagiv, M.2
Horwitz, S.3
-
35
-
-
0030263395
-
Precise interprocedural dataflow analysis with applications to constant propagation
-
M. Sagiv, T. Reps, and S. Horwitz Precise interprocedural dataflow analysis with applications to constant propagation Theoret. Comput. Sci. 167 1996 131 170
-
(1996)
Theoret. Comput. Sci.
, vol.167
, pp. 131-170
-
-
Sagiv, M.1
Reps, T.2
Horwitz, S.3
-
36
-
-
0031701157
-
Data-flow analysis is model checking of abstract interpretations
-
ACM Press New York, NY
-
D. Schmidt Data-flow analysis is model checking of abstract interpretations Symp. on Princ. of Prog. Lang. 1998 ACM Press New York, NY 38 48
-
(1998)
Symp. on Princ. of Prog. Lang.
, pp. 38-48
-
-
Schmidt, D.1
-
37
-
-
3042546934
-
-
Ph.D. Thesis, Technical Univ. of Munich, Munich, Germany, July
-
S. Schwoon, Model-checking pushdown systems, Ph.D. Thesis, Technical Univ. of Munich, Munich, Germany, July 2002
-
(2002)
Model-checking Pushdown Systems
-
-
Schwoon, S.1
-
41
-
-
0002823436
-
Two approaches to interprocedural data flow analysis
-
S. Muchnick N. Jones Prentice-Hall Englewood Cliffs, NJ
-
M. Sharir, and A. Pnueli Two approaches to interprocedural data flow analysis S. Muchnick N. Jones Program Flow Analysis: Theory and Applications 1981 Prentice-Hall Englewood Cliffs, NJ 189 234 (Chapter 7)
-
(1981)
Program Flow Analysis: Theory and Applications
, pp. 189-234
-
-
Sharir, M.1
Pnueli, A.2
-
42
-
-
85009827121
-
Data flow analysis as model checking
-
Int. Conf. on Theor. Aspects of Comp. Softw., Springer-Verlag
-
B. Steffen Data flow analysis as model checking Int. Conf. on Theor. Aspects of Comp. Softw. Lec. Notes in Comp. Sci. vol. 526 1991 Springer-Verlag 346 365
-
(1991)
Lec. Notes in Comp. Sci.
, vol.526
, pp. 346-365
-
-
Steffen, B.1
-
43
-
-
0027683919
-
Generating data flow analysis algorithms from modal specifications
-
B. Steffen Generating data flow analysis algorithms from modal specifications Sci. Comput. Programming 21 2 1993 115 139
-
(1993)
Sci. Comput. Programming
, vol.21
, Issue.2
, pp. 115-139
-
-
Steffen, B.1
-
44
-
-
84976818445
-
Memoing for logic programs
-
D. Warren Memoing for logic programs Commun. ACM 35 3 1992 93 111
-
(1992)
Commun. ACM
, vol.35
, Issue.3
, pp. 93-111
-
-
Warren, D.1
|