On the public citation graph

Examples of formal semantics

https://doi.org/10.1007/bfb0059699
0 signed · 58 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-07410-4_631openalex-snapshot
The construction of types of abstract machines in SIMAC
inferred← citeshttps://doi.org/10.1007/3-540-08065-1_21openalex-snapshot
Pragmatics in a compiler production system
inferred← citeshttps://doi.org/10.1007/3-540-08921-7_63openalex-snapshot
Attribute grammars and two-level grammars: A unifying approach
inferred← citeshttps://doi.org/10.1007/3-540-10828-9_63openalex-snapshot
Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines)
inferred← citeshttps://doi.org/10.1007/3-540-53101-7_1openalex-snapshot
The genesis of attribute grammars
inferred← citeshttps://doi.org/10.1007/3-540-53101-7_11openalex-snapshot
Abstract interpretation using attribute grammars
inferred← citeshttps://doi.org/10.1007/3-540-56883-2_13openalex-snapshot
Supporting the attribute grammar programming paradigm in a lazy functional programming language
inferred← citeshttps://doi.org/10.1007/978-3-319-47958-3_11openalex-snapshot
A Realizability Interpretation for Intersection and Union Types
inferred← citeshttps://doi.org/10.1007/978-3-540-33193-3_16openalex-snapshot
SAL: Simple Applicative Language
inferred← citeshttps://doi.org/10.1007/978-3-642-17511-4_11openalex-snapshot
Logic and Computation in a Lambda Calculus with Intersection and Union Types
inferred← citeshttps://doi.org/10.1007/978-3-642-51709-9_5openalex-snapshot
Anhang
inferred← citeshttps://doi.org/10.1007/978-94-010-1917-0_11openalex-snapshot
To What Extent can or must Computations be Parallelized
inferred← citeshttps://doi.org/10.1007/bf01744285openalex-snapshot
An order-algebraic definition of knuthian semantics
inferred← citeshttps://doi.org/10.1007/bf01933225openalex-snapshot
A syntax directed macro processor
inferred← citeshttps://doi.org/10.1007/bf02575637openalex-snapshot
A data structure formalization through generating functions
inferred← citeshttps://doi.org/10.1007/bf02576483openalex-snapshot
Examples of algorithms specification by means of attribute grammars
inferred← citeshttps://doi.org/10.1007/bf02737108openalex-snapshot
Composition and evaluation of attribute coupled grammars
inferred← citeshttps://doi.org/10.1007/bfb0029521openalex-snapshot
λ-Terms as total or partial functions on normal forms
inferred← citeshttps://doi.org/10.1007/bfb0097793openalex-snapshot
Semantical BNF
inferred← citeshttps://doi.org/10.1016/0020-0190(72)90010-5openalex-snapshot
Recursion and stacks
inferred← citeshttps://doi.org/10.1016/0041-5553(80)90095-6openalex-snapshot
Global attributes and their use in the description of programming languages
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90034-5openalex-snapshot
Combining type disciplines
inferred← citeshttps://doi.org/10.1016/j.cosrev.2008.02.003openalex-snapshot
A survey of state vectors
inferred← citeshttps://doi.org/10.1016/s0019-9958(75)90495-7openalex-snapshot
On the syntactic structures of unrestricted grammars II. Automata
inferred← citeshttps://doi.org/10.1016/s0019-9958(78)90344-3openalex-snapshot
Semantic-syntax-directed translation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)33714-xopenalex-snapshot
Executable Specifications with Rapid Prototyping for Embedded Distributed Systems
inferred← citeshttps://doi.org/10.1017/s095679681600023xopenalex-snapshot
Linear lambda terms as invariants of rooted trivalent maps
inferred← citeshttps://doi.org/10.1017/s0956796821000186openalex-snapshot
Taming the Merge Operator
inferred← citeshttps://doi.org/10.1051/ita/1983170403431openalex-snapshot
Un algorithme de calcul formel des séries énumératrices de langage linéaire
inferred← citeshttps://doi.org/10.1093/comjnl/35.4.376openalex-snapshot
Constructing Programs as Executable Attribute Grammars
inferred← citeshttps://doi.org/10.1109/discex.2000.824975openalex-snapshot
The Horus and Ensemble projects: accomplishments and limitations
inferred← citeshttps://doi.org/10.1109/ecbs.2003.1194791openalex-snapshot
Rapid prototyping of networked embedded systems
inferred← citeshttps://doi.org/10.1109/eurmic.1996.546377openalex-snapshot
A prototyping technique with an asynchronous specification language
inferred← citeshttps://doi.org/10.1109/icniconsmcl.2006.135openalex-snapshot
Local Time Specifications of Networked Embedded Systems
inferred← citeshttps://doi.org/10.1109/sfcs.1976.5openalex-snapshot
An algebraic formulation of knuthian semantics
inferred← citeshttps://doi.org/10.1137/0214063openalex-snapshot
Finding Minimal Pass Sequences for Attribute Grammars
inferred← citeshttps://doi.org/10.1145/1028174.971347openalex-snapshot
Attribute based compiler implemented using visitor pattern
inferred← citeshttps://doi.org/10.1145/1089320.1089321openalex-snapshot
Global data flow analysis in Aldes
inferred← citeshttps://doi.org/10.1145/210376.197409openalex-snapshot
Attribute grammar paradigms—a high-level methodology in language implementation
inferred← citeshttps://doi.org/10.1145/357062.357072openalex-snapshot
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
inferred← citeshttps://doi.org/10.1145/359997.359999openalex-snapshot
Semantic evaluation from left to right
inferred← citeshttps://doi.org/10.1145/361227.361231openalex-snapshot
The intrinsically exponential complexity of the circularity problem for attribute grammars
inferred← citeshttps://doi.org/10.1145/502874.502892openalex-snapshot
A specification language for one-pass semantic analysis
inferred← citeshttps://doi.org/10.1145/512976.512983openalex-snapshot
Correctness-preserving program transformations
inferred← citeshttps://doi.org/10.1145/567752.567764openalex-snapshot
Automatic generation of near-optimal linear-time translators for non-circular attribute grammars
inferred← citeshttps://doi.org/10.1145/579.586openalex-snapshot
Translation of attribute grammars into procedures
inferred← citeshttps://doi.org/10.1145/800181.810328openalex-snapshot
Alternating semantic evaluator
inferred← citeshttps://doi.org/10.1145/800182.810373openalex-snapshot
Semantic attributes and improvement of generated code
inferred← citeshttps://doi.org/10.1145/800192.805720openalex-snapshot
A syntax-oriented formal system for defining processes
inferred← citeshttps://doi.org/10.1145/800235.807078openalex-snapshot
The Contour Model Lambda Calculus Machine
inferred← citeshttps://doi.org/10.1145/942578.807078openalex-snapshot
The Contour Model Lambda Calculus Machine
inferred← citeshttps://doi.org/10.1145/942580.807078openalex-snapshot
The Contour Model Lambda Calculus Machine
inferred← citeshttps://doi.org/10.1145/986953.986957openalex-snapshot
Compiler generation for attribute grammars
inferred← citeshttps://doi.org/10.1145/99569.99810openalex-snapshot
Constructing programs in a calculus of lazy interpreters
inferred← citeshttps://doi.org/10.1145/99571.99810openalex-snapshot
Constructing programs in a calculus of lazy interpreters
inferred← citeshttps://doi.org/10.2307/2273363openalex-snapshot
Minimal forms inλ-cakulus computations
inferred← citeshttps://doi.org/10.3115/990174.990246openalex-snapshot
Automatic translation with attribute grammars
inferred← citeshttps://doi.org/10.5555/800078.802547openalex-snapshot
HFP: A hierarchical and functional programming based on attribute grammar
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.