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!
Abstract 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.
AbstractList 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.
Audience Academic
Author Astarte, Troy Kaighin
Author_xml – sequence: 1
  givenname: Troy Kaighin
  orcidid: 0000-0002-5582-4096
  surname: Astarte
  fullname: Astarte, Troy Kaighin
BookMark eNptUU1LAzEQDaKgVv-BB8Fz62SSbZJjKX4UCgrqOUx3kzWlu6nJ9uC_N7UiHmQOMzzevHkzc86O-9g7xq44TIQwcLt9D5uYY0kucwAJYOCInaEEMzao1fGf-pRd5rwGAOQSKi7P2GQe-9pthx1tQg59e_2cYpuo6_b1kvp2R627fnEd9UOo8wU78bTJ7vInj9jb_d3r_HG8fHpYzGfLcS00H8akyWnVOCVghUqhMp6gEQYVThvuseErXPlCMAhVxRG1I-LeT7GmqQQSI7Y46DaR1nabQkfp00YK9huIqbWUiqGNszVIJAIlprySkrSuDHiEMtRzpxwWrZuD1jbFj53Lg13HXeqLfStQSpDGVFBYkwOrpSIaeh-HRHWJxnWhLif3oeAzXQmNZR9RGuShoU4x5-T8r00Odv8Z-99nxBcDNoRL
Cites_doi 10.2307/1165535
10.1145/3641554.3701949
10.1353/tech.2014.0031
10.1145/234286
10.2307/2025464
10.2307/jj.8816153
10.1111/j.1748-0922.1976.tb00004.x
10.1002/9781119072218
10.2307/2025075
10.1017/CBO9780511816802
10.1201/b17764
10.1109/MAHC.2014.61
10.7208/chicago/9780226539133.001.0001
10.1080/09528130500283998
10.1007/BF00289519
10.22152/programming-journal.org/2017/1/14
10.1109/MAHC.2024.3450530
10.1145/3051528.3051536
10.1525/hsns.2021.51.3.379
10.1017/CBO9781139033916.018
10.1109/MAHC.1980.10009
10.1145/155360.155364
10.7551/mitpress/9780262525381.003.0006
10.1007/978-3-031-78251-0
10.7208/chicago/9780226470993.001.0001
10.1145/355588.365140
10.1353/tech.2007.0066
10.1007/3-540-08766-4_8
10.1017/CBO9780511816802.004
10.1007/978-3-030-59257-8
10.1145/3680409
10.1109/MAHC.2003.1203057
10.1093/acprof:oso/9780199217274.003.0013
10.1007/s11023-023-09632-2
10.1145/800025.808368
10.1109/MAHC.2014.49
10.1145/3386326
10.1177/10892680231224400
10.1145/3291279.3339414
10.1515/krt-2021-0041
10.1109/MAHC.2021.3133136
10.1145/366193.366201
10.1017/S0140525X99002149
10.1007/978-1-84882-555-0_8
10.1017/CBO9780511816802.014
10.1007/978-3-662-55565-1
10.1017/CBO9780511543296
10.5840/monist19998212
10.1145/355604.361591
10.1002/9780470757017
10.1007/BF02963406
10.5840/philtoday197721Supplement3
10.1145/2538862.2538945
10.1109/MAHC.2023.3266359
10.1007/s11229-024-04558-3
10.1145/154766.155365
10.1080/03057267.2024.2434797
10.2139/ssrn.2827639
10.1093/oso/9780198835646.001.0001
10.1109/MAHC.2010.4
10.1007/BF01386216
10.5334/joc.134
10.1093/019824035X.001.0001
10.1145/363921.363946
10.1016/0004-3702(77)90033-9
10.7551/mitpress/4529.001.0001
10.1007/978-3-319-97226-8
10.1093/comjnl/6.4.308
ContentType Journal Article
Copyright COPYRIGHT 2025 MDPI AG
2025 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: COPYRIGHT 2025 MDPI AG
– notice: 2025 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID AAYXX
CITATION
AABKS
ABSDQ
ABUWG
AFKRA
AZQEC
BENPR
CCPQU
DWQXO
PGAAH
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQQKQ
PQUKI
PRINS
DOA
DOI 10.3390/philosophies10040090
DatabaseName CrossRef
Philosophy Collection
Philosophy Database
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
ProQuest One
ProQuest Central
ProQuest One Religion & Philosophy
ProQuest Central Premium
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
ProQuest One Community College
ProQuest Central China
ProQuest One Religion & Philosophy
Philosophy Collection
ProQuest Central
ProQuest One Academic UKI Edition
ProQuest Central Korea
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Philosophy Database
DatabaseTitleList

CrossRef
Publicly Available Content Database
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
– sequence: 2
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Sciences (General)
Mathematics
Philosophy
Computer Science
EISSN 2409-9287
ExternalDocumentID oai_doaj_org_article_c042aa07361544a88590f20727f1e7e2
A853822793
10_3390_philosophies10040090
GeographicLocations United Kingdom
GeographicLocations_xml – name: United Kingdom
GroupedDBID AABKS
AADQD
AAFWJ
AAYXX
ABDBF
ABSDQ
ACUHS
ADBBV
AFFHD
AFKRA
AFPKN
AFZYC
ALMA_UNASSIGNED_HOLDINGS
BCNDV
BENPR
CCPQU
CITATION
GROUPED_DOAJ
IAO
ITC
MODMG
M~E
OK1
PGAAH
PHGZM
PHGZT
PIMPY
ABUWG
AZQEC
DWQXO
PKEHL
PQEST
PQQKQ
PQUKI
PRINS
ID FETCH-LOGICAL-c381t-a8ae87de730b277279fa0d392726d1f2d1b2bf7de920551228eaa1ff62ca640a3
IEDL.DBID DOA
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001557475100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2409-9287
IngestDate Mon Nov 10 04:35:08 EST 2025
Sat Nov 01 15:08:27 EDT 2025
Tue Nov 04 18:12:24 EST 2025
Sat Nov 29 07:11:16 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 4
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c381t-a8ae87de730b277279fa0d392726d1f2d1b2bf7de920551228eaa1ff62ca640a3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-5582-4096
OpenAccessLink https://doaj.org/article/c042aa07361544a88590f20727f1e7e2
PQID 3244049950
PQPubID 5046872
ParticipantIDs doaj_primary_oai_doaj_org_article_c042aa07361544a88590f20727f1e7e2
proquest_journals_3244049950
gale_infotracacademiconefile_A853822793
crossref_primary_10_3390_philosophies10040090
PublicationCentury 2000
PublicationDate 2025-08-01
PublicationDateYYYYMMDD 2025-08-01
PublicationDate_xml – month: 08
  year: 2025
  text: 2025-08-01
  day: 01
PublicationDecade 2020
PublicationPlace Basel
PublicationPlace_xml – name: Basel
PublicationTitle Philosophies (Basel)
PublicationYear 2025
Publisher MDPI AG
Publisher_xml – name: MDPI AG
References ref_93
ref_92
ref_90
ref_13
ref_12
ref_99
ref_10
ref_97
ref_96
(ref_59) 1980; 2
ref_95
Nofre (ref_11) 2023; 45
Borghi (ref_107) 2020; 3
ref_19
Benacerraf (ref_23) 1973; 70
ref_17
ref_16
Rapaport (ref_15) 2005; 17
Hewitt (ref_114) 1977; 8
Nofre (ref_6) 2014; 55
ref_24
(ref_83) 2014; 58
ref_22
ref_21
Friedman (ref_38) 2024; 203
ref_20
Nofre (ref_54) 2010; 32
Eglash (ref_118) 2007; 48
Alberts (ref_82) 2014; 36
ref_28
ref_27
(ref_39) 2003; 124
Simon (ref_116) 1962; 27
Bowen (ref_91) 2018; Volume 11174
ref_72
Clark (ref_29) 2024; 28
ref_70
ref_79
ref_78
ref_77
ref_76
Landin (ref_98) 1964; 6
Dijkstra (ref_49) 1971; 1
Backus (ref_81) 1963; 6
Vincent (ref_45) 1977; 21
ref_89
ref_88
ref_85
ref_84
Lakoff (ref_5) 1980; 77
ref_50
(ref_18) 2022; 36
Nofre (ref_105) 2025; 47
McCarthy (ref_67) 1962; Volume 62
Petricek (ref_26) 2017; 1
ref_58
ref_56
ref_53
ref_52
ref_51
Dijkstra (ref_71) 1970; 31
Alberts (ref_74) 2016; 106
Jones (ref_25) 2003; 25
ref_61
ref_60
ref_68
(ref_73) 2017; 4
Astarte (ref_4) 2023; 34
ref_66
ref_65
ref_64
ref_63
ref_62
Barsalou (ref_40) 1999; 22
Alberts (ref_57) 2014; 36
Burke (ref_48) 1941; 3
Lucas (ref_87) 1978; Volume 61
ref_117
Knuth (ref_86) 1964; 7
Parkinson (ref_109) 2025; 68
ref_36
ref_35
ref_34
ref_33
ref_32
ref_111
Kay (ref_115) 1993; 28
ref_31
ref_110
ref_30
ref_113
ref_112
Backus (ref_80) 1960; 2
Dijkstra (ref_75) 1972; 15
Gorn (ref_101) 1964; 7
ref_37
Reynolds (ref_94) 1993; 6
Rapaport (ref_14) 1999; 82
ref_104
ref_103
ref_106
ref_108
ref_47
ref_46
ref_44
ref_43
ref_100
ref_42
ref_41
ref_102
ref_1
ref_3
ref_2
Nofre (ref_55) 2021; 51
ref_9
ref_8
ref_7
Giacobazzi (ref_69) 2022; 44
References_xml – volume: 27
  start-page: 137
  year: 1962
  ident: ref_116
  article-title: Computer simulation of human thinking and problem solving
  publication-title: Monogr. Soc. Res. Child Dev.
  doi: 10.2307/1165535
– ident: ref_117
– ident: ref_9
– ident: ref_113
  doi: 10.1145/3641554.3701949
– volume: 55
  start-page: 40
  year: 2014
  ident: ref_6
  article-title: When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950–1960
  publication-title: Technol. Cult.
  doi: 10.1353/tech.2014.0031
– ident: ref_51
  doi: 10.1145/234286
– ident: ref_100
– ident: ref_68
– volume: 77
  start-page: 453
  year: 1980
  ident: ref_5
  article-title: Conceptual Metaphor in Everyday Language
  publication-title: J. Philos.
  doi: 10.2307/2025464
– ident: ref_88
– ident: ref_7
  doi: 10.2307/jj.8816153
– ident: ref_44
  doi: 10.1111/j.1748-0922.1976.tb00004.x
– ident: ref_1
– ident: ref_65
  doi: 10.1002/9781119072218
– volume: Volume 62
  start-page: 21
  year: 1962
  ident: ref_67
  article-title: Towards a Mathematical Science of Computation
  publication-title: Program Verification
– volume: 70
  start-page: 661
  year: 1973
  ident: ref_23
  article-title: Mathematical truth
  publication-title: J. Philos.
  doi: 10.2307/2025075
– ident: ref_77
– ident: ref_27
– ident: ref_33
  doi: 10.1017/CBO9780511816802
– volume: 31
  start-page: 7
  year: 1970
  ident: ref_71
  article-title: Minority Report
  publication-title: ALGOL Bull.
– ident: ref_62
– ident: ref_103
– ident: ref_35
  doi: 10.1201/b17764
– volume: 36
  start-page: 52
  year: 2014
  ident: ref_82
  article-title: Universality versus Locality: The Amsterdam Style of ALGOL Implementation
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2014.61
– ident: ref_32
  doi: 10.7208/chicago/9780226539133.001.0001
– volume: 17
  start-page: 385
  year: 2005
  ident: ref_15
  article-title: Implementation is semantic interpretation: Further thoughts
  publication-title: J. Exp. Theor. Artif. Intell.
  doi: 10.1080/09528130500283998
– volume: 1
  start-page: 115
  year: 1971
  ident: ref_49
  article-title: Hierarchical Ordering of Sequential Processes
  publication-title: Acta Inform.
  doi: 10.1007/BF00289519
– volume: 1
  start-page: 14-1
  year: 2017
  ident: ref_26
  article-title: Miscomputation in software: Learning to live with errors
  publication-title: Art. Sci. Eng. Program.
  doi: 10.22152/programming-journal.org/2017/1/14
– ident: ref_97
– volume: 47
  start-page: 22
  year: 2025
  ident: ref_105
  article-title: A Compelling Image: The Tower of Babel and the Proliferation of Programming Languages During the 1960s
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2024.3450530
– ident: ref_30
– ident: ref_3
– volume: 4
  start-page: 40
  year: 2017
  ident: ref_73
  article-title: Report on CWI Lectures in Honor of Adriaan van Wijngaarden
  publication-title: ACM SIGLOG News
  doi: 10.1145/3051528.3051536
– volume: 51
  start-page: 379
  year: 2021
  ident: ref_55
  article-title: The Politics of Early Programming Languages: IBM and the Algol Project
  publication-title: Hist. Stud. Nat. Sci.
  doi: 10.1525/hsns.2021.51.3.379
– volume: 106
  start-page: 6
  year: 2016
  ident: ref_74
  article-title: International Informatics—On the Occasion of Aad van Wijngaarden’s 100th Birthday
  publication-title: ERCIM News
– ident: ref_47
– ident: ref_42
  doi: 10.1017/CBO9781139033916.018
– volume: 2
  start-page: 7
  year: 1980
  ident: ref_59
  article-title: Programming the EDSAC: Early programming activity at the University of Cambridge
  publication-title: Ann. Hist. Comput.
  doi: 10.1109/MAHC.1980.10009
– volume: Volume 11174
  start-page: 176
  year: 2018
  ident: ref_91
  article-title: Challenges for semantic description: Comparing responses from the main approaches
  publication-title: Engineering Trustworthy Software Systems
– ident: ref_92
– volume: 28
  start-page: 69
  year: 1993
  ident: ref_115
  article-title: The Early History of Smalltalk
  publication-title: SIGPLAN Not.
  doi: 10.1145/155360.155364
– ident: ref_20
  doi: 10.7551/mitpress/9780262525381.003.0006
– ident: ref_95
  doi: 10.1145/234286
– ident: ref_50
– volume: 6
  start-page: 233
  year: 1993
  ident: ref_94
  article-title: The discoveries of continuations
  publication-title: Lisp Symb. Comput.
– ident: ref_106
  doi: 10.1007/978-3-031-78251-0
– ident: ref_89
– ident: ref_64
– ident: ref_28
  doi: 10.7208/chicago/9780226470993.001.0001
– volume: 58
  start-page: 2892
  year: 2014
  ident: ref_83
  article-title: On the Origin of Recursive Procedures
  publication-title: Comput. J.
– volume: 7
  start-page: 735
  year: 1964
  ident: ref_86
  article-title: Backus Normal Form vs. Backus Naur Form
  publication-title: Commun. ACM
  doi: 10.1145/355588.365140
– volume: 48
  start-page: 360
  year: 2007
  ident: ref_118
  article-title: Broken metaphor: The master-slave analogy in technical literature
  publication-title: Technol. Cult.
  doi: 10.1353/tech.2007.0066
– ident: ref_19
– ident: ref_22
– volume: Volume 61
  start-page: 1
  year: 1978
  ident: ref_87
  article-title: On the formalization of programming languages: Early history and main approaches
  publication-title: The Vienna Development Method: The Meta-Language
  doi: 10.1007/3-540-08766-4_8
– ident: ref_31
  doi: 10.1017/CBO9780511816802.004
– ident: ref_36
  doi: 10.1007/978-3-030-59257-8
– ident: ref_78
– volume: 68
  start-page: 68
  year: 2025
  ident: ref_109
  article-title: Improving CS Performance by Developing Spatial Skills
  publication-title: Commun. ACM
  doi: 10.1145/3680409
– volume: 25
  start-page: 26
  year: 2003
  ident: ref_25
  article-title: The Early Search for Tractable Ways of Reasoning about Programs
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2003.1203057
– ident: ref_41
  doi: 10.1093/acprof:oso/9780199217274.003.0013
– volume: 34
  start-page: 51
  year: 2023
  ident: ref_4
  article-title: From Monitors to Monitors: An Early History of Concurrency Primitives
  publication-title: Minds Mach.
  doi: 10.1007/s11023-023-09632-2
– ident: ref_84
– ident: ref_60
  doi: 10.1145/800025.808368
– ident: ref_90
– volume: 36
  start-page: 2
  year: 2014
  ident: ref_57
  article-title: Algol Culture and Programming Styles [Guest editor’s introduction]
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2014.49
– ident: ref_53
  doi: 10.1145/3386326
– volume: 28
  start-page: 166
  year: 2024
  ident: ref_29
  article-title: Embodied Imagination: Lakoff and Johnson’s Experientialist View of Conceptual Understanding
  publication-title: Rev. Gen. Psychol.
  doi: 10.1177/10892680231224400
– ident: ref_61
– ident: ref_104
– ident: ref_108
  doi: 10.1145/3291279.3339414
– ident: ref_58
– volume: 36
  start-page: 157
  year: 2022
  ident: ref_18
  article-title: Showing Mathematical Flies the Way Out of Foundational Bottles: The Later Wittgenstein as a Forerunner of Lakatos and the Philosophy of Mathematical Practice
  publication-title: KRITERION—J. Philos.
  doi: 10.1515/krt-2021-0041
– volume: 44
  start-page: 33
  year: 2022
  ident: ref_69
  article-title: History of Abstract Interpretation
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2021.3133136
– ident: ref_8
– ident: ref_52
– volume: 6
  start-page: 1
  year: 1963
  ident: ref_81
  article-title: Revised Report on the Algorithm Language ALGOL 60
  publication-title: Commun. ACM
  doi: 10.1145/366193.366201
– volume: 22
  start-page: 577
  year: 1999
  ident: ref_40
  article-title: Perceptual symbol systems
  publication-title: Behav. Brain Sci.
  doi: 10.1017/S0140525X99002149
– ident: ref_66
– ident: ref_10
  doi: 10.1007/978-1-84882-555-0_8
– ident: ref_110
  doi: 10.1017/CBO9780511816802.014
– ident: ref_72
– ident: ref_93
– ident: ref_17
  doi: 10.1007/978-3-662-55565-1
– ident: ref_76
– ident: ref_34
– ident: ref_37
  doi: 10.1017/CBO9780511543296
– volume: 3
  start-page: 421
  year: 1941
  ident: ref_48
  article-title: Four master tropes
  publication-title: Kenyon Rev.
– volume: 82
  start-page: 109
  year: 1999
  ident: ref_14
  article-title: Implementation is semantic interpretation
  publication-title: Monist
  doi: 10.5840/monist19998212
– volume: 15
  start-page: 859
  year: 1972
  ident: ref_75
  article-title: The Humble Programmer
  publication-title: Commun. ACM
  doi: 10.1145/355604.361591
– ident: ref_13
  doi: 10.1002/9780470757017
– volume: 124
  start-page: 223
  year: 2003
  ident: ref_39
  article-title: La genèse des concepts mathématiques: Entre sciences de la cognition et sciences de la culture
  publication-title: Rev. Synthèse
  doi: 10.1007/BF02963406
– ident: ref_102
– volume: 21
  start-page: 412
  year: 1977
  ident: ref_45
  article-title: Paul Ricoeur’s “Living Metaphor”
  publication-title: Philos. Today
  doi: 10.5840/philtoday197721Supplement3
– ident: ref_63
– ident: ref_112
  doi: 10.1145/2538862.2538945
– ident: ref_96
– ident: ref_79
– volume: 45
  start-page: 29
  year: 2023
  ident: ref_11
  article-title: “Content Is Meaningless, and Structure Is All-Important”: Defining the Nature of Computer Science in the Age of High Modernism, c. 1950–c. 1965
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2023.3266359
– volume: 203
  start-page: 149
  year: 2024
  ident: ref_38
  article-title: On metaphors of mathematics: Between Blumenberg’s nonconceptuality and Grothendieck’s waves
  publication-title: Synthese
  doi: 10.1007/s11229-024-04558-3
– ident: ref_70
  doi: 10.1145/154766.155365
– ident: ref_111
  doi: 10.1080/03057267.2024.2434797
– ident: ref_2
– ident: ref_46
– ident: ref_12
– ident: ref_85
  doi: 10.2139/ssrn.2827639
– ident: ref_16
  doi: 10.1093/oso/9780198835646.001.0001
– volume: 32
  start-page: 58
  year: 2010
  ident: ref_54
  article-title: Unraveling Algol: US, Europe, and the Creation of a Programming Language
  publication-title: IEEE Ann. Hist. Comput.
  doi: 10.1109/MAHC.2010.4
– volume: 2
  start-page: 106
  year: 1960
  ident: ref_80
  article-title: Report on the algorithmic language ALGOL 60
  publication-title: Numer. Math.
  doi: 10.1007/BF01386216
– volume: 3
  start-page: 42
  year: 2020
  ident: ref_107
  article-title: A Future of Words: Language and the Challenge of Abstract Concepts
  publication-title: J. Cogn.
  doi: 10.5334/joc.134
– ident: ref_21
  doi: 10.1093/019824035X.001.0001
– volume: 7
  start-page: 133
  year: 1964
  ident: ref_101
  article-title: Summary Remarks (to a Working Conference on Mechanical Language Structures)
  publication-title: Commun. ACM
  doi: 10.1145/363921.363946
– volume: 8
  start-page: 323
  year: 1977
  ident: ref_114
  article-title: Viewing control structures as patterns of passing messages
  publication-title: Artif. Intell.
  doi: 10.1016/0004-3702(77)90033-9
– ident: ref_24
  doi: 10.7551/mitpress/4529.001.0001
– ident: ref_43
– ident: ref_56
  doi: 10.1007/978-3-319-97226-8
– volume: 6
  start-page: 308
  year: 1964
  ident: ref_98
  article-title: The mechanical evaluation of expressions
  publication-title: Comput. J.
  doi: 10.1093/comjnl/6.4.308
– ident: ref_99
SSID ssj0002140514
Score 2.2992716
Snippet The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has...
SourceID doaj
proquest
gale
crossref
SourceType Open Website
Aggregation Database
Index Database
StartPage 90
SubjectTerms Analysis
Case studies
Computer science
Conceptualism
History
machines
Mathematicians
Mathematics
Metaphor
Ontology
Philosophy
Programming languages
Semantics
van Wijngaarden
SummonAdditionalLinks – databaseName: Publicly Available Content Database
  dbid: PIMPY
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1Lb9QwEB6VLYf20MdCxbalygEJOJh1nJdzqkrVqki0igRI5WRNHLvqgd3tZkHi3zOTOAsH4NRblDhWrPGMv5nMfAPwyjlbJrJB4bUsRJp6J-om9SLLHIFXZ3Uc-67ZRHFzo29vyyqUR7chrXKwiZ2h7tmeOW-bjPC0mVuOmE8JBqQM1jN5ungQ3EOK_7WGhhpPYJOJt-QINqsP19XXdcxFkTdBAKGvoEvI258uhn4B5JbG3YZm4_zHCdUR-f_LXHdn0OXu4379HuwELBqd9ZtnHzbcbAy7Q5-HKKj9GLav19yu7Ri2qmE1P8ewHwa10ZtAYP32Gbw772shuV6TQxFR1SeBfePrjyFAGn2iGWc85XP4cnnx-fxKhL4MwtL5vhKo0emicWQcakXovCg9yoaAVqHyJvaqiWtVexpQKkmATCntEGPvc2UxTyUmBzCazWfuBUQW67ykN3xcujTXFr3HTJVKOUxSLHACYpCFWfT0G4bcFpad-ZvsJvCeBbYey-TZ3Y358s4EXTSWDBUi2bacqYhQ66yUXklaiI9d4dQEXrO4Dav4aokWQ6UCfTKTZZkzgjiamReTCRwP4jZB91vzW7qH_398BFuKuwl36YTHMFotv7uX8NT-WN23y5OweX8BdtoBUA
  priority: 102
  providerName: ProQuest
Title Conceptualising Programming Language Semantics
URI https://www.proquest.com/docview/3244049950
https://doaj.org/article/c042aa07361544a88590f20727f1e7e2
Volume 10
WOSCitedRecordID wos001557475100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2409-9287
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0002140514
  issn: 2409-9287
  databaseCode: DOA
  dateStart: 20160101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2409-9287
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0002140514
  issn: 2409-9287
  databaseCode: M~E
  dateStart: 20160101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 2409-9287
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0002140514
  issn: 2409-9287
  databaseCode: BENPR
  dateStart: 20210101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Publicly Available Content Database
  customDbUrl:
  eissn: 2409-9287
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0002140514
  issn: 2409-9287
  databaseCode: PIMPY
  dateStart: 20210101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/publiccontent
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEB6kevCitirWF3sQ1MPabPaVHKu0KGhZfICewmw2AQ9WaatHf7uT3VR6ULx4WULIQphXvgmZbwCOjNEyZhWGVrA8TBJrwrJKbJimhsCr0SKKbN1sIh-NxOOjLBZafbk3YQ09cCO4niarQiRDzBxvDAqRSmY5o2PXRiY3dfRluVxIplwM5pQ3EBRoauViyut7b_POAJSARrXpujC8cBbVlP2_Beb6tBluwJqHiUG_2V4blsy4A-vzFgyB98gOtP1oGpx4AunTTTi7aGoRXb2kuwoIiuYR1osbX_sLyuDOvJBUn_V0Cx6Gg_uLy9D3RQg1na-zEAUakVeGnLPkhI5zaZFVBHRynlWR5VVU8tLSAskZASLOhUGMrM24xixhGG9Da_w6NjsQaCwzSX_YSJokExqtxZRLzg3GCebYhXAuIfXW0F8oShucRNVPEu3CuRPj91pHXl1PkEqVV6n6S6VdOHZKUM7FZhPU6CsFaMuOrEr1CWIIx3wYd2F_riflfW-qCCImLpFL2e5_7GYPVrnr-Vs_-tuH1mzybg5gRX_MnqeTQ1g-H4yK28Pa_Oh78zmgueLqpnj6AiEk4HY
linkProvider Directory of Open Access Journals
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3Pb9MwFH4aHRLjwFgBURiQAwg4hDlOmjgHhMZgWrW2isSQtpN5cexpB9rSFND-Kf5G3kucwgG47cAtShwrtj9_70f83gN4aq3JY1Fh6JTIwiRxNiyrxIXDoSXl1RoVRa4pNpFNp-r0NC824EcXC8PHKjtObIi6mhv2ke-R4E9YPR-KN4svIVeN4r-rXQmNFhbH9vI7mWz169E7Wt9nUh6-Pzk4Cn1VgdCQdFqFqNCqrLIE7VKSbpnlDkVFakIm0ypysopKWTpqkEtB6oSUyiJGzqXSYJoIjKnfa7CZENhFDzaL0aQ4W3t1JNkrpIK0MXpxnIu9RVeRgAzfqNkyTP-_ycCmVMDfBEIj5Q63_7f5uQ23vD4d7LcbYAc27KwP212tisBTVx9uTtb5aes-bBXdfF32Ycc3qoMXPgn3yzvw6qCN5-SYU3anBEV7kO0zX4-9kzf4QD3OuMu78PFKRnkPerP5zN6HwGCZ5vSGi3KbpMqgcziUuZQW4wQzHEDYrbZetClENJlejA79J3QM4C1DYt2WE4A3N-bLc-35RBsiW0Ti55TTKaFSw1w4KWggLrKZlQN4zoDSTFOrJRr00Rb0yZzwS--TmqY4e2Q8gN0OUNrzV61_oenBvx8_gRtHJ5OxHo-mxw9hS3J15OZ45C70Vsuv9hFcN99WF_Xysd8qAXy6avT9BLpsUuQ
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VLULlQOkCYqFADiDgYDZxXs4Bob5WVC2riIfUmztxbMSB3WWzgPrX-HXMJM7CAbj1wC1KHCu2P898M_HMADy21hRxWKNwKsxFkjgrqjpxIk0tkVdrVBS5tthEPp2qs7Oi3IAffSwMH6vsZWIrqOu5YR_5mBR_wvQ8DcfOH4soDyevFl8EV5DiP619OY0OIif24juZb83L40Na6ydSTo7eH7wWvsKAMKSpVgIVWpXXlmBeSeKZeeEwrIky5DKrIyfrqJKVowaFDIlaSKksYuRcJg1mSYgx9XsFNvOYjJ4BbO4fTcu3aw-PJNuF6EgXrxfHRThe9NUJyAiO2u3DquA3fdiWDfibcmg13mT7f56rm3DD8-xgr9sYO7BhZ0PY7mtYBF6kDeH6m3Xe2mYIW2U_dxdD2PGNmuCZT879_Ba8OOjiPDkWld0sQdkdcPvM16fe-Ru8ox5n3OVt-HApo7wDg9l8Zu9CYLDKCnrDRYVNMmXQOUxlIaXFOMEcRyD6ldeLLrWIJpOMkaL_hJQR7DM81m05MXh7Y778qL2c0YaEMCLJ7YzTLKFSaRE6GdJAXGRzK0fwlMGlWXytlmjQR2HQJ3MiML1H9E1xVsl4BLs9uLSXa43-hax7_378CK4R5PTp8fTkPmxJLprcnprchcFq-dU-gKvm2-pTs3zod00A55cNvp93GVt-
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Conceptualising+Programming+Language+Semantics&rft.jtitle=Philosophies+%28Basel%29&rft.au=Troy+Kaighin+Astarte&rft.date=2025-08-01&rft.pub=MDPI+AG&rft.eissn=2409-9287&rft.volume=10&rft.issue=4&rft.spage=90&rft_id=info:doi/10.3390%2Fphilosophies10040090&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_c042aa07361544a88590f20727f1e7e2
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2409-9287&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2409-9287&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2409-9287&client=summon