MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Interpretation of Small-Step Semantics." – 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

Abstract Interpretation of Small-Step Semantics
by David A. Schmidt — 1996 — Proceedings of the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages. LNCS 1192
… Abstract Interpretation of Small-Step Semantics David A. Schmidt Kansas State University1…
Cited by 11 (0 self) – Add To MetaCart

Analysis and Verification of Multiple-Agent Languages - Fifth LOMAPS Workshop Abstracts
by Mads Dam, F r e d r i k Orava (eds.) — 1996
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 D. Schmidt Abstract Interpretation of Small-Step Semantics…
Add To MetaCart

Logical and Operational Methods in the Analysis of Programs and Systems
by F. Nielson, P. Cousot, Together P. Cousot, M. Dam, P. Degano, P. Jouvelot, A. Mycroft, B. Thomsen
… the concrete transition system explodes anyway). Abstract Interpretation of Small-Step Semantics (by D…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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