Search results for "SECD-machine"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
175	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
82	Kenneth Slonneger	Executing an SECD machine using logic programming.	SIGCSE	1995	DBLP DOI BibTeX RDF
62	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
47	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's J Operator.	IFL	2005	DBLP DOI BibTeX RDF
40	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
36	John Hannan, Dale Miller 0001	From Operational Semantics to Abstract Machines: Preliminary Results.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
35	Gergely Buday	Formalising the SECD machine with nominal Isabelle.	SAC	2015	DBLP DOI BibTeX RDF
35	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's SECD Machine with the J Operator	CoRR	2008	DBLP BibTeX RDF
35	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's SECD Machine with the J Operator.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
35	John D. Ramsdell	The Tail-Recursive SECD Machine.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
35	Matthias Felleisen, Daniel P. Friedman	Control operators, the SECD-machine, and the λ-calculus.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
35	Clement L. McGowan	The Correctness of a Modified SECD Machine	STOC	1970	DBLP DOI BibTeX RDF
30	Werner E. Kluge	Abstract lambda-Calculus Machines.	CEFP	2007	DBLP DOI BibTeX RDF
25	Mads Sig Ager, Olivier Danvy, Mayer Goldberg	A Symmetric Approach to Compilation and Decompilation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
23	Nick Benton, Chung-Kil Hur	Biorthogonality, step-indexing and compiler correctness.	ICFP	2009	DBLP DOI BibTeX RDF	biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
23	Hongwei Xi	Evaluation Under Lambda Abstraction.	PLILP	1997	DBLP DOI BibTeX RDF	partial evaluation, lambda-calculus, run-time code generation
23	David A. Schmidt	State transition machines for lambda calculus expressions.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF