Back to Results
First PageMeta Content
Computing / Programming language semantics / Formal methods / Denotational semantics / Operational semantics / Semantics of programming languages / Programming language / Prolog / Compiler-compiler / Theoretical computer science / Software engineering / Logic in computer science


194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications
Add to Reading List

Document Date: 2003-05-18 19:21:52

Open Document

File Size: 10,76 KB

Share Result on Facebook

Company

Esprit / /

Facility

Linköping University / The Laboratory / /

IndustryTerm

stand-alone applications / type inference algorithm / type systems / augmented type systems / /

OperatingSystem

Sequent / /

Organization

Linköping University / Laboratory for Programming Environments H1 T1 / Department of Computer and Information Science / Laboratory for Programming Environments / /

Person

Peter Fritzson / /

Position

compiled interpreter for the same language / compiled interpreter / functional evaluator / interpreter / /

ProgrammingLanguage

R / Standard ML / Prolog / T / /

ProvinceOrState

Nova Scotia / /

Technology

functional programming / type inference algorithm / /

SocialTag