MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proving Properties of Logic Programs by Abstract Diagnosis." – 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

Proving properties of logic programs by abstract diagnosis
by Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello — 1996 — Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science
…Proving Properties of Logic Programs by Abstract Diagnosis Marco Comini 1 , Giorgio Levi 1 , Maria…
Cited by 19 (4 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
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Invited Lecture: G. Levi Proving Properties of Logic Programs by Abstract Diagnosis…
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
… problem of parallelizing programs. Proving Properties of Logic Programs by Abstract Diagnosis (by M…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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