5451 search results - page 257 / 1091 » Typed Operational Semantics |
118
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The future Web can be imagined as a life network consisting of resource nodes and semantic relationship links between them. Any node has a life span from birth - adding it to the ...
142
click to vote
SIGLEX
1991
15 years 8 months ago
1991
Drawing on a growing database of systematic relationships between word-senses, the authors argue that a significant class of these represent Lexical Implication Rules, a set of fo...
117
click to vote
IMPERIAL
1993
15 years 8 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
129
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...