1162 search results - page 152 / 233 » Monotonic Semantic Interpretation |
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
96
Voted
ICALP
2004
Springer
15 years 6 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. ...
92
Voted
CEEMAS
2003
Springer
15 years 5 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
106
click to vote
MM
1999
ACM
15 years 4 months ago
1999
ACM
A smart interactive video object generation (SIVOG) system is proposed in this work. SIVOG provides a semantic layer to interact with the user. It interprets user’s input and ch...
89
Voted
FOAL
2007
ACM
15 years 4 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...