A Parametric Calculus for Mobile Open Code

DOI10.1016/J.ENTCS.2008.10.024zbMath1277.68158OpenAlexW2127649417MaRDI QIDQ2864499

Elena Zucca, Sonia Fagorzi, Davide Ancona

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.024

zbMATH Keywords

process calculisubtypingdynamic typingmobile coderebinding

Mathematics Subject Classification ID

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

Related Items (1)

Extending the lambda-calculus with unbind and rebind

Uses Software

• MOMI

Cites Work

• Unnamed Item
• Unnamed Item
• Inheritance as implicit coercion
• MOMI: a calculus for mobile mixins
• A Framework for Type Safe Exchange of Mobile Code
• Dynamic rebinding for marshalling and update, with destruct-time ?
• Polymorphic bytecode
• Mutatis mutandis

This page was built for publication: A Parametric Calculus for Mobile Open Code