On the public citation graph
Design and correctness of a compiler for a non-procedural language
0 signed · 23 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.1007/3-540-06720-5_18openalex-snapshot
Configurable computers: A new class of general purpose machines
inferredcites →https://doi.org/10.1007/bf00289504openalex-snapshot
An axiomatic definition of the programming language PASCAL
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
inferredcites →https://doi.org/10.1090/psapm/019/0242403openalex-snapshot
Correctness of a compiler for arithmetic expressions
inferredcites →https://doi.org/10.1137/0205029openalex-snapshot
Lucid—A Formal System for Writing and Proving Programs
inferredcites →https://doi.org/10.1145/359636.359715openalex-snapshot
Lucid, a nonprocedural language with iteration
inferredcites →https://doi.org/10.1145/390014.808289openalex-snapshot
A data flow language for operating systems programming
inferredcites →https://doi.org/10.1145/390016.808428openalex-snapshot
An approach to compiler correctness
inferredcites →https://doi.org/10.1145/512927.512941openalex-snapshot
Advice on structuring compilers and proving them correct
inferredcites →https://doi.org/10.1145/800235.807080openalex-snapshot
Correctness of a compiler for a Lisp subset
inferredcites →https://doi.org/10.1145/800237.807124openalex-snapshot
Abstract data types and the development of data structures
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-10843-2_37openalex-snapshot
Realizing an equational specification
inferred← citeshttps://doi.org/10.1007/bf00288532openalex-snapshot
Semantic properties of Lucid's compute clause and its compilation
inferred← citeshttps://doi.org/10.1007/bfb0022475openalex-snapshot
An extensional treatment of dataflow deadlock
inferred← citeshttps://doi.org/10.1016/0167-6423(88)90050-0openalex-snapshot
Efficient handling of data structures in definitional languages
inferred← citeshttps://doi.org/10.1016/0304-3975(81)90108-0openalex-snapshot
An extensional treatment of dataflow deadlock
inferred← citeshttps://doi.org/10.1109/cmpsac.1990.139448openalex-snapshot
A set and mapping-based detection and solution method for structure clash between program input and output data
inferred← citeshttps://doi.org/10.1109/ms.1986.232430openalex-snapshot
Toward a Real-Time Dataflow Language
inferred← citeshttps://doi.org/10.1145/357073.357076openalex-snapshot
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development
inferred← citeshttps://doi.org/10.1145/800017.800522openalex-snapshot
Implementation of an interpreter for abstract equations
inferred← citeshttps://doi.org/10.1145/947727.947728openalex-snapshot
Some common misconceptions about Lucid
inferred← citeshttps://doi.org/10.70675/95fceee8z06bbz48ccz8b06z87fb9e672ea8openalex-snapshot
Proof-oriented domain-specific language design for high-assurance software
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.