Syntactic theories in practice

DOI10.1016/S1571-0661(04)00297-XMaRDI QIDQ2841251zbMATH OpenOpenAlexFDO

Authors Olivier Danvy, Lasse R. Nielsen

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00297-x

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Recommendations

• Three Syntactic Theories for Combinatory Graph Reduction
• Three syntactic theories for combinatory graph reduction
• A syntactic theory of sequential control
• A syntactic theory of sequential state
• scientific article; zbMATH DE number 1522992

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• CPS transformation of beta-redexes
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Correctness of procedure representations in higher-order assembly language
• From syntactic theories to interpreters: Automating the proof of unique decomposition
• Representing Control: a Study of the CPS Transformation
• Syntactic theories in practice

Cited in

(12)

• scientific article; zbMATH DE number 7204429 (Why is no real title available?)
• scientific article; zbMATH DE number 1439073 (Why is no real title available?)
• scientific article; zbMATH DE number 1862472 (Why is no real title available?)
• From syntactic theories to interpreters: Automating the proof of unique decomposition
• Syntax in Basic Laws \({\S}{\S}\)29-32
• scientific article; zbMATH DE number 7441504 (Why is no real title available?)
• Syntactic structures and recursive devices: a legacy of imprecision
• Natural-Language Syntax as Procedures for Interpretation: The Dynamics of Ellipsis Construal
• Optimizing a non-deterministic abstract machine with environments
• Syntactic theories in practice
• Philosophy of syntax. Foundational topics
• scientific article; zbMATH DE number 1328105 (Why is no real title available?)

This page was built for publication: Syntactic theories in practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841251)