Coalgebraic semantics of an imperative class based language (2003)

by F Honsell, M Lenisa
Venue:Dipartimento di Matematica e Infomatica, Universita’ di
Add To MetaCart
Results 1 - 1 of 1

Dynamic Assembly, Reconfiguration and Type-checking

by Deliverable No D
"... Implementation of a calculus allowing modification of the object code at run-time and implementation of a prototype language allowing modification of classes at run-time Report Version: first ..."
Abstract - Add to MetaCart
Implementation of a calculus allowing modification of the object code at run-time and implementation of a prototype language allowing modification of classes at run-time Report Version: first