Search results for "tail-recursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
129	William D. Clinger	Proper Tail Recursion and Space Efficiency.	PLDI	1998	DBLP DOI BibTeX RDF	SCHEME
94	Manuel Rubio-Sánchez	Tail recursive programming by applying generalization.	ITiCSE	2010	DBLP DOI BibTeX RDF	nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion
71	Peiyi Tang	Complete inlining of recursive calls: beyond tail-recursion elimination.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph
60	Owen Kaser, C. R. Ramakrishnan 0001, Shaunak Pawagi	On the Conversion of Indirect to Direct Recursion.	LOPLAS	1993	DBLP DOI BibTeX RDF	inline substitution, procedure inlining, theory, call graphs, mutual recursion
56	Manuel Rubio-Sánchez, J. Ángel Velázquez-Iturbide	Tail recursion by using function generalization.	ITiCSE	2009	DBLP DOI BibTeX RDF	nested recursion, generalization, recursion, design of algorithms, tail recursion
56	Kenneth A. Ross	Tail Recursion Elimination in Deductive Databases.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	query optimization, deductive databases, magic sets, tail recursion
52	Stefaan Himpe, Francky Catthoor, Geert Deconinck	Control Flow Analysis for Recursion Removal.	SCOPES	2003	DBLP DOI BibTeX RDF
46	Conor McBride	Clowns to the left of me, jokers to the right (pearl): dissecting data structures.	POPL	2008	DBLP DOI BibTeX RDF	polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection
40	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
39	Siddharth Bhaskar	Recursion versus tail recursion over ‾p.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
39	Siddharth Bhaskar	A Difference in Complexity Between Recursion and Tail Recursion.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF
39	Siddharth Bhaskar	Recursion versus Tail Recursion over Abstract Structures.		2015	RDF
31	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
30	Geoff W. Hamilton	Distillation: extracting the essence of programs.	PEPM	2007	DBLP DOI BibTeX RDF	superlinear improvement, program transformation, termination, generalisation, tail-recursion
30	John Clements, Matthias Felleisen	A tail-recursive machine with stack inspection.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	tail call optimization, Stack inspection, tail recursion
30	Hans Leiß	Towards Kleene Algebra with Recursion.	CSL	1991	DBLP DOI BibTeX RDF
25	Daan Leijen, Anton Lorenzen	Tail Recursion Modulo Context: An Equational Approach.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
25	Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen	Tail recursion transformation for invertible functions.	CoRR	2023	DBLP DOI BibTeX RDF
25	Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen	Tail Recursion Transformation for Invertible Functions.	RC	2023	DBLP DOI BibTeX RDF
25	Oskar Abrahamsson, Magnus O. Myreen	Automatically Introducing Tail Recursion in CakeML.	TFP	2017	DBLP DOI BibTeX RDF
25	Son Thanh Cao	On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases.	ICCSAMA	2015	DBLP DOI BibTeX RDF
25	Naoki Nishida 0001, Germán Vidal	Conversion to tail recursion in term rewriting.	J. Log. Algebraic Methods Program.	2014	DBLP DOI BibTeX RDF
25	Son Thanh Cao, Linh Anh Nguyen	An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination.	ADBIS (2)	2014	DBLP DOI BibTeX RDF
25	Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva	Tail recursion transformation in functional dataflow parallel programs.	Autom. Control. Comput. Sci.	2013	DBLP DOI BibTeX RDF
25	Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani	Managing continuations for proper tail recursion.	ILC	2010	DBLP DOI BibTeX RDF
25	György E. Révész	Experimenting with tail-recursion and simulating coroutines.	ACM SIGCSE Bull.	1998	DBLP DOI BibTeX RDF
25	C. Barry Jay	Tail Recursion Through Universal Invariants.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
25	Richard E. Jones	Tail Recursion without Space Leaks.	J. Funct. Program.	1992	DBLP DOI BibTeX RDF
25	Kenneth A. Ross	Modular Acyclicity and Tail Recursion in Logic Programs.	PODS	1991	DBLP DOI BibTeX RDF
25	C. Barry Jay	Tail Recursion from Universal Invariants.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
24	Silvano Dal-Zilio, Régis Gascon	Resource Bound Certification for a Tail-Recursive Virtual Machine.	APLAS	2005	DBLP DOI BibTeX RDF
23	Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis	High Performance Code Generation through Lazy Activation Records.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF	Register Utilization, Activation Records, Low Power Optimization, Embedded Systems
23	Giuseppe Cattaneo, Vincenzo Loia	A common-LISP implementation of an extended Prolog system.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, LISP
16	Olivier Danvy, Chung-chieh Shan, Ian Zerny	J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.	DSL	2009	DBLP DOI BibTeX RDF
16	Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer	From Interpretation to Compilation.	CEFP	2007	DBLP DOI BibTeX RDF
16	Raphael B. Yehezkael	Flexible Algorithms - Selections from a course for beginners.	ITRE	2006	DBLP DOI BibTeX RDF
16	Joachim Schimpf	Logical Loops.	ICLP	2002	DBLP DOI BibTeX RDF
16	Dan S. Wallach, Andrew W. Appel, Edward W. Felten	SAFKASI: a security mechanism for language-based systems.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	security-passing style, Java, Internet, WWW, access control, applets, stack inspection
16	Stefan Brass	SLDMagic - The Real Magic (With Applications to Web Queries).	Computational Logic	2000	DBLP DOI BibTeX RDF
16	Flemming Nielson, Hanne Riis Nielson	Finiteness Conditions for Fixed Point Iteration.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
16	Claudio Delrieux, Pablo R. Azero Alcocer, Fernando Tohmé	Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Prolog