This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
20.8 Bibliographical Notes
20.8.1 Theory of Computation
J. McCarthy: Recursive Functions of Symbolic Expressions and Their Computation by Machines, Part I. Communications of the ACM 3,4 (1960) pp 184–195
J. McCarthy: Towards a Mathematical Science of Computation. In: IFIP World Congress Proceedings, ed by C. Popplewell (1962) pp 21–28
J. McCarthy: A Basis for a Mathematical Theory of Computation. In: Computer Programming and Formal Systems (North-Holland, Amsterdam, 1963)
J. McCarthy: A Formal Description of a Subset of ALGOL. In: [483] (1966)
20.8.2 A Type Theory for the λ-Calculus
D. Scott: Mathematical Concepts in Programming Language Semantics. In: Proc. AFIPS, Spring Joint Computer Conference, 40 (1972) pp 225–234
D. Scott, C. Strachey: Towards a Mathematical Semantics for Computer Languages. In: Computers and Automata, vol 21 of Microwave Research Inst. Symposia (1971) pp 19–46
20.8.3 Source Program Transformation Works
F.L. Bauer, M. Broy, editors. Program Construction, International Summer School, July 26–August 6, 1978, Marktoberdorf, Germany, volume 69 of Lecture Notes in Computer Science. Springer, 1979.
R.M. Burstall, J. Darlington: A Transformation System for Developing Recursive Programs. Journal of ACM 24,1 (1977) pp 44–67
J. Darlington: A Synthesis of Several Sorting Algorithms. Acta Informatica 11 (1978) pp 1–30
J. Darlington, R.M. Burstall: A System Which Automatically Improves Programs. Acta Informatica 6 (1976) pp 41–60
20.8.4 Laws of Imperative Programming
C.A.R. Hoare, et al.: Laws of Programming. Communications of the ACM 30,8 (1987) pp 672–686, 770
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Imperative Specification Programming. In: Software Engineering 1. Texts in Theoretical Computer Science an EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-31288-9_20
Download citation
DOI: https://doi.org/10.1007/3-540-31288-9_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21149-5
Online ISBN: 978-3-540-31288-8
eBook Packages: Computer ScienceComputer Science (R0)