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

DOI10.1007/S00236-008-0079-YzbMath1180.68098OpenAlexW1976607329MaRDI QIDQ1006341

Ferruccio Damiani, Paola Giannini, Sophia Drossopoulou, Elena Giachino

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

zbMATH Keywords

concurrent programs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

simpA: an agent-oriented approach for programming concurrent applications on top of Java ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ A type safe state abstraction for coordination in JAVA-like languages

Uses Software

• JML
• Featherweight Java

Cites Work

• Unnamed Item
• A type safe state abstraction for coordination in JAVA-like languages
• A calculus of mobile processes. I
• A syntactic approach to type soundness
• How to solve the Santa Claus problem
• A survey of concurrent object-oriented languages

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