Equivalence of operational and denotational semantics for a fragment of PASCAL
Krzysztof Rafal Apt · Data Archiving and Networked Services (DANS) · 1978
A fragment of PASCAL is considered in which nested systems of procedure declarations are allowed.Procedures can call parametersby value or by variable.Three semantics for the fragment are considered -two denotational ones and one operational and proved all three to be equivalent.