4690 search results - page 6 / 938 » An operational semantics for Scheme |
TYPES
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
POPL
2001
ACM
14 years 8 months ago
2001
ACM
CADE
2006
Springer
14 years 8 months ago
2006
Springer
SIS
2004
13 years 9 months ago
2004
The shift from paper documents to their respective electronic formats is producing important advantages in the functioning of businesses and Public Administrations. However, this s...