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

Authors:
Stephen D Brookes
Affiliations:
-
Venue:
Proceedings of the international conference on Mathematical foundations of programming semantics
Year:
1986

Citing 0
Cited 3

A calculus for assignments in higher-order languages

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Theory of Pointers for the UTP

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Pointers and records in the unifying theories of programming

UTP'06 Proceedings of the First international conference on Unifying Theories of Programming

Quantified Score

Hi-index	0.02

Visualization

Abstract