A Framework for Type Safe Exchange of Mobile Code

DOI10.1007/978-3-540-75336-0_20MaRDI QIDQ3608465zbMATH OpenOpenAlexFDO

Authors Sonia Fagorzi, Elena Zucca

Publication date 5 March 2009

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75336-0_20

zbMATH Keywords

subtypingmobile codeparametric calculusstatic and dynamic typechecking

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A parametric calculus for mobile open code
• Foundations of Software Science and Computation Structures
• MOMI: a calculus for mobile mixins
• Type assignement for mobile objects
• safeDpi: a language for controlling mobile code

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 2163038 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• A calculus for reconfiguration (extended abstract)
• A calculus of module systems
• Coordination Models and Languages
• Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\)
• MOMI: a calculus for mobile mixins
• Mutatis mutandis: safe and predictable dynamic software updating
• Privacy via subsumption
• Type inference, principal typings, and let-polymorphism for first-class mixin modules

Cited in

(4)

• A parametric calculus for mobile open code
• MOMI: a calculus for mobile mixins
• safeDpi: a language for controlling mobile code
• Foundations of Software Science and Computation Structures

Describes a project that uses

Uses Software

• MOMI

This page was built for publication: A Framework for Type Safe Exchange of Mobile Code

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