MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Methods and Logics for Proving Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Methods and Logics for Proving
by Programs Patrick Cousot, Patrick Cousot
…Contents Methods and Logics for Proving Programs 1 Patrick COUSOT École Polytechnique, LIX 91128…
Add To MetaCart

[2] E.L. Allgower and K. Georg. Introduction to Numerical Continuation Methods.
by How Things Fly Roll, E. Anderson, Z. Bai, C. Bischof, S. Blackford, J. Demmel, J. Dongarra, J. Du, A. Greenbaum, S. Hammarling, A. Mckenney, D. Sorensen Lapack — 1996
… arithmetic progressions. J. Symbolic Comput., 9:251–280, 1990. 38 [33] Patrick Cousot. Methods and logics…
Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… verification. SIAM J. on Computing, 7:70 90, 1978. P. Cousot. Methods and logics for proving programs. In J…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB