![Programming language semantics / Procedural programming languages / Logic in computer science / Functional languages / Models of computation / Standard ML / Denotational semantics / ALGOL 68 / Eval / Software engineering / Computing / Programming language theory Programming language semantics / Procedural programming languages / Logic in computer science / Functional languages / Models of computation / Standard ML / Denotational semantics / ALGOL 68 / Eval / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/461aaac542adc560a888b0b5a2898ade.jpg) Date: 2012-08-10 19:21:35Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory | | Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science UniAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source Website File Size: 131,41 KBShare Document on Facebook
|