-
2
-
-
17044399069
-
Static analysis of accessed regions in recursive data structures
-
S. Chong and R. Rugina. Static analysis of accessed regions in recursive data structures. In SAS, 2003.
-
(2003)
SAS
-
-
Chong, S.1
Rugina, R.2
-
3
-
-
0014797273
-
A relational model of data for large shared data banks
-
E. F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377-387, 1970.
-
(1970)
Communications of the ACM
, vol.13
, Issue.6
, pp. 377-387
-
-
Codd, E.F.1
-
4
-
-
0018294932
-
Systematic design of program analysis frameworks
-
New York, NY. ACM Press
-
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269-282, New York, NY, 1979. ACM Press.
-
(1979)
Symp. on Princ. of Prog. Lang.
, pp. 269-282
-
-
Cousot, P.1
Cousot, R.2
-
5
-
-
0008451456
-
-
PhD thesis, LIX, Ecole Polytechnique, F-91128, Palaiseau, France
-
A. Deutsch. Operational Models of Programming Languages and Representations of Relations on Regular Languages with Application to the Static Determination of Dynamic Aliasing Properties of Data. PhD thesis, LIX, Ecole Polytechnique, F-91128, Palaiseau, France, 1992.
-
(1992)
Operational Models of Programming Languages and Representations of Relations on Regular Languages with Application to the Static Determination of Dynamic Aliasing Properties of Data
-
-
Deutsch, A.1
-
6
-
-
0027061682
-
A storeless model for aliasing and its abstractions using finite representations of right-regular equivalence relations
-
Washington, DC. IEEE Press
-
A. Deutsch. A storeless model for aliasing and its abstractions using finite representations of right-regular equivalence relations. In IEEE International Conference on Computer Languages, pages 2-13, Washington, DC, 1992. IEEE Press.
-
(1992)
IEEE International Conference on Computer Languages
, pp. 2-13
-
-
Deutsch, A.1
-
7
-
-
0027961596
-
Interprocedural may-alias analysis for pointers: Beyond k-limiting
-
New York, NY. ACM Press
-
A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 230-241, New York, NY, 1994. ACM Press.
-
(1994)
SIGPLAN Conf. on Prog. Lang. Design and Impl.
, pp. 230-241
-
-
Deutsch, A.1
-
10
-
-
0019688258
-
Abstract storage structures
-
de Bakker and van Vllet, editors. IFIP, North Holland
-
H.B.M. Jonkers. Abstract storage structures. In de Bakker and van Vllet, editors, Algorithmic Languages, pages 321-343. IFIP, North Holland, 1981.
-
(1981)
Algorithmic Languages
, pp. 321-343
-
-
Jonkers, H.B.M.1
-
13
-
-
0034593015
-
Putting static analysis to work for verification: A case study
-
T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm. Putting static analysis to work for verification: A case study. In Proc. of the Int. Symp. on Software Testing and Analysis, pages 26-38, 2000.
-
(2000)
Proc. of the Int. Symp. on Software Testing and Analysis
, pp. 26-38
-
-
Lev-Ami, T.1
Reps, T.2
Sagiv, M.3
Wilhelm, R.4
-
15
-
-
0036051192
-
Separation logic: A logic for shared mutable data structures
-
J. Reynolds. Separation logic: a logic for shared mutable data structures. In Logic in Computer Science, pages 55-74, 2002.
-
(2002)
Logic in Computer Science
, pp. 55-74
-
-
Reynolds, J.1
-
16
-
-
4243585022
-
-
Master's thesis, Technion Israel Institute of Technology, Haifa, Israel
-
N. Rinetzky. Interprocedural shape analysis. Master's thesis, Technion Israel Institute of Technology, Haifa, Israel, 2001.
-
(2001)
Interprocedural Shape Analysis
-
-
Rinetzky, N.1
-
17
-
-
17044384722
-
A semantics for procedure local heaps and its abstractions
-
AVACS, October
-
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A semantics for procedure local heaps and its abstractions. Tech. Rep. 1, AVACS, October 2004. Available at "http://www.avacs.org".
-
(2004)
Tech. Rep.
, vol.1
-
-
Rinetzky, N.1
Bauer, J.2
Reps, T.3
Sagiv, M.4
Wilhelm, R.5
-
18
-
-
84958978460
-
Interprocedural shape analysis for recursive programs
-
N. Rinetzky and M. Sagiv. Interprocedural shape analysis for recursive programs. In Int. Conf. on Comp. Construct., pages 133-149, 2001.
-
(2001)
Int. Conf. on Comp. Construct.
, pp. 133-149
-
-
Rinetzky, N.1
Sagiv, M.2
-
19
-
-
17044374137
-
Interprocedural functional shape analysis using local heaps
-
Tel Aviv Uni., November
-
N. Rinetzky, M. Sagiv, and E. Yahav. Interprocedural functional shape analysis using local heaps. Tech. Rep. 26, Tel Aviv Uni., November 2004. Available at "http://www.math.tau.ac.il/~maon".
-
(2004)
Tech. Rep.
, vol.26
-
-
Rinetzky, N.1
Sagiv, M.2
Yahav, E.3
-
20
-
-
0039488517
-
Parametric shape analysis via 3-valued logic
-
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217-298, 2002.
-
(2002)
ACM Transactions on Programming Languages and Systems
, vol.24
, Issue.3
, pp. 217-298
-
-
Sagiv, M.1
Reps, T.2
Wilhelm, R.3
-
21
-
-
0033225337
-
Automatic analysis of pointer aliasing for untyped programs
-
A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 35(2):223-248, 1999.
-
(1999)
Science of Computer Programming
, vol.35
, Issue.2
, pp. 223-248
-
-
Venet, A.1
|