MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

Termination criteria for model transformation
by Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay — 2005 — Proc. Fundamental Approaches to Software Engineering (FASE
…Termination Criteria for Model Transformation ⋆ Hartmut Ehrig 1 , Karsten Ehrig 1 , Juan de Lara 2…
Cited by 18 (11 self) – Add To MetaCart

Aspect Weaving with Graph Rewriting
by Uwe Aßmann, Andreas Ludwig — 2000 — In Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
… formal background since it inherits all features of graph rewrite systems such as criteria…
Cited by 5 (0 self) – Add To MetaCart

Aspect Weaving by Graph Rewriting
by Uwe Aßmann , Andreas Ludwig — 2000
… features of graph rewrite systems such as criteria for termination, conuence, and unique normal forms…
Add To MetaCart

Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria
by Kusakari Keiichirou, Claude Marché, Xavier Urbain — 2002
…Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria Kusakari…
Add To MetaCart

On Termination and Confluence of Conditional Rewrite Systems
by Bernhard Gramlich — Proceedings of the 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem, Lecture Notes in Computer Science
… sufficient criteria for termination plus confluence in terms of restricted termination and confluence…
Cited by 6 (2 self) – Add To MetaCart

A Symmetrical Approach to Parsing and Generation
by Marc Dymetman, Pierre Isabelle, François Perrault — 1990 — In Proceedings of the 13th International Conference on Computational Linguistics (COLING
…-down Prolog interpreter. Formal criteria for termination are given as conditions on lexical entries: during…
Cited by 17 (2 self) – Add To MetaCart

National Aeronautics and Space Administration
by Robert W. Simpson, Amedeo R. Odoni, Francisco Salas-roche, Robert W. Simpson, Amedeo R. Odoni, Francisco Salas-roche — 1986
… of -way Systems at Major Airports", is an intensive review of current US separation criteria and terminal…
Add To MetaCart

Universal Guides And Finiteness And Symmetry Of
by Grammar Processing Algorithms, Miroslav Martinovi
… grammars (changing variable binding status) in order to characterize tbrmal criteria for termination in a…
Add To MetaCart

Termination of HighLevel Replacement Units with Application to Model Transformation
by Paolo Bottoni, Manuel Koch, Francesco Parisi-presicce, Gabriele Taentzer C — 2004 — In proceedings of VLFM’04, ENTCS
… units, we state and prove several abstract properties based on termination criteria. Then, we…
Cited by 4 (2 self) – Add To MetaCart

Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
by Bernhard Gramlich — 1993
… termination, and their interrelation. New criteria are provided which are sufficient for the equivalence…
Cited by 25 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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