Folding Variant Narrowing and Optimal Variant Termination (English)
- New search for: Escobar, Santiago
- New search for: Sasse, Ralf
- New search for: Meseguer, José
- New search for: Escobar, Santiago
- New search for: Sasse, Ralf
- New search for: Meseguer, José
In:
Rewriting Logic and Its Applications
2
;
52-68
;
2010
- Article/Chapter (Book) / Electronic Resource
-
Title:Folding Variant Narrowing and Optimal Variant Termination
-
Contributors:
-
Published in:Rewriting Logic and Its Applications , 2 ; 52-68Lecture Notes in Computer Science ; 6381, 2 ; 52-68
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2010-01-01
-
Size:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Rewriting, Inference, and ProofShankar, Natarajan et al. | 2010
- 15
-
Twenty Years of Rewriting LogicMeseguer, José et al. | 2010
- 18
-
Proving Termination in the Context-Sensitive Dependency Pair FrameworkGutiérrez, Raúl / Lucas, Salvador et al. | 2010
- 35
-
A Dependency Pair Framework for A ∨ C-TerminationAlarcón, Beatriz / Lucas, Salvador / Meseguer, José et al. | 2010
- 52
-
Folding Variant Narrowing and Optimal Variant TerminationEscobar, Santiago / Sasse, Ralf / Meseguer, José et al. | 2010
- 69
-
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude SpecificationsDurán, Francisco / Meseguer, José et al. | 2010
- 86
-
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite TheoriesDurán, Francisco / Meseguer, José et al. | 2010
- 104
-
K-Maude: A Rewriting Based Tool for Semantics of Programming LanguagesŞerbănuţă, Traian Florin / Roşu, Grigore et al. | 2010
- 123
-
Collecting Semantics under Predicate Abstraction in the K FrameworkAsăvoae, Irina Măriuca / Asăvoae, Mihail et al. | 2010
- 140
-
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital CircuitsKatelman, Michael / Keller, Sean / Meseguer, José et al. | 2010
- 157
-
A Formal Pattern Architecture for Safe Medical SystemsSun, Mu / Meseguer, José / Sha, Lui et al. | 2010
- 174
-
On the Behavioral Semantics of Real-Time Domain Specific Visual LanguagesRivera, José E. / Durán, Francisco / Vallecillo, Antonio et al. | 2010
- 191
-
Multiset Rewriting: A Semantic Framework for Concurrency with Name BindingRosa-Velardo, Fernando et al. | 2010
- 208
-
The Linear Temporal Logic of Rewriting Maude Model CheckerBae, Kyungmin / Meseguer, José et al. | 2010
- 226
-
Enhancing the Debugging of Maude SpecificationsRiesco, Adrian / Verdejo, Alberto / Martí-Oliet, Narciso et al. | 2010
- 243
-
The Third Rewrite Engines CompetitionDurán, Francisco / Roldán, Manuel / Bach, Jean-Christophe / Balland, Emilie / Brand, Mark / Cordy, James R. / Eker, Steven / Engelen, Luc / Jonge, Maartje / Kalleberg, Karl Trygve et al. | 2010