Logical reasoning for disjoint permissions

DOI10.1007/978-3-319-89884-1_14zbMath1418.68059OpenAlexW2796692086MaRDI QIDQ2323987

Xuan-Bach Le, Aquinas Hobor

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_14

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers

This page was built for publication: Logical reasoning for disjoint permissions