Backwards type analysis of asynchronous method calls

DOI10.1016/J.JLAP.2008.05.004MaRDI QIDQ953530zbMATH OpenOpenAlexFDO

Authors Einar Broch Johnsen, Ingrid Chieh Yu

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)

Recommendations

• Interprocedural analysis of asynchronous programs
• Secure implementation of asynchronous method calls and futures
• A run-time environment for concurrent objects with asynchronous method calls
• A sound and complete reasoning system for asynchronous communication with shared futures
• Publication:4813121

Cites work

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

Describes a project that uses

Uses Software

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

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

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