MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination by Abstraction." – sorted by Relevance.

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

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

142 documents found, showing 1 through 10. Next 10 →

ATOM

Termination by abstraction
by Nachum Dershowitz — 2004 — In Proc. 20th ICLP, volume 3132 of LNCS
…Termination by Abstraction Nachum Dershowitz ⋆ School of Computer Science, Tel-Aviv University…
Cited by 3 (0 self) – Add To MetaCart

S.: Guaranteed termination in the verification of LTL properties of non-linear robust discrete time
by Werner Damm, Guilherme Pinto, Stefan Ratschan — 2005 — In Peled, D., Tsay, Y.K., eds.: ATVA. Volume 3707 of LNCS
… to compute incrementally refined abstractions. Although the problem is undecidable, we prove termination…
Cited by 6 (1 self) – Add To MetaCart

Experiments with Broadband Multipoint Multimedia Telecommunications and Computer Supported Collaborative Work
by H. W. Peter Beadle
… networks, and provide a terminal abstraction based on media sources and sinks that is independent…
Add To MetaCart

Cardinality Analysis of Prolog
by S. Modart, P. Van Hentenryck, C. Braem, C. Braem, B. Le Charlier, B. Le Charlier, S. Modart P. Van Hentenryck — 1994
…/output patterns, cut, termination, and abstractions of arithmetic and meta-predicates are used to achieve great…
Add To MetaCart

I R I S a
by Campus Universitaire De, Tre Et, Daniel Le Me, Jean-pierre Banatre, Projet Lande — 1996
… Projet Lande Publication interne n984 --- f'evrier 1996 --- 36 pages Abstract: Gamma was originally…
Add To MetaCart

A Polyvariant Closure Analysis with Dynamic Widening
by Bjarne Steensgaard, Morten Marquard
… termination of the algorithm, thus improving the accurary of the analysis Termination of abstract…
Cited by 6 (0 self) – Add To MetaCart

Perfect Supercompilation
by Perfect Supercompilation, Jens Peter Secher — 1999
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 3 7 Termination 74 7.1 Abstract Program Transformers…
Add To MetaCart

he Galois Connect93 and Widening/Narrowing Approaches t Abst530 Int313873P607
by Patrick Cou And, Patrick Cousot, Radhia Cousot — 1992
… ′ terminates more frequently than f. ⊓⊔ 3The Galois Connection Approach to Abstract Interpretation Principle…
Add To MetaCart

Operational Semantics and Program Equivalence
by Andrew M. Pitts — 2000 — INRIA Sophia Antipolis, 2000. Lectures at the International Summer School On Applied Semantics, APPSEM 2000, Caminha, Minho
… definition of termination via an abstract machine using ‘frame stacks’. Applications of this to reasoning…
Cited by 22 (4 self) – Add To MetaCart

Timed Automata May Cause Some Troubles
by Patricia Bouyer, Patricia Bouyer — 2002 — Research Report LSV--02--9, LSV, ENS de
… the successors of the initial configurations does not always terminate. Thus, some abstractions are often used…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB