Sciweavers

2 search results - page 1 / 1
» Towards Compatible and Interderivable Semantic Specification...
Sort
View
BIRTHDAY
2009
Springer
13 years 8 months ago
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
Olivier Danvy