Subtyping and matching for mobile objects

DOI10.1007/3-540-45446-2_15MaRDI QIDQ4448368zbMATH OpenFDO

Authors Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Publication date 18 February 2004

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/2202/22020235.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Typed mobile objects
• Subtyping and typing algorithms for mobile ambients
• Type assignement for mobile objects
• scientific article; zbMATH DE number 954809
• Matching for the lambda calculus of objects

Cited in

(4)

• Type assignement for mobile objects
• Typed mobile objects
• scientific article; zbMATH DE number 2163038 (Why is no real title available?)
• scientific article; zbMATH DE number 2112422 (Why is no real title available?)

This page was built for publication: Subtyping and matching for mobile objects

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