Proving concurrent constraint programming correct, revisited

DOI10.1016/J.ENTCS.2015.04.011MaRDI QIDQ530860zbMATH OpenOpenAlexWikidataFDO

Authors Carlos Olarte, Elaine Pimentel

Publication date 1 August 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2015.04.011

zbMATH Keywords

concurrent constraint programmingfixed pointsfocusinglinear logicproof systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On concurrent behaviors and focusing in linear logic
• scientific article; zbMATH DE number 794260
• Linear concurrent constraint programming: Operational and phase semantics
• scientific article; zbMATH DE number 1113818
• scientific article; zbMATH DE number 2087421

Cites work

• A foundation for higher-order concurrent constraint programming
• A framework for proof systems
• A general proof system for modalities in concurrent constraint programming
• A two-level logic approach to reasoning about computations
• Dynamic spaces in concurrent constraint programming
• Focusing and polarization in linear, intuitionistic, and classical logics
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• Linear concurrent constraint programming: Operational and phase semantics
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Models and emerging trends of concurrent constraint programming
• Observational equivalences for linear logic concurrent constraint languages
• The Abella Interactive Theorem Prover (System Description)

Cited in

(6)

• On concurrent behaviors and focusing in linear logic
• On subexponentials, focusing and modalities in concurrent systems
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• scientific article; zbMATH DE number 140005 (Why is no real title available?)
• scientific article; zbMATH DE number 794260 (Why is no real title available?)
• scientific article; zbMATH DE number 7526274 (Why is no real title available?)

Describes a project that uses

Uses Software

• Abella

This page was built for publication: Proving concurrent constraint programming correct, revisited

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