Type-based hot swapping of running modules

DOI10.1007/s00236-004-0151-1zbMath1067.68038OpenAlexW2032287150MaRDI QIDQ1772100

Dominic Duggan

Publication date: 15 April 2005

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-004-0151-1

zbMATH Keywords

type sharing constraints

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Most General Property-Preserving Updates ⋮ Static and dynamic property-preserving updates

Uses Software

• ML
• Ada95
• TALx86

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inheritance as implicit coercion
• Mixin modules
• Type dispatch for named hierarchical types
• Representing Java classes in a typed intermediate language
• Transparent modules with fully syntatic signatures
• Stack-based typed assembly language
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Deciding type equivalence in a language with singleton kinds
• Modules, abstract types, and distributed versioning
• Flexible representation analysis

This page was built for publication: Type-based hot swapping of running modules