Backwards type analysis of asynchronous method calls
From MaRDI portal
Publication:953530
DOI10.1016/J.JLAP.2008.05.004zbMATH Open1151.68006OpenAlexW2118599976MaRDI QIDQ953530FDOQ953530
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
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
- scientific article; zbMATH DE number 2090648
Cites Work
- Maude: specification and programming in rewriting logic
- Title not available (Why is that?)
- Polymorphic type, region and effect inference
- Conditional rewriting logic as a unified model of concurrency
- A syntactic approach to type soundness
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Asynchronous and deterministic objects
- MULTILISP: a language for concurrent symbolic computation
- The semantics of future and an application
- A concurrent lambda calculus with futures
- A Complete Guide to the Future
- Title not available (Why is that?)
- Region-based memory management
- Title not available (Why is that?)
- A calculus for concurrent objects
- Concurrent Programming in ML
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
- Programming Languages and Systems
Uses Software
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)
