Syntactic Theories in Practice

Syntactic Theories in Practice (2002)

Cached

Download Links

by Olivier Danvy , Lasse R. Nielsen

Citations:

BibTeX

@MISC{Danvy02syntactictheories,
    author = {Olivier Danvy and Lasse R. Nielsen},
    title = { Syntactic Theories in Practice },
    year = {2002}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

3377	Introduction to Automata Theory Languages and Computation. 2nd edition. Addison-Wesley Publishing Company, 2000. de - Hopcroft, Ullman - 2004
533	A transformation system for developing recursive programs - Burstall, Darlington - 1977
375	Deforestation: Transforming programs to eliminate trees - Wadler - 1990
263	Definitional interpreters for higher-order programming languages - Reynolds - 1972
174	Call-by-name, call-by-value and the λ-calculus - Plotkin - 1976
150	Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993
101	Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation - Olivier - 1992
91	RABBIT: a compiler for SCHEME - JR, L - 1978
70	D.P.: Control operators, the SECD machine and the λcalculus - Felleisen, Friedman - 1986
59	Defunctionalization at work - Danvy, Nielsen - 2001
50	The essence of functional programming (invited talk - Wadler - 1992
38	The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages - Felleisen - 1987
34	Correctness of procedure representations in higherorder assembly language - Wand - 1991
24	Programming languages and lambda calculi, unpublished lecture notes available at and last accessed in - Felleisen, Flatt - 2008
20	Definitional interpreters revisited - Reynolds - 1998
13	A study of defunctionalization and continuation-passing style - Nielsen - 2001
11	From syntactic theories to interpreters: Automating the proof of unique decomposition - Xiao, Sabry, et al.
11	CPS transformation of beta-redexes - Danvy, Nielsen - 2001
10	A selective cps transformation - Nielsen
10	A unifying approach to goal-directed evaluation - Danvy, Grobauer, et al. - 2002
10	Some mathematical aspects of functional programming - Stoy - 1982
5	Sabry and Matthias Felleisen. Reasoning about programs in continuation-passing style - Amr - 1993
5	A fully equational proof of Parikh’s theorem - ACETO, ÉSIK, et al. - 2001
4	From syntactic theories to interpreters: A specification language and its compilation - Xiao, Ariola, et al. - 2000
3	Semantics-based parallel cost models and their use in provably efficient implementations - Greiner - 1997