636 search results - page 58 / 128 » Operational Semantics for Functional Logic Languages |
147
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
189
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
171
click to vote
ICLP
2007
Springer
16 years 5 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
196
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
146
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...