Proving concurrent constraint programming correct, revisited
type: Item
instance of: scholarly article
title: Proving concurrent constraint programming correct, revisited
zbMATH Open document ID: 1342.68238
author: Carlos Olarte
author: Elaine Pimentel
publication date: 2016-08-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6608310
zbMATH Keywords: linear logic
zbMATH Keywords: concurrent constraint programming
zbMATH Keywords: proof systems
zbMATH Keywords: focusing
zbMATH Keywords: fixed points
describes a project that uses: Abella
MaRDI profile type: Publication
full work available at URL: j.entcs.2015.04.011
OpenAlex ID: W2085903839
Wikidata QID: Q57850737
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Least and Greatest Fixed Points in Linear Logic
cites work: Q4282602
cites work: Linear concurrent constraint programming: Operational and phase semantics
cites work: The Abella Interactive Theorem Prover (System Description)
cites work: A two-level logic approach to reasoning about computations
cites work: Linear logic
cites work: Observational equivalences for linear logic concurrent constraint languages
cites work: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
cites work: Focusing and polarization in linear, intuitionistic, and classical logics
cites work: From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
cites work: Q3150207
cites work: A framework for proof systems
cites work: A General Proof System for Modalities in Concurrent Constraint Programming
cites work: Dynamic spaces in concurrent constraint programming
cites work: Models and emerging trends of concurrent constraint programming
cites work: Q3959414
cites work: A foundation for higher-order concurrent constraint programming
DOI: 10.1016/J.ENTCS.2015.04.011
description: scientific article; zbMATH DE number 6608310