Conceptualising Programming Language Semantics

The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective. In this paper, I draw on the philosophical and cognitive theories of metaphor and use the early work...

Full description

Saved in:
Bibliographic Details
Published in:Philosophies (Basel) Vol. 10; no. 4; p. 90
Main Author: Astarte, Troy Kaighin
Format: Journal Article
Language:English
Published: Basel MDPI AG 01.08.2025
Subjects:
Analysis
Case studies
Computer science
Conceptualism
History
machines
Mathematicians
Mathematics
Metaphor
Ontology
Philosophy
Programming languages
Semantics
van Wijngaarden
United Kingdom
ISSN:2409-9287, 2409-9287
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective. In this paper, I draw on the philosophical and cognitive theories of metaphor and use the early work of Adriaan van Wijngaarden as a historical case study to explore the conceptual and discursive surroundings of semantics. I investigate the relationships between the texts of semantics, the abstract entities they denote, and the metaphors, analogies, and illustrative language used to accompany or explain the same. This serves to further understanding of the historical developments of work in this area, the nature of programming languages and their semantics, and the importance of the communicative methods used in dissemination and education of computer science.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2409-9287
2409-9287
DOI:10.3390/philosophies10040090