Bunched logic programming (extended abstract)

DOI10.1007/3-540-45744-5_21MaRDI QIDQ4539612zbMATH OpenFDO

Authors Pablo A. Armelín, David Pym

Publication date 10 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830289

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231702
• The Logic of Bunched Implications
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Logic programming in a fragment of intuitionistic linear logic
• The semantics of BI and resource tableaux

Cited in

(10)

• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• A neural implementation of multi-adjoint logic programming
• Logical approximation for program analysis
• Focused proof-search in the logic of bunched implications
• Towards resource handling in logic programming: The PPL framework and fits semantics
• Temporal BI: proof system, semantics and translations
• scientific article; zbMATH DE number 1231702 (Why is no real title available?)
• Towards resource handling in logic programming: The PPL framework and its semantics
• An algebraic glimpse at bunched implications and separation logic
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics

This page was built for publication: Bunched logic programming (extended abstract)

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