Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Programming Languages as Mathematical Theories

Programming Languages as Mathematical Theories
View Sample PDF
Author(s): Raymond Turner (University of Essex, UK)
Copyright: 2012
Pages: 17
Source title: Computer Engineering: Concepts, Methodologies, Tools and Applications
Source Author(s)/Editor(s): Information Resources Management Association (USA)
DOI: 10.4018/978-1-61350-456-7.ch706


View Programming Languages as Mathematical Theories on the publisher's website for pricing and purchasing information.


That computer science is somehow a mathematical activity was a view held by many of the pioneers of the subject, especially those who were concerned with its foundations. At face value it might mean that the actual activity of programming is a mathematical one. Indeed, at least in some form, this has been held. But here we explore a different gloss on it. We explore the claim that programming languages are (semantically) mathematical theories. This will force us to discuss the normative nature of semantics, the nature of mathematical theories, the role of theoretical computer science and the relationship between semantic theory and language design.

Related Content

Sangeetha V., Evangeline D., Sinthuja M.. © 2022. 16 pages.
Bhimavarapu Usharani. © 2022. 10 pages.
Rajalaxmi Prabhu B., Seema S.. © 2022. 24 pages.
Meeradevi, Monica R. Mundada, Shilpa M.. © 2022. 27 pages.
Sowmya B. J., Pradeep Kumar D., Hanumantharaju R., Gautam Mundada, Anita Kanavalli, Shreenath K. N.. © 2022. 21 pages.
Seema S., Sowmya B. J., Chandrika P., Kumutha D., Nikitha Krishna. © 2022. 20 pages.
Bhimavarapu Usharani. © 2022. 13 pages.
Body Bottom