10.1184/R1/6587444.v1
S. D(Stephen D.) Brookes
S. D
Brookes
A fully abstract semantics and a proof system for an ALGOL-like language with sharing
Carnegie Mellon University
2014
ALGOL (Computer program language)
Programming (Electronic computers)
2014-12-01 00:00:00
Journal contribution
https://kilthub.cmu.edu/articles/journal_contribution/A_fully_abstract_semantics_and_a_proof_system_for_an_ALGOL-like_language_with_sharing/6587444
Computer Science Department