Programming Languages as Mathematical Theories-Reference-Cited by-同舟云学术

Programming Languages as Mathematical Theories

Published: Issue: Volume: Page:1706-1722
ISSN:
Container-title:Computer Engineering
language:
Short-container-title:

Author:

Turner Raymond¹

Affiliation:

1. University of Essex, UK

Abstract

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.

Publisher

IGI Global

Reference16 articles.

1. Association of American Geographers. (2004). Guide to geography programs in North America. Washington, DC: Association of American Geographers.

2. Association of American Geographers. (2006). Guide to geography programs in North America. Washington, DC: Association of American Geographers.

3. Association of American Geographers. (2008). Guide to geography programs in the Americas. Washington, DC: Association of American Geographers.

4. Boehm, R. G. (2004). Plying our trade: A curriculum for applied geography. In B. E. Montz & G. A. Tobin (Eds.), Papers and Proceedings of the Applied Geography Conferences, 26, 1–11.

5. Boehm, R. G., & Behrens, J. (2008). The Alumni Card Directory: An effective recruiting tool. In Harrington, L., & Harrington, J. (Eds.), Papers and Proceedings of the Applied Geography Conferences, 31, 189–194.