A type safe state abstraction for coordination in JAVA-like languages

DOI10.1007/S00236-008-0079-YzbMATH Open1180.68098OpenAlexW1976607329MaRDI QIDQ1006341FDOQ1006341

Authors: Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou 

Publication date: 20 March 2009

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-008-0079-y

Recommendations

• State inference for dynamically changing interfaces
• Concurrent object-oriented programs: from specification to code.
• scientific article; zbMATH DE number 1670511
• Strong types for coordinating active objects
• scientific article; zbMATH DE number 1759630

zbMATH Keywords

concurrent programs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• A calculus of mobile processes. I
• A syntactic approach to type soundness
• Title not available (Why is that?)
• A type safe state abstraction for coordination in JAVA-like languages
• A survey of concurrent object-oriented languages
• How to solve the Santa Claus problem

Cited In (4)

• Amalgamating sessions and methods in object-oriented languages with generics
• A type safe state abstraction for coordination in JAVA-like languages
• simpA: an agent-oriented approach for programming concurrent applications on top of Java
• Title not available (Why is that?)

Uses Software

• JML
• Featherweight Java

This page was built for publication: A type safe state abstraction for coordination in JAVA-like languages

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