A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing.
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/Brookes85 ↗
Browse the full MFPS paper archive.
Browse the full MFPS paper archive.