Sciweavers

36 search results - page 1 / 8
» Representing Languages by Learnable Rewriting Systems
Sort
View
ICGI
2004
Springer
13 years 9 months ago
Representing Languages by Learnable Rewriting Systems
Rémi Eyraud, Colin de la Higuera, Jean-Chri...
BIRTHDAY
2004
Springer
13 years 9 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
CONCUR
2003
Springer
13 years 9 months ago
Priority Rewrite Systems for OSOS Process Languages
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
Irek Ulidowski
IFIP
1992
Springer
13 years 8 months ago
Structuring the Space of Interactive System Properties
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
Gregory D. Abowd, Joëlle Coutaz, Laurence Nig...
BIRTHDAY
2005
Springer
13 years 9 months ago
Term Rewriting Meets Aspect-Oriented Programming
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
Paul Klint, Tijs van der Storm, Jurgen J. Vinju