636 search results - page 39 / 128 » Operational Semantics for Functional Logic Languages |
114
Voted
ENTCS
2007
15 years 3 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
140
Voted
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
118
Voted
DALT
2004
Springer
15 years 9 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
126
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
158
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...