file.pdf (1.97 MB)
0/0

A fully abstract semantics and a proof system for an ALGOL-like language with sharing

Download (1.97 MB)
journal contribution
posted on 01.12.2014 by S. D(Stephen D.) Brookes
Computer Science Department

History

Publisher Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/s10514-014-9414-z

Date

01/12/2014

Exports

Exports