previous up next
Go backward to Properties of Operational Semantics
Go up to Top
Go forward to Design of a Language Core
RISC-Linz logo

Computability of Phrases

Computational adequacy follows from soundness of typing, soundness of operational semantics and the computability of phrases.

Author: Wolfgang Schreiner
Last Modification: March 26, 1998

previous up next