|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 174-185, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
94 | Manuel Rubio-Sánchez |
Tail recursive programming by applying generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 98-102, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 579-584, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 151-164, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 394, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
nested recursion, generalization, recursion, design of algorithms, tail recursion |
56 | Kenneth A. Ross |
Tail Recursion Elimination in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(2), pp. 208-237, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 101-116, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Conor McBride |
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 287-295, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(1), pp. 32-35, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
39 | Siddharth Bhaskar |
Recursion versus tail recursion over ‾p. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 94, pp. 68-90, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Siddharth Bhaskar |
A Difference in Complexity Between Recursion and Tail Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 60(2), pp. 299-313, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Siddharth Bhaskar |
Recursion versus Tail Recursion over Abstract Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
31 | Neng-Fa Zhou |
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 752-779, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
prolog, abstract machine |
30 | Geoff W. Hamilton |
Distillation: extracting the essence of programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 61-70, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(6), pp. 1029-1052, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
tail call optimization, Stack inspection, tail recursion |
30 | Hans Leiß |
Towards Kleene Algebra with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 242-256, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Daan Leijen, Anton Lorenzen |
Tail Recursion Modulo Context: An Equational Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1152-1181, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
Tail recursion transformation for invertible functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.10049, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
Tail Recursion Transformation for Invertible Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 73-88, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Oskar Abrahamsson, Magnus O. Myreen |
Automatically Introducing Tail Recursion in CakeML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 118-134, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSAMA ![In: Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015, pp. 243-254, 2015, Springer, 978-3-319-17995-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Naoki Nishida 0001, Germán Vidal |
Conversion to tail recursion in term rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 83(1), pp. 53-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Son Thanh Cao, Linh Anh Nguyen |
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (2) ![In: New Trends in Database and Information Systems II - Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II, pp. 109-120, 2014, Springer, 978-3-319-10517-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 47(7), pp. 366-372, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani |
Managing continuations for proper tail recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 65-72, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | György E. Révész |
Experimenting with tail-recursion and simulating coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 30(4), pp. 51-54, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | C. Barry Jay |
Tail Recursion Through Universal Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 115(1), pp. 151-189, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Richard E. Jones |
Tail Recursion without Space Leaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 2(1), pp. 73-79, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Kenneth A. Ross |
Modular Acyclicity and Tail Recursion in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado, USA, pp. 92-101, 1991, ACM Press, 0-89791-430-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | C. Barry Jay |
Tail Recursion from Universal Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Category Theory and Computer Science ![In: Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings, pp. 151-163, 1991, Springer, 3-540-54495-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Silvano Dal-Zilio, Régis Gascon |
Resource Bound Certification for a Tail-Recursive Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, pp. 247-263, 2005, Springer, 3-540-29735-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis |
High Performance Code Generation through Lazy Activation Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interaction between Compilers and Computer Architectures ![In: 7th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-7 2003), 8 February 2003, Anaheim, CA, USA, pp. 37-50, 2003, IEEE Computer Society, 0-7695-1889-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(4), pp. 87-102, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 1-19, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer |
From Interpretation to Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 286-301, 2007, Springer, 978-3-540-88058-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Raphael B. Yehezkael |
Flexible Algorithms - Selections from a course for beginners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRE ![In: ITRE 2006 - 4th International Conference on Information Technology: Research and Education, October 17-18, 2006, Tel Aviv, Israel, Proceedings, pp. 84-88, 2006, IEEE, 1-4244-0858-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Schimpf |
Logical Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 224-238, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Dan S. Wallach, Andrew W. Appel, Edward W. Felten |
SAFKASI: a security mechanism for language-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(4), pp. 341-378, 2000. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 1063-1077, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Flemming Nielson, Hanne Riis Nielson |
Finiteness Conditions for Fixed Point Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 96-108, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(3), pp. 35-44, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|