Abstract
The paper discusses the nature of the subject, and summarizes its origins. The main approaches and their interrelationships are discussed. The author's view on the long and short range objectives is presented.
Chapter PDF
Similar content being viewed by others
Keywords
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.
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lucas, P. (1978). On the formalization of programming languages: Early history and main approaches. In: Bjørner, D., Jones, C.B. (eds) The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, vol 61. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08766-4_8
Download citation
DOI: https://doi.org/10.1007/3-540-08766-4_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08766-3
Online ISBN: 978-3-540-35836-7
eBook Packages: Springer Book Archive