A Framework for Type Safe Exchange of Mobile Code

DOI10.1007/978-3-540-75336-0_20zbMATH Open1211.68027OpenAlexW1493672765MaRDI QIDQ3608465FDOQ3608465

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

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

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)

Cites Work

• Title not available (Why is that?)
• Mutatis mutandis: safe and predictable dynamic software updating
• Title not available (Why is that?)
• A calculus of module systems
• Privacy via subsumption
• Title not available (Why is that?)
• Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\)
• MOMI: a calculus for mobile mixins
• Coordination Models and Languages
• A calculus for reconfiguration (extended abstract)
• Type inference, principal typings, and let-polymorphism for first-class mixin modules

Cited In (4)

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

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)