Search results for "self-interpreter"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Tetsuo Yokoyama, Robert Glück	A reversible programming language and its invertible self-interpreter.	PEPM	2007	DBLP DOI BibTeX RDF	Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion
49	Olivier Danvy, Pablo E. Martínez López	Tagging, Encoding, and Jones Optimality.	ESOP	2003	DBLP DOI BibTeX RDF
30	Alessandro Berarducci, Corrado Böhm	A Self-Interpreter of Lambda Calculus Having a Normal Form.	CSL	1992	DBLP DOI BibTeX RDF
21	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
21	Henning Makholm	On Jones-Optimal Specialization for Strongly Typed Languages.	SAIG	2000	DBLP DOI BibTeX RDF
20	Matt Brown, Jens Palsberg	Breaking through the normalization barrier: a self-interpreter for f-omega.	POPL	2016	DBLP DOI BibTeX RDF
20	Oleg Mazonka, Daniel B. Cristofani	A Very Short Self-Interpreter	CoRR	2003	DBLP BibTeX RDF
20	Chung-Kwong Yuen, Weng-Fai Wong	A self interpreter for BaLinda Lisp.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
15	Torben Æ. Mogensen	Linear Time Self-Interpretation of the Pure Lambda Calculus.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
13	Robert Glück	Jones optimality, binding-time improvements, and the strength of program specializers.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Futamura projections, Jones optimality, binding-time improvements, interpretive approach, self-interpreters, specializer projections, metacomputation
10	Dirk Dussart, John Hughes, Peter Thiemann 0001	Type Specialization for Imperative Languages.	ICFP	1997	DBLP DOI BibTeX RDF	program transformation, type systems, monads, specialisation

Displaying result #1 - #11 of 11 (100 per page; Change: )