Extensible systems, such as SPIN [ref] or Java … [ref] … are best characterized by their support for dynamically … to a running system in almost arbitrary fashion, … in this paper to simply denote the types … type declarations themselves. Extensions and the core system … extensible systems differ fundamentally from conventional systems, such … [ref], which rely on processes executing under the control of a …
Google-1
Google-2
Copyright clearance needed for quotation.