ASP_fun : a typed functional active object calculus

DOI10.1016/J.SCICO.2010.12.008zbMATH Open1242.68053OpenAlexW2094623555MaRDI QIDQ433340FDOQ433340

Authors: 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

Recommendations

• scientific article; zbMATH DE number 6721685
• Asynchronous sequential processes
• scientific article; zbMATH DE number 2161893
• A Mechanized Model of the Theory of Objects
• A Complete Guide to the Future

zbMATH Keywords

distributiontheorem provingfuturesbindersobject calculustyping

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• simpA: an agent-oriented approach for programming concurrent applications on top of Java
• Theorem Proving in Higher Order Logics
• Isabelle/HOL. A proof assistant for higher-order logic
• Nominal logic, a first order theory of names and binding
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Types and programing languages
• Title not available (Why is that?)
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Engineering formal metatheory
• \(\pi\)-calculus in (Co)inductive-type theory
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
• Title not available (Why is that?)
• Asynchronous and deterministic objects
• 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
• Title not available (Why is that?)
• 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
• Formalising the π-Calculus Using Nominal Logic
• Behavioral interface description of an object-oriented language with futures and promises
• A concurrent lambda calculus with futures

Cited In (3)

• ASP with non-herbrand partial functions: a language and system for practical use
• Asynchronous sequential processes
• Title not available (Why is that?)

Uses Software

• simpA
• Isabelle/HOL
• eSkel
• ProActive
• Multilisp
• Creol
• AmbientTalk

This page was built for publication: ASP\(_{\text{fun}}\) : a typed functional active object calculus

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