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

zbMATH Keywords

distributiontheorem provingfuturesbindersobject calculustyping

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

Cites Work

• scientific article; zbMATH DE number 6721685 (Why is no real title available?)
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1860622 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• A Mechanized Model of the Theory of Objects
• A concurrent lambda calculus with futures
• A foundation for actor computation
• A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis
• Asynchronous and deterministic objects
• Behavioral interface description of an object-oriented language with futures and promises
• Compilation and equivalence of imperative objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Engineering formal metatheory
• Formalising the π-Calculus Using Nominal Logic
• Isabelle/HOL. A proof assistant for higher-order logic
• MULTILISP: a language for concurrent symbolic computation
• Nominal logic, a first order theory of names and binding
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
• The semantics of future and an application
• Theorem Proving in Higher Order Logics
• Types and programing languages
• \(\pi\)-calculus in (Co)inductive-type theory
• simpA: an agent-oriented approach for programming concurrent applications on top of Java

Cited In (3)

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

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)