668 search results - page 5 / 134 » Operational semantics for multi-language programs |
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
108
click to vote
AC
2000
Springer
15 years 4 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
120
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
114
click to vote
DALT
2003
Springer
15 years 5 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...