Browse
Search
Explore more content
file.
pdf
(1.97 MB)
File info
This item contains files with download restrictions
Fullscreen
A fully abstract semantics and a proof system for an ALGOL-like language with sharing
Cite
Download
(1.97 MB)
Share
Embed
journal contribution
posted on 2014-12-01, 00:00
authored 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
2014-12-01
Usage metrics
Categories
Information and Computing Sciences not elsewhere classified
Keywords
ALGOL (Computer program language)
Programming (Electronic computers)
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC