Proving operational termination of membership equational programs (English)
- New search for: Durán, Francisco
- New search for: Lucas, Salvador
- New search for: Marché, Claude
- New search for: Meseguer, José
- New search for: Urbain, Xavier
- New search for: Durán, Francisco
- New search for: Lucas, Salvador
- New search for: Marché, Claude
- New search for: Meseguer, José
- New search for: Urbain, Xavier
In:
Higher-Order and Symbolic Computation
;
21
, 1
;
59-88
;
2008
- Article (Journal) / Electronic Resource
-
Title:Proving operational termination of membership equational programs
-
Contributors:Durán, Francisco ( author ) / Lucas, Salvador ( author ) / Marché, Claude ( author ) / Meseguer, José ( author ) / Urbain, Xavier ( author )
-
Published in:Higher-Order and Symbolic Computation ; 21, 1 ; 59-88
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston
-
Publication date:2008-04-26
-
Size:30 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 21, Issue 1
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
-
EditorialLawall, Julia / Leuschel, Michael / Sestoft, Peter et al. | 2008
-
Efficient and flexible access control via Jones-optimal logic program specialisationBarker, Steve / Leuschel, Michael / Varea, Mauricio et al. | 2008
- 37
-
Imperative-program transformation by instrumented-interpreter specializationDebois, Søren et al. | 2008
- 59
-
Proving operational termination of membership equational programsDurán, Francisco / Lucas, Salvador / Marché, Claude / Meseguer, José / Urbain, Xavier et al. | 2008
- 89
-
A programmable editor for developing structured documents based on bidirectional transformationsHu, Zhenjiang / Mu, Shin-Cheng / Takeichi, Masato et al. | 2008
-
Program transformations for light-weight CPU accounting and control in the Java virtual machineHulaas, Jarle / Binder, Walter et al. | 2008
-
Dynamic slicing of lazy functional programs based on redex trailsOchoa, Claudio / Silva, Josep / Vidal, Germán et al. | 2008
- 193
-
Totally correct logic program transformations via well-founded annotationsPettorossi, Alberto / Proietti, Maurizio et al. | 2008