On the public citation graph

Complementary Definitions of Programming Language Semantics

https://doi.org/10.1007/bfb0025364
0 signed · 56 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.
Claim with ORCID
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.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-08342-1_3openalex-snapshot
Semantics and proof theory of pascal procedures
inferred← citeshttps://doi.org/10.1007/3-540-10003-2_84openalex-snapshot
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions
inferred← citeshttps://doi.org/10.1007/3-540-10003-2_87openalex-snapshot
Semantics :Algebras,fixed points,axioms
inferred← citeshttps://doi.org/10.1007/3-540-10250-7_18openalex-snapshot
Transforming denotational semantics into practical attribute grammars
inferred← citeshttps://doi.org/10.1007/3-540-10693-6openalex-snapshot
The Programming Language Ada Reference Manual
inferred← citeshttps://doi.org/10.1007/3-540-47866-3_31openalex-snapshot
Operational Characterization of Genre in Literary and Real-Life Domains
inferred← citeshttps://doi.org/10.1007/3-540-55253-7_9openalex-snapshot
Extraction of strong typing laws from action semantics definitions
inferred← citeshttps://doi.org/10.1007/978-3-030-02928-9_6openalex-snapshot
Challenges for Formal Semantic Description: Responses from the Main Approaches
inferred← citeshttps://doi.org/10.1007/978-3-642-35861-6_5openalex-snapshot
A Categorical Approach to Structuring and Promoting Z Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-70289-1_9openalex-snapshot
Literaturverzeichnis
inferred← citeshttps://doi.org/10.1007/978-3-642-84725-7_5openalex-snapshot
Functional Diversity
inferred← citeshttps://doi.org/10.1007/bf00260921openalex-snapshot
Proof rules for the programming language Euclid
inferred← citeshttps://doi.org/10.1007/bf00261258openalex-snapshot
Sound and complete Hoare-like calculi based on copy rules
inferred← citeshttps://doi.org/10.1007/bf00264535openalex-snapshot
The logic of aliasing
inferred← citeshttps://doi.org/10.1007/bf00289309openalex-snapshot
The formal definition of a real-time language
inferred← citeshttps://doi.org/10.1007/bf01001954openalex-snapshot
Methodical specification of abstract data types via rewriting systems
inferred← citeshttps://doi.org/10.1007/bf01132784openalex-snapshot
Mutually complementary formalizations of deductive query languages
inferred← citeshttps://doi.org/10.1007/bf02576358openalex-snapshot
Hierarchical development of programming languages
inferred← citeshttps://doi.org/10.1007/bfb0014684openalex-snapshot
Notes on type abstraction
inferred← citeshttps://doi.org/10.1007/bfb0025790openalex-snapshot
A critique of the foundations of Hoare-style programming logics
inferred← citeshttps://doi.org/10.1007/s00165-004-0060-7openalex-snapshot
An algebraic treatment of procedure refinement to support mechanical verification
inferred← citeshttps://doi.org/10.1007/s00165-015-0336-0openalex-snapshot
Categorical foundations for structured specifications in Z
inferred← citeshttps://doi.org/10.1007/s10515-008-0036-6openalex-snapshot
Reasoning about programs via operational semantics: requirements for a support system
inferred← citeshttps://doi.org/10.1016/0020-0190(80)90048-4openalex-snapshot
A simple relation between relational and predicate transformer semantics for nondeterministic programs
inferred← citeshttps://doi.org/10.1016/0096-0551(91)90010-7openalex-snapshot
Modular verification of Ada generics
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00022-0openalex-snapshot
An algebraic approach to semantics of programming languages
inferred← citeshttps://doi.org/10.1016/0306-4379(82)90028-xopenalex-snapshot
Axiomatic definitions for data model semantics
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50020-2openalex-snapshot
Methods and Logics for Proving Programs
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60366-6openalex-snapshot
Developments In Firmware Engineering
inferred← citeshttps://doi.org/10.1023/a:1014216630973openalex-snapshot
Modular Context-Free Grammars
inferred← citeshttps://doi.org/10.1093/logcom/exm030openalex-snapshot
A Structural Proof of the Soundness of Rely/guarantee Rules
inferred← citeshttps://doi.org/10.1109/2.65openalex-snapshot
Formal verification of hardware correctness: introduction and survey of current research
inferred← citeshttps://doi.org/10.1109/32.277576openalex-snapshot
Modular verification of data abstractions with shared realizations
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot
The early search for tractable ways of reasoning about programs
inferred← citeshttps://doi.org/10.1137/0207005openalex-snapshot
Soundness and Completeness of an Axiom System for Program Verification
inferred← citeshttps://doi.org/10.1145/1283920.1283932openalex-snapshot
Logic and programming languages
inferred← citeshttps://doi.org/10.1145/169701.169682openalex-snapshot
A superimposition control construct for distributed systems
inferred← citeshttps://doi.org/10.1145/356669.356672openalex-snapshot
A Sampler of Formal Definitions
inferred← citeshttps://doi.org/10.1145/356689.356693openalex-snapshot
Surveyor's Forum: An Amplification on Hydra's Capabilities
inferred← citeshttps://doi.org/10.1145/356689.356695openalex-snapshot
Surveyor's Forum: A Criticism of Sampler
inferred← citeshttps://doi.org/10.1145/356689.356696openalex-snapshot
Surveyor's Forum: A Criticism of Sampler
inferred← citeshttps://doi.org/10.1145/356689.356697openalex-snapshot
Corrigendum: “A Sampler of Formal Definitions”
inferred← citeshttps://doi.org/10.1145/357062.357069openalex-snapshot
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS
inferred← citeshttps://doi.org/10.1145/357114.357119openalex-snapshot
Assignment and Procedure Call Proof Rules
inferred← citeshttps://doi.org/10.1145/358728.358748openalex-snapshot
A critique of the foundations of Hoare style programming logics
inferred← citeshttps://doi.org/10.1145/359810.359826openalex-snapshot
Logic and programming languages
inferred← citeshttps://doi.org/10.1145/3632849openalex-snapshot
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
inferred← citeshttps://doi.org/10.1145/75199.75219openalex-snapshot
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition
inferred← citeshttps://doi.org/10.1145/800113.803634openalex-snapshot
A consistent and complete deductive system for the verification of parallel programs
inferred← citeshttps://doi.org/10.1145/800191.805513openalex-snapshot
The assignment axiom and programming language design
inferred← citeshttps://doi.org/10.1145/947800.947802openalex-snapshot
Mathematical specifications
inferred← citeshttps://doi.org/10.1145/976571.976573openalex-snapshot
Reasoning about recursive procedures with parameters
inferred← citeshttps://doi.org/10.1145/988056.988065openalex-snapshot
On the semantics of control statements
inferred← citeshttps://doi.org/10.1145/99583.99616openalex-snapshot
Parameter-passing and the lambda calculus
inferred← citeshttps://doi.org/10.25405/ncl.34130049openalex-snapshot
A structural proof of the soundness of rely/guarantee rules (revised)
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.5392openalex-snapshot
A Formal Methodology for the Specification of Distributed Systems From an Object Perspective.
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.