Preview
Unable to display preview. Download preview PDF.
8. References
R. E. Milne and C. Strachey, A Theory of Programming Language Semantics. Chapman and Hall (Late 1976).
C. Strachey and C. Wadsworth, Continuations: A mathematical semantics for handling full jumps. Tech. Monog. PRG-11 Prog.Res.Group. Oxford 1974.
C. A. R. Hoare, Proof of a structured program: "The Sieve of Erosthenes". Computer Journal 15 4 November 1972.
J. Darlington, A Semantic approach to automatic program improvement. Exp.Prog.Reps. 27 School of A.I. Edinburgh 1972.
B. Liskov and S. Zilles, Programming with Abstract Data Types. SIGPLAN Notice 9:4 1974.
M. D. Harrison, D.Phil. Thesis in preparation. Late 1976 Oxford.
D. Scott, Data Types as Lattices, Theoretical Computer Science, 1976.
J. Reynolds, On the Relation between direct and continuation semantics. Lecture Notes in Computer Science, vol. 14, Springer-Verlag (1974) pp. 141–156.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harrison, M.D. (1976). Relations between programs with different storage requirements. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_194
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_194
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive