|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|