Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ASHCROFT E.A., WADGE W.W. (1977) Lucid, A Non-Procedural Language with Iteration CACM, Aug. 1977
CUNIN P.Y., GRIFFITHS M., SCHOLL P.C. (1978) Aspects Fondamentaux du Langage MEFIA Proceedings, Journées AFCET-EDF, April 1978
DAHL O.J., MYRHAUG B., NYGAARD K. (1968) The SIMULA 67 Common Base Language Norwegian Computer Centre, Oslo, May 1968
DIJKSTRA E.W. (1978) This volume
GRIFFITHS M. (1973) Relationship between Language Definition and Implementation in Software Engineering, ed. F.L. Bauer, LNCS, 30, Springer Verlag, 1973
GRIFFITHS M. (1976) Verifiers and Filters in Software Portability, P.J. Brown (ed.), Cambridge University Press, 1976
GRIFFITHS M. (1977) Language Support for Program Construction CREST Advanced Course, Toulouse, Dec. 1977
HORNING J.J. (1978) This volume
LAMPSON B.W., HORNING J.J., LONDON R.L., MITCHELL J.G., POPEK G.J. (1977) Report on the Programming Language EUCLID SIGPLAN Notices, 12, 2, Feb. 1977
LISKOV B., SNYDER A. (1977) Abstraction Mechanisms in CLU CACM, Aug. 1977
NAUR P. (1975) Programming Languages, Natural Languages and Mathematics CACM, 18, 3
SCHOLL P.C. (1978) Le traitement séquentiel: une classe de problèmes et une méthode de construction de programmes — Congrès AFCET, Nov. 1978
U.S. Department of Defense (1977) Ironman Specifications, 1977
WULF W.A., LONDON R.L., SHAW M. (1976) An Introduction to the Construction and Verification of Alphard Programs IEEE Trans. Soft. Eng. 4, Dec. 1976
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Griffiths, M. (1979). Programming methodology and language implications. In: Bauer, F.L., et al. Program Construction. Lecture Notes in Computer Science, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014681
Download citation
DOI: https://doi.org/10.1007/BFb0014681
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09251-3
Online ISBN: 978-3-540-35312-6
eBook Packages: Springer Book Archive