On the public citation graph
Language design methods based on semantic principles
0 signed · 106 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380060103openalex-snapshot
Postlude to a PASCAL‐compiler bootstrap on a decsystem‐10
inferredcites →https://doi.org/10.1002/spe.4380060110openalex-snapshot
A pascal compiler for PDP 11 minicomputers
inferredcites →https://doi.org/10.1007/3-540-06859-7_133openalex-snapshot
A control statement for natural top-down structured programming
inferredcites →https://doi.org/10.1007/978-3-540-37500-5openalex-snapshot
PASCAL User Manual and Report
inferredcites →https://doi.org/10.1007/978-3-642-59412-0_9openalex-snapshot
The Programming Language Pascal
inferredcites →https://doi.org/10.1007/978-3-662-09507-2_2openalex-snapshot
On the Design of Programming Languages
inferredcites →https://doi.org/10.1007/978-3-662-09507-2_3openalex-snapshot
Hints on Programming Language Design
inferredcites →https://doi.org/10.1007/978-3-662-39504-2openalex-snapshot
Report of Algorithmic Language ALGOL 68
inferredcites →https://doi.org/10.1007/bf00288652openalex-snapshot
Critical comments on the programming language Pascal
inferredcites →https://doi.org/10.1007/bf00288728openalex-snapshot
More comments on the programming language Pascal
inferredcites →https://doi.org/10.1007/bf00289504openalex-snapshot
An axiomatic definition of the programming language PASCAL
inferredcites →https://doi.org/10.1007/bf02163002openalex-snapshot
Report on the Algorithmic Language ALGOL 68
inferredcites →https://doi.org/10.1016/0020-0190(75)90032-0openalex-snapshot
Universal types in concurrent Pascal
inferredcites →https://doi.org/10.1016/b978-1-4831-9779-1.50019-7openalex-snapshot
Report on the Algorithmic Language ALGOL 60
inferredcites →https://doi.org/10.1016/s0049-237x(08)72018-4openalex-snapshot
A Basis for a Mathematical Theory of Computation )
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7102-2openalex-snapshot
Computer Programming and Formal Systems
inferredcites →https://doi.org/10.1016/s0049-237x(09)70099-0openalex-snapshot
A Basis for a Mathematical Theory of Computation
inferredcites →https://doi.org/10.1049/ep.1973.0381openalex-snapshot
Computer programming as an engineering discipline
inferredcites →https://doi.org/10.1093/comjnl/6.4.308openalex-snapshot
The Mechanical Evaluation of Expressions
inferredcites →https://doi.org/10.1109/tse.1975.6312839openalex-snapshot
An assessment of the programming language pascal
inferredcites →https://doi.org/10.1145/356635.356640openalex-snapshot
Structured Programming with go to Statements
inferredcites →https://doi.org/10.1145/360303.360308openalex-snapshot
The denotational semantics of programming languages
inferredcites →https://doi.org/10.1145/360933.360975openalex-snapshot
Guarded commands, nondeterminacy and formal derivation of programs
inferredcites →https://doi.org/10.1145/362349.362364openalex-snapshot
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
inferredcites →https://doi.org/10.1145/362929.362947openalex-snapshot
Letters to the editor: go to statement considered harmful
inferredcites →https://doi.org/10.1145/365230.365257openalex-snapshot
The next 700 programming languages
inferredcites →https://doi.org/10.1145/365696.365702openalex-snapshot
A contribution to the development of ALGOL
inferredcites →https://doi.org/10.1145/390016.808421openalex-snapshot
An assessment of the programming language PASCAL
inferredcites →https://doi.org/10.1145/512976.512982openalex-snapshot
A mathematical approach to language design
inferredcites →https://doi.org/10.2307/2005728openalex-snapshot
Systematic Programming: An Introduction
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380080407openalex-snapshot
Another look at type compatibility in pascal
inferred← citeshttps://doi.org/10.1002/spe.4380140504openalex-snapshot
Exception handling—A static approach
inferred← citeshttps://doi.org/10.1002/spe.4380141007openalex-snapshot
Polymorphic programming I. Another language designed on semantic principles
inferred← citeshttps://doi.org/10.1002/spe.4380150903openalex-snapshot
Towards a language for concurrent processes
inferred← citeshttps://doi.org/10.1007/3-540-45407-1_1openalex-snapshot
Fault Tolerance and Exception Handling in BETA
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_29openalex-snapshot
A categorical interpretation of Landin's correspondence principle
inferred← citeshttps://doi.org/10.1007/978-3-319-99725-4_5openalex-snapshot
Experience Developing and Deploying Concurrency Analysis at Facebook
inferred← citeshttps://doi.org/10.1007/978-3-540-24769-2_23openalex-snapshot
ArchWare: Architecting Evolvable Software
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_6openalex-snapshot
The Napier88 Persistent Programming Language and Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-61556-6_1openalex-snapshot
Types, Bindings and Parameters in a Persistent Environment
inferred← citeshttps://doi.org/10.1007/bf00269810openalex-snapshot
Language design methods based on semantic principles: Algol 68, a Language Designed using Semantic Principles
inferred← citeshttps://doi.org/10.1007/bf00271340openalex-snapshot
On a new approach to representation independent data classes
inferred← citeshttps://doi.org/10.1007/bf01231642openalex-snapshot
Orthogonally persistent object systems
inferred← citeshttps://doi.org/10.1007/bf01408173openalex-snapshot
Inheritance on processes, exemplified on distributed termination detection
inferred← citeshttps://doi.org/10.1007/bf01932840openalex-snapshot
Some primitives for the portable programming of array and vector processors
inferred← citeshttps://doi.org/10.1016/0020-0190(81)90002-8openalex-snapshot
Concurrency in a language employing messages
inferred← citeshttps://doi.org/10.1016/0020-0190(81)90147-2openalex-snapshot
Degrees of constancy in programming languages
inferred← citeshttps://doi.org/10.1016/0096-0551(85)90007-4openalex-snapshot
The design of Apple—A language for modular programs
inferred← citeshttps://doi.org/10.1016/0096-0551(86)90003-2openalex-snapshot
Interpreters from functions and grammars
inferred← citeshttps://doi.org/10.1016/j.cl.2010.09.002openalex-snapshot
A transactional model for automatic exception handling
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.082openalex-snapshot
Abstract Interpretation From a Denotational-semantics Perspective
inferred← citeshttps://doi.org/10.1016/s0019-9958(84)80026-1openalex-snapshot
A semantic approach to program modularity
inferred← citeshttps://doi.org/10.1016/s0065-2458(02)80008-0openalex-snapshot
Exception Handling11This chapter is an extended version of the paper “Advanced Exception Handling Mechanims” in IEEE Transaction on Software Engineering, 26(9), 820–836, September 2000. 2000 IEEE. Portions reprinted with permission
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00107-7openalex-snapshot
Composing programming languages by combining action-semantics modules
inferred← citeshttps://doi.org/10.1023/a:1010066127644openalex-snapshot
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
inferred← citeshttps://doi.org/10.1080/00207168808803636openalex-snapshot
A denotational semantics for the generalized ER model and a simple ER algebra
inferred← citeshttps://doi.org/10.1109/32.877844openalex-snapshot
Advanced exception handling mechanisms
inferred← citeshttps://doi.org/10.1109/arith.1983.6158090openalex-snapshot
Experience with a high level language that supports interval arithmetic
inferred← citeshttps://doi.org/10.1109/aswec.2004.1290470openalex-snapshot
Obstacles to a totally functional programming style
inferred← citeshttps://doi.org/10.1109/ftdcs.1990.138373openalex-snapshot
Language and runtime support for event programming in a distributed system
inferred← citeshttps://doi.org/10.1109/icci.1993.315336openalex-snapshot
Why functional languages really need parallelism
inferred← citeshttps://doi.org/10.1109/iccl.1990.63780openalex-snapshot
The Tahiti programming language: events as first-class objects
inferred← citeshttps://doi.org/10.1109/ms.1987.230705openalex-snapshot
Better Exception-Handling in Block-Structured Systems
inferred← citeshttps://doi.org/10.1109/wicsa.2004.1310691openalex-snapshot
Support for evolving software architectures in the ArchWare ADL
inferred← citeshttps://doi.org/10.1142/9781848165458_0008openalex-snapshot
Applications of Grammatical Inference in Software Engineering: Domain Specific Language Development
inferred← citeshttps://doi.org/10.1145/1118890.1118892openalex-snapshot
When and how to develop domain-specific languages
inferred← citeshttps://doi.org/10.1145/1328408.1328437openalex-snapshot
Tool support for refactoring functional programs
inferred← citeshttps://doi.org/10.1145/3290370openalex-snapshot
A true positives theorem for a static race detector
inferred← citeshttps://doi.org/10.1145/3473568openalex-snapshot
Persistent software transactional memory in Haskell
inferred← citeshttps://doi.org/10.1145/359060.359067openalex-snapshot
Recursive data structures in APL
inferred← citeshttps://doi.org/10.1145/3676287openalex-snapshot
Virtual Machinations: Using Large Language Models as Neural Computers
inferred← citeshttps://doi.org/10.1145/3722544openalex-snapshot
From Function Frustrations to Framework Flexibility
inferred← citeshttps://doi.org/10.1145/582153.582184openalex-snapshot
Semantics and correctness of a query language translation
inferred← citeshttps://doi.org/10.1145/73560.73567openalex-snapshot
Inheritance in smalltalk-80: a denotational definition
inferred← citeshttps://doi.org/10.1145/871895.871899openalex-snapshot
Tool support for refactoring functional programs
inferred← citeshttps://doi.org/10.1155/1999/20186openalex-snapshot
Principles for Language Extensions to VHDL to Support High‐Level Modeling
inferred← citeshttps://doi.org/10.4018/978-1-61350-456-7.ch7.6openalex-snapshot
Programming Languages as Mathematical Theories
inferred← citeshttps://doi.org/10.4018/978-1-61350-456-7.ch706openalex-snapshot
Programming Languages as Mathematical Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1006.4829openalex-snapshot
Constructing Active Architectures in the ArchWare ADL
inferred← citeshttps://doi.org/10.48550/arxiv.1501.05153openalex-snapshot
Formal requirement and architecture specifications of a multi-agent robotic system
inferred← citeshttps://doi.org/10.48550/arxiv.1604.05577openalex-snapshot
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
inferred← citeshttps://doi.org/10.5381/jot.2002.1.1.a3openalex-snapshot
Design principles for highly reusable concurrent object-oriented systems.
inferred← citeshttps://doi.org/10.5555/800091.802946openalex-snapshot
A flexible environment for program development based on a symbolic interpreter
inferred← citeshttps://doi.org/10.7146/brics.v10i53.21825openalex-snapshot
Composing Programming Languages by Combining Action-Semantics Modules
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.