E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In ESOP, 2003.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Termination Proofs for Programs With Shape-Shifting .. - Josh Berdine Byron (2006) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In ESOP, 2003.
Termination Proofs for Systems Code - Ron Cook Microsoft (2006) (1 citation) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In ESOP'2003.
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In: ESOP, LNCS 2618, pp. 204--222. Springer, 2003.
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In P. Degano, editor, Programming Languages and Systems, 12th European Symposium on Programming (ESOP), volume 2618 of LNCS, pages 204--222. Springer, 2003. A Proofs of Sections 3 and 4 Proposition 3.16 Let # 1 and # 2 be two configurations. If # 1
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In Proc. 12th ESOP, 2003. 16
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In: ESOP, LNCS 2618, pp. 204--222. Springer, 2003.
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In P. Degano, editor, Programming Languages and Systems, 12th European Symposium on Programming (ESOP), volume 2618 of LNCS, pages 204--222. Springer, 2003. 55 A Proofs of Sections 3 and 4 Proposition 3.16 Let # 1 and # 2 be two configurations. If # 1
On Model Checking the Dynamics of Object-Based Software - a.. - Distefano (2003) (Correct)
No context found.
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm. Verifying temporal heap properties specified via evolution logic. In P. Degano, editor, Programming Languages and Systems, 12th European Symposium on Programming (ESOP), volume 2618 of LNCS, pages 204--222. Springer, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC