A Framework for Type Safe Exchange of Mobile Code

DOI10.1007/978-3-540-75336-0_20zbMath1211.68027OpenAlexW1493672765MaRDI QIDQ3608465

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

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

Related Items (1)

A Parametric Calculus for Mobile Open Code

Uses Software

• MOMI

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Privacy via subsumption
• MOMI: a calculus for mobile mixins
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• A calculus of module systems
• Dynamic rebinding for marshalling and update, with destruct-time ?
• Mutatis mutandis
• Coordination Models and Languages

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