Search results for "Secd"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
159	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
74	Kenneth Slonneger	Executing an SECD machine using logic programming.	SIGCSE	1995	DBLP DOI BibTeX RDF
54	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
53	Brian T. Graham, Graham M. Birtwistle	Formalising the Design of an SECD chip.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
42	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's J Operator.	IFL	2005	DBLP DOI BibTeX RDF
33	S. Mansoor Sarwar, S. J. Hahn, James A. Davis	Implementing functional languages on a combinator-based reduction machine.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	SASL, Secd
32	Gergely Buday	Formalising the SECD machine with nominal Isabelle.	SAC	2015	DBLP DOI BibTeX RDF
32	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's SECD Machine with the J Operator	CoRR	2008	DBLP BibTeX RDF
32	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
32	Vasco Thudichum Vasconcelos	Lambda and pi calculi, CAM and SECD machines.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
32	John D. Ramsdell	The Tail-Recursive SECD Machine.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
32	Roberto Minarelli Della Valle, Adriano Baldoni, Marco De Rossi, Fernando Ferri	SeCD Electronic Folder: CADMIO's Application for the Medical Folder of a Service for the Care of Drug Addicts.	MedInfo	1998	DBLP DOI BibTeX RDF
32	Todd Simpson, Graham M. Birtwistle, Brian T. Graham	Towards a verified MiniSML/SECD system.	Softw. Eng. J.	1993	DBLP DOI BibTeX RDF
32	Jürgen Ebert	Die SECD-Maschine - Das aktuelle Schlagwort.	Inform. Spektrum	1989	DBLP BibTeX RDF
32	Matthias Felleisen, Daniel P. Friedman	Control operators, the SECD-machine, and the λ-calculus.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Samson Abramsky, R. Sykes	Secd-m: a Virtual Machine for Applicative Programming.	FPCA	1985	DBLP DOI BibTeX RDF
32	Clement L. McGowan	The Correctness of a Modified SECD Machine	STOC	1970	DBLP DOI BibTeX RDF
21	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
21	Fei Yuan, Yue Chen, Husheng Liao	XQC: A Compiler for XQuery.	CSSE (2)	2008	DBLP DOI BibTeX RDF
21	Werner E. Kluge	Abstract lambda-Calculus Machines.	CEFP	2007	DBLP DOI BibTeX RDF
21	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
21	Mads Sig Ager, Olivier Danvy, Mayer Goldberg	A Symmetric Approach to Compilation and Decompilation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
21	Hongwei Xi	Evaluation Under Lambda Abstraction.	PLILP	1997	DBLP DOI BibTeX RDF	partial evaluation, lambda-calculus, run-time code generation
21	Furio Honsell, Marina Lenisa	Some Results on the Full Abstraction Problem for Restricted Lambda Calculi.	MFCS	1993	DBLP DOI BibTeX RDF
21	John Hannan, Dale Miller 0001	From Operational Semantics to Abstract Machines: Preliminary Results.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
21	David A. Schmidt	State transition machines for lambda calculus expressions.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF