Programming methodology and language implications

  • Michael Griffiths
IV. Special Language Considerations And Formal Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)


Programming Language Choice Statement Array Reference Language Definition Program Text 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. ASHCROFT E.A., WADGE W.W. (1977) Lucid, A Non-Procedural Language with Iteration CACM, Aug. 1977Google Scholar
  2. CUNIN P.Y., GRIFFITHS M., SCHOLL P.C. (1978) Aspects Fondamentaux du Langage MEFIA Proceedings, Journées AFCET-EDF, April 1978Google Scholar
  3. DAHL O.J., MYRHAUG B., NYGAARD K. (1968) The SIMULA 67 Common Base Language Norwegian Computer Centre, Oslo, May 1968Google Scholar
  4. DIJKSTRA E.W. (1978) This volumeGoogle Scholar
  5. GRIFFITHS M. (1973) Relationship between Language Definition and Implementation in Software Engineering, ed. F.L. Bauer, LNCS, 30, Springer Verlag, 1973Google Scholar
  6. GRIFFITHS M. (1976) Verifiers and Filters in Software Portability, P.J. Brown (ed.), Cambridge University Press, 1976Google Scholar
  7. GRIFFITHS M. (1977) Language Support for Program Construction CREST Advanced Course, Toulouse, Dec. 1977Google Scholar
  8. HORNING J.J. (1978) This volumeGoogle Scholar
  9. 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. 1977Google Scholar
  10. LISKOV B., SNYDER A. (1977) Abstraction Mechanisms in CLU CACM, Aug. 1977Google Scholar
  11. NAUR P. (1975) Programming Languages, Natural Languages and Mathematics CACM, 18, 3Google Scholar
  12. 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. 1978Google Scholar
  13. U.S. Department of Defense (1977) Ironman Specifications, 1977Google Scholar
  14. 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. 1976Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Michael Griffiths
    • 1
  1. 1.Centre de Recherche en Informatique de NancyChâteau du MontetVandoeuvre les NancyFrance

Personalised recommendations