179 search results - page 1 / 36 » A Rewriting Logic Approach to Operational Semantics (Extende... |
ENTCS
2007
13 years 6 months ago
2007
ICLP
1995
Springer
13 years 9 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
ENTCS
2002
13 years 6 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
TACS
1994
Springer
13 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
ENTCS
2006
13 years 6 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...