Abstract
A programming language is an artificial formalism in which algorithms can be expressed. For all its artificiality, though, this formalism remains a language. Its study can make good use of the many concepts and tools developed in the last century in linguistics (which studies both natural and artificial languages). Without going into great detail, this chapter poses the problem of what it means to “give” (define) a programming language and which tools can be used in this undertaking.
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
C.W. Morris, Foundations of the theory of signs, in Writings on the Theory of Signs (Mouton, The Hague, 1938), pp. 17–74
J. Gosling, B. Joy, G. Steele, G. Bracha, The Java Language Specification, 3/E (Addison Wesley, 2005). The last specification available at the time of printing is that of Java SE 19, https://www.docs.oracle.com/javase/specs/. Accessed 14 Feb. 2023
A.V. Aho, M.S. Lam, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques, and Tools, 2nd ed. (Pearson Education, 2006)
G. Winskel, The Formal Semantics of Programming Languages (MIT Press, 1993)
G.D. Plotkin, A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981. Repr. J. Log. Alg. Program. 60–61, 17–139 (2004)
J.E. Hopcroft, R. Motwani, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3rd ed. (Pearson, 2006)
A.W. Appel, Modern Compiler Implementation in Java, 2nd ed. (Cambridge University Press, 2002). This text exists also for C and ML
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Gabbrielli, M., Martini, S. (2023). Describing a Programming Language. In: Programming Languages: Principles and Paradigms. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-34144-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-34144-1_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-34143-4
Online ISBN: 978-3-031-34144-1
eBook Packages: Computer ScienceComputer Science (R0)