Searching for "Termination by Abstraction." – sorted by Relevance.
-
Termination by abstraction
- 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
- 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
- networks, and provide a terminal abstraction based on media sources and sinks that is independent
- Add To MetaCart
-
Cardinality Analysis of Prolog
- /output patterns, cut, termination, and abstractions of arithmetic and meta-predicates are used to achieve great
- Add To MetaCart
-
I R I S a
- Projet Lande Publication interne n984 --- f'evrier 1996 --- 36 pages Abstract: Gamma was originally
- Add To MetaCart
-
A Polyvariant Closure Analysis with Dynamic Widening
- termination of the algorithm, thus improving the accurary of the analysis Termination of abstract
- Cited by 6 (0 self) – Add To MetaCart
-
Perfect Supercompilation
- . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 3 7 Termination 74 7.1 Abstract Program Transformers
- Add To MetaCart
-
he Galois Connect93 and Widening/Narrowing Approaches t Abst530 Int313873P607
- ′ terminates more frequently than f. ⊓⊔ 3The Galois Connection Approach to Abstract Interpretation Principle
- Add To MetaCart
-
Operational Semantics and Program Equivalence
- 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
- the successors of the initial configurations does not always terminate. Thus, some abstractions are often used
- Cited by 2 (1 self) – Add To MetaCart

