Bunching for regions and locations

MaRDI QIDQ2851322zbMATH OpenFDO

Authors Matthew Collinson, David Pym

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001642

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Computer Science Logic
• Bunched polymorphism
• Stratified operational semantics for safety and correctness of the region calculus
• On bunched typing
• Syntactic type soundness for the region calculus

This page was built for publication: Bunching for regions and locations

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