Back to Results
First PageMeta Content
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


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 Uni
Add to Reading List

Document Date: 2012-08-10 19:21:35

Open Document

File Size: 131,41 KB

Share Result on Facebook

Facility

Store A store / Computer Science University of Aarhus Abstract We / /

Organization

Computer Science University / Denotational Semantics / Natural Semantics / and Abstract Machines Olivier Danvy Department / University of Aarhus / /

Position

author / driver / CPS interpreter / /

ProgrammingLanguage

Standard ML / /

ProvinceOrState

New Jersey / /

RadioStation

Core / /

Technology

Functional Programming / /

SocialTag