-
1
-
-
33749840533
-
-
Arnold, G.: Specialized 3-valued logic shape analysis using structure-based refinement and loose embedding. In: Yi, K. (ed.) SAS 2006. LNCS, 4134, Springer, Heidelberg (2006)
-
Arnold, G.: Specialized 3-valued logic shape analysis using structure-based refinement and loose embedding. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, Springer, Heidelberg (2006)
-
-
-
-
2
-
-
38149070828
-
-
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O'Hearn, P.W., Wies, T., Yang, H.: Shape analysis for composite data structures. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, 4590, Springer, Heidelberg (2007)
-
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O'Hearn, P.W., Wies, T., Yang, H.: Shape analysis for composite data structures. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, Springer, Heidelberg (2007)
-
-
-
-
3
-
-
38149017777
-
-
Chang, B.-Y.E., Rival, X., Necula, G.C.: Shape analysis with structural invariant checkers. Technical Report UCB/EECS-2007-80, UC Berkeley (2007)
-
Chang, B.-Y.E., Rival, X., Necula, G.C.: Shape analysis with structural invariant checkers. Technical Report UCB/EECS-2007-80, UC Berkeley (2007)
-
-
-
-
4
-
-
36349014746
-
Maintaining doubly-linked list invariants in shape analysis with local reasoning
-
Cook, B, Podelski, A, eds, VMCAI 2007, Springer, Heidelberg
-
Cherem, S., Rugina, R.: Maintaining doubly-linked list invariants in shape analysis with local reasoning. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4349
-
-
Cherem, S.1
Rugina, R.2
-
5
-
-
85050550846
-
-
Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)
-
Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)
-
-
-
-
6
-
-
33745765468
-
A local shape analysis based on separation logic
-
Hermanns, H, Palsberg, J, eds, TACAS 2006 and ETAPS 2006, Springer, Heidelberg
-
Distefano, D., O'Hearn, P.W., Yang, H.: A local shape analysis based on separation logic. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3920
-
-
Distefano, D.1
O'Hearn, P.W.2
Yang, H.3
-
7
-
-
29144444097
-
-
Hackett, B., Rugina, R.: Region-based shape analysis with tracked locations. In: POPL (2005)
-
Hackett, B., Rugina, R.: Region-based shape analysis with tracked locations. In: POPL (2005)
-
-
-
-
8
-
-
24644443912
-
-
Lee, O., Yang, H., Yi, K.: Automatic verification of pointer programs using grammar-based shape analysis. In: Sagiv, M. (ed.) ESOP 2005. LNCS, 3444, Springer, Heidelberg (2005)
-
Lee, O., Yang, H., Yi, K.: Automatic verification of pointer programs using grammar-based shape analysis. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, Springer, Heidelberg (2005)
-
-
-
-
9
-
-
34547463929
-
Inferring invariants in separation logic for imperative list-processing programs
-
Program Analysis, and Computing Environments for Memory Management
-
Magill, S., Nanevski, A., Clarke, E., Lee, P.: Inferring invariants in separation logic for imperative list-processing programs. In: Semantics, Program Analysis, and Computing Environments for Memory Management (2006)
-
(2006)
Semantics
-
-
Magill, S.1
Nanevski, A.2
Clarke, E.3
Lee, P.4
-
10
-
-
35048882934
-
-
Manevich, R., Sagiv, S., Ramalingam, G., Field, J.: Partially disjunctive heap abstraction. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, 3148, Springer, Heidelberg (2004)
-
Manevich, R., Sagiv, S., Ramalingam, G., Field, J.: Partially disjunctive heap abstraction. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, Springer, Heidelberg (2004)
-
-
-
-
11
-
-
24644456617
-
-
Mauborgne, L., Rival, X.: Trace partitioning in abstract interpretation based static analyzers. In: Sagiv, M. (ed.) ESOP 2005. LNCS, 3444, Springer, Heidelberg (2005)
-
Mauborgne, L., Rival, X.: Trace partitioning in abstract interpretation based static analyzers. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, Springer, Heidelberg (2005)
-
-
-
-
12
-
-
26444435643
-
-
McPeak, S., Necula, G.C.: Data structure specifications via local equality axioms. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, 3576, Springer, Heidelberg (2005)
-
McPeak, S., Necula, G.C.: Data structure specifications via local equality axioms. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, Springer, Heidelberg (2005)
-
-
-
-
13
-
-
0034833035
-
-
Møller, A., Schwartzbach, M.I.: The pointer assertion logic engine. In: PLDI (2001)
-
Møller, A., Schwartzbach, M.I.: The pointer assertion logic engine. In: PLDI (2001)
-
-
-
-
14
-
-
84959039613
-
CIL: Intermediate language and tools for analysis and transformation of C programs
-
Horspool, R.N, ed, CC 2002 and ETAPS 2002, Springer, Heidelberg
-
Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of C programs. In: Horspool, R.N. (ed.) CC 2002 and ETAPS 2002. LNCS, vol. 2304, Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2304
-
-
Necula, G.C.1
McPeak, S.2
Rahul, S.P.3
Weimer, W.4
-
16
-
-
0025436383
-
Skip lists: A probabilistic alternative to balanced trees
-
Pugh, W.: Skip lists: A probabilistic alternative to balanced trees. Commun. ACM 33(6) (1990)
-
(1990)
Commun. ACM
, vol.33
, Issue.6
-
-
Pugh, W.1
-
17
-
-
0036051192
-
-
Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: LICS (2002)
-
Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: LICS (2002)
-
-
-
-
18
-
-
0039488517
-
Parametric shape analysis via 3-valued logic
-
Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3) (2002)
-
(2002)
ACM Trans. Program. Lang. Syst
, vol.24
, Issue.3
-
-
Sagiv, S.1
Reps, T.W.2
Wilhelm, R.3
-
19
-
-
33745654319
-
Field constraint analysis
-
Emerson, E.A, Namjoshi, K.S, eds, VMCAI 2006, Springer, Heidelberg
-
Wies, T., Kuncak, V., Lam, P., Podelski, A., Rinard, M.C.: Field constraint analysis. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3855
-
-
Wies, T.1
Kuncak, V.2
Lam, P.3
Podelski, A.4
Rinard, M.C.5
|