MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Interpretation and Application to Logic Programs." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Abstraction Interpretation and Application to Logic Programs
by Patrick Cousot, Radhia Cousot — 2002 — IN SOFTWARE VERIFICATION. PROC. OF THE CAV
…Abstract Interpretation and Application to Logic Programs Patrick Cousot LIENS, Ecole 45, rue…
Cited by 246 (12 self) – Add To MetaCart

Delay Analysis in Synchronous Programs
by N. Halbwachs — 1993
… interpretation and application to logic programs. Research Report LIX/RR/92/08, Ecole Polytechnique, March 1992…
Cited by 52 (4 self) – Add To MetaCart

Cousot: On Abstraction
by Patrick Cousot, Radhia Cousot — 2002 — in Software Verification. Proc. of the CAV
…Abstract Interpretation and Application to Logic Programs Patrick Cousot LIENS, Ecole 45, rue…
Cited by 3 (1 self) – Add To MetaCart

Intelligent Agents in Computer Supported Training for Emergency Management
by Claudio Balducelli, Adam M. Gadomski — 1993 — In the Proceeding of the First International Round-Table on Abstract Intelligent
… at al., Abstract interpretation and application to Logic Programs, Jour. of Logic Programming, Special…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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