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ženo v:
Podrobná bibliografie
Vydáno v:Philosophies (Basel) Ročník 10; číslo 4; s. 90
Hlavní autor: Astarte, Troy Kaighin
Médium: Journal Article
Jazyk:angličtina
Vydáno: Basel MDPI AG 01.08.2025
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2409-9287
2409-9287
DOI:10.3390/philosophies10040090