4690 search results - page 167 / 938 » An operational semantics for Scheme |
156
click to vote
IMPERIAL
1993
15 years 10 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...
159
click to vote
ASM
2005
ASM
16 years 2 days 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...
115
click to vote
DALT
2004
Springer
15 years 12 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...
150
click to vote
ACL
2001
15 years 8 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
155
click to vote
APAL
2005
15 years 6 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...