MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Context Rewriting." – sorted by Relevance.

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

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

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

ATOM

Logical Specification of Operational Semantics
by Peter D. Mosses, Peter D. Mosses, Peter D. Mosses — 1999 — In CSL'99, Proc. Conf. on Computer Science Logic, volume 1683 of LNCS
… systems for evaluation contexts, rewriting logic, and tile logic. We consider the relationship between…
Cited by 3 (2 self) – Add To MetaCart

Formalising the Safety of Java, the Java Virtual Machine and Java Card
by Pieter H. Hartel, Luc Moreau
… have not been able to find any work on modelling garbage collection in the context of studying either…
Add To MetaCart

The Semantics of Scheme with Future
by Luc Moreau — 1996 — In In ACM SIGPLAN International Conference on Functional Programming (ICFP'96
…) The CS-machine, a context-rewriting machine, can be regarded as the sequential semantics of the language…
Cited by 14 (7 self) – Add To MetaCart

Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators
by Luc Moreau, Christian Queinnec — 1994 — International Conference on Programming Language Implementation and Logic Programming (PLILP'94). Proceedings
… continuations: a context-rewriting system and a cps translation. Two new and realistic examples illustrate both…
Cited by 16 (2 self) – Add To MetaCart

A Syntactic Theory of Dynamic Binding
by Luc Moreau — 1997 — Higher-Order and Symbolic Computation
… evaluation function in a context-rewriting system. Then, we exhibit the power and usefulness of dynamic…
Cited by 17 (1 self) – Add To MetaCart

Decidable Approximations of Sets of Descendants and Sets of Normal Forms
by Thomas Genet, Thomas Genet — 1997
… on specific tree automata techniques. In the context of rewriting logic, a Term Rewriting System is a program…
Cited by 32 (12 self) – Add To MetaCart

Certification of automated termination proofs
by Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain — 2007 — In Proc. 6th FroCoS
… of the increasing size and complexity of these tools. In the context of rewriting techniques, we aim at bridging…
Cited by 2 (0 self) – Add To MetaCart

Towards automated proofs of observational properties
by Narjes Berregeb, Riadh Robbana, Ashish Tiwari — 2004 — Discrete Mathematics in Theoretical Computer Science
…. We give methods based on rewriting techniques, for constructing such cover-contexts for interesting…
Cited by 1 (1 self) – Add To MetaCart

Designing Arithmetic Digital Circuits via Rewriting-Logic
by Mauricio Ayala-rincon, Reiner W. Hartenstein, Ricardo P. Jacobi, Carlos H. Llanos, Wander J. de Queroz, Er J. De Queroz — 2002
…. To illustrate the possibilities of rewriting-logic in the context of regular hardware structures we describe how…
Cited by 3 (1 self) – Add To MetaCart

Context-sensitive Conditional Expression Reduction Systems
by Zurab Khasidashvili, Vincent Van Oostrom — 1995 — In Proc. of the International Workshop on Graph Rewriting and Computation, SEGRAGRA'95
… context-sensitive rewriting. 1 Introduction A term rewriting system is a pair consisting of an alphabet…
Cited by 12 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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