Algebraic derivation of an operational semantics

Algebraic derivation of an operational semantics

Bibliographic Details
Main Authors: Hoare, C, He, J, Sampaio, A
Format: Conference item
Published: MIT Press 2000
Description
Summary:

Similar Items