Back to Results
First PageMeta Content
Models of computation / Type theory / Data types / Programming language implementation / Logic in computer science / Denotational semantics / Partial evaluation / Programming language / Subtype polymorphism / Software engineering / Computing / Programming language theory


Document Date: 1996-10-15 05:57:12

Open Document

File Size: 459,26 KB

Share Result on Facebook

City

Semantics / /

Country

Denmark / /

/

Facility

Computer Science University of Aarhus Ny Munkegade / Aarhus University / Computer Science Copyright University of Aarhus / The store / /

/

IndustryTerm

well-ordering accounting / semantics-implementation systems / genuine solution / /

Organization

Danish National Research Foundation / Aarhus University / IN V / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science Department / /

/

Position

definitional interpreter / first author / offline partial evaluator / purely functional definitional interpreter / online partial evaluator / directstyle definitional interpreter / garbage collector / partial evaluator / interpreter / /

ProgrammingLanguage

Algol 60 / C / /

ProvinceOrState

New Brunswick / /

URL

http /

SocialTag