ASP\(_{\text{fun}}\) : a typed functional active object calculus
From MaRDI portal
Publication:433340
DOI10.1016/J.SCICO.2010.12.008zbMath1242.68053OpenAlexW2094623555MaRDI QIDQ433340
Ludovic Henrio, Florian Kammüller, Bianca Lutz
Publication date: 13 July 2012
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2010.12.008
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- Behavioral interface description of an object-oriented language with futures and promises
- Creol: A type-safe object-oriented model for distributed concurrent systems
- A concurrent lambda calculus with futures
- \(\pi\)-calculus in (Co)inductive-type theory
- Isabelle/HOL. A proof assistant for higher-order logic
- Nominal logic, a first order theory of names and binding
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Engineering formal metatheory
- Asynchronous and deterministic objects
- Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
- MULTILISP: a language for concurrent symbolic computation
- The semantics of future and an application
- A foundation for actor computation
- A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis
- Compilation and equivalence of imperative objects
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
- A Mechanized Model of the Theory of Objects
- Theorem Proving in Higher Order Logics
- Formalising the π-Calculus Using Nominal Logic
This page was built for publication: ASP\(_{\text{fun}}\) : a typed functional active object calculus