The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase tail-recursion (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-2000 (16) 2002-2013 (15) 2014-2023 (10)
Publication types (Num. hits)
article(17) inproceedings(23) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 36 keywords

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