Denotational Model and Implementation of Scalable Virtual Machine in CPDev.

Jan Sadolewski, Bartosz Trybus

Browse the full FedCSIS paper archive.