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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Philosophies (Basel) Ročník 10; číslo 4; s. 90
Hlavný autor: Astarte, Troy Kaighin
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Basel MDPI AG 01.08.2025
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2409-9287
2409-9287
DOI:10.3390/philosophies10040090