Backwards type analysis of asynchronous method calls

DOI10.1016/j.jlap.2008.05.004zbMath1151.68006OpenAlexW2118599976MaRDI QIDQ953530

Ingrid Chieh Yu, Einar Broch Johnsen

Publication date: 6 November 2008

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.05.004

zbMATH Keywords

futurestype and effect systemsdistributed object-oriented systems

Mathematics Subject Classification ID

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

Uses Software

• Maude
• GC
• Multilisp
• Creol
• Featherweight Java
• ABCL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based memory management
• Creol: A type-safe object-oriented model for distributed concurrent systems
• A concurrent lambda calculus with futures
• Conditional rewriting logic as a unified model of concurrency
• A syntactic approach to type soundness
• Maude: specification and programming in rewriting logic
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
• Asynchronous and deterministic objects
• MULTILISP: a language for concurrent symbolic computation
• The semantics of future and an application
• Polymorphic type, region and effect inference
• Concurrent Programming in ML
• A Complete Guide to the Future
• Programming Languages and Systems
• A calculus for concurrent objects

This page was built for publication: Backwards type analysis of asynchronous method calls