From natural semantics to C: A formal derivation of two STG machines.

Alberto de la Encina Ricardo Peña-Marí

Published in: J. Funct. Program. (2009)

Keyphrases

operational semantics
formal language
model theoretic
machine processable
formal semantics
specification languages
highly expressive
databases
speech acts
semantic information
real time
formal specification
formal model
mathematical theory
logic programming
dynamic aspects
logic programs
artificial intelligence