Safe and flexible dynamic linking of native code

DOI10.1007/3-540-45332-6_6MaRDI QIDQ4532094zbMATH OpenFDO

Authors Michael Anthony Hicks, Stephanie Weirich, Karl Crary

Publication date 28 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2071/20710147

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• Theoretical Computer Science
• scientific article; zbMATH DE number 1956544
• CCured, type-safe retrofitting of legacy code
• A flexible model for dynamic linking in Java and C\#
• Typestate checking of machine code

Cited in

(3)

• Type-based hot swapping of running modules
• Linking programs in Mungi
• A flexible model for dynamic linking in Java and C\#

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Safe and flexible dynamic linking of native code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532094)