Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores	A gentle introduction to mutual recursion.	ITiCSE	2008	DBLP DOI BibTeX RDF	recursion problems, combinatorics, counting problems, fibonacci numbers, mutual recursion
100	Naoki Kobayashi 0001	Types and Recursion Schemes for Higher-Order Program Verification.	APLAS	2009	DBLP DOI BibTeX RDF
98	Tamarisk Lurlyn Scholtz, Ian D. Sanders	Mental models of recursion: investigating students' understanding of recursion.	ITiCSE	2010	DBLP DOI BibTeX RDF	recursion, mental models
92	Ian Douglas Sanders, Vashti C. Galpin	Students' mental models of recursion at wits.	ITiCSE	2007	DBLP DOI BibTeX RDF	recursion, mental models
91	J. Ángel Velázquez-Iturbide	Recursion in gradual steps (is recursion really that difficult?).	SIGCSE	2000	DBLP DOI BibTeX RDF
85	Greg Stitt, Jason R. Villarreal	Recursion flattening.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	optimization, fpga, compilers, synthesis, recursion
78	David Ginat, Eyal Shifroni	Teaching recursion in a procedural environment -- how much should we emphasize the computing model?	SIGCSE	1999	DBLP DOI BibTeX RDF	recursive formulation, problem decomposition
78	Yannis E. Ioannidis, Eugene Wong 0001	Towards an Algebraic Theory of Recursion.	J. ACM	1991	DBLP DOI BibTeX RDF
78	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
78	Tina Götschi, Ian D. Sanders, Vashti Galpin	Mental models of recursion.	SIGCSE	2003	DBLP DOI BibTeX RDF	learning, programming, pedagogy, recursion, mental models, constructivism
78	Peter Buneman, Mary F. Fernandez, Dan Suciu	UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion.	VLDB J.	2000	DBLP DOI BibTeX RDF	Structural recursion, Optimization, XML, Query language, Semistructured data, XSL
76	Yongping Gao, Fenfen Guan	Explore a New Way to Convert a Recursion Algorithm into a Non-recursion Algorithm.	CCTA	2007	DBLP DOI BibTeX RDF	sequence storage, bit link tree, non-recursion, recursion, queue
71	Michael H. Goldwasser, David Letscher	Teaching strategies for reinforcing structural recursion with lists.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	active learning, recursion, role-playing, lists
71	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
70	Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren	Structural Recursion as a Query Language on Lists and Ordered Trees.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Structural recursion, XML, Database, Complex objects, Primitive recursion
64	E. A. Cichon, Hélène Touzet	An Ordinal Calculus for Proving Termination in Term Rewriting.	CAAP	1996	DBLP DOI BibTeX RDF	ordinal recursion, termination, rewrite systems, primitive recursion
64	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
64	John Case, Samuel E. Moelius	Independence Results for n-Ary Recursion Theorems.	FCT	2009	DBLP DOI BibTeX RDF
63	Stephen A. Edwards, Jia Zeng	Static elaboration of recursion for concurrent software.	PEPM	2008	DBLP DOI BibTeX RDF	SHIM, static elaboration, concurrency, recursion, partial evaluation
63	David Ginat	Do senior CS students capitalize on recursion?	ITiCSE	2004	DBLP DOI BibTeX RDF	student errors, ways of reasoning, pedagogy, recursion
63	Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn	Linear Ramified Higher Type Recursion and Parallel Complexity.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	higher types, parallel computation, recursion, linear logic, lambda calculus, implicit computational complexity, NC
63	Manuel Rubio-Sánchez, Isidoro Hernán-Losada	Exploring recursion with fibonacci numbers.	ITiCSE	2007	DBLP DOI BibTeX RDF	recursion problems, combinatorics, fibonacci numbers, mutual recursion
63	Bruria Haberman, Haim Averbuch	The case of base cases: why are they so difficult to recognize? student difficulties with recursion.	ITiCSE	2002	DBLP DOI BibTeX RDF	base case, recursion evaluation, recursion formulation
63	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
57	Philippe Beaucamps	Extended recursion-based formalization of virus mutation.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
57	Stefaan Himpe, Francky Catthoor, Geert Deconinck	Control Flow Analysis for Recursion Removal.	SCOPES	2003	DBLP DOI BibTeX RDF
56	Meisam Fathi Salmi, Saeed Parsa	Automatic Detection of Infinite Recursion in AspectJ Programs.	FGIT	2009	DBLP DOI BibTeX RDF	Infinite Recursion, Interprocedural Anlysis, Debugging Aspect-Oriented Programs, Aspect-Oriented Programming
56	Derek Dreyer	A type system for well-founded recursion.	POPL	2004	DBLP DOI BibTeX RDF	yype systems, recursion, effect systems, recursive modules
55	Neil W. Rickert	Recursion vs. non-Recursion in Pascal; a rejoinder.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
50	Manuel Lameiras Campagnolo	The Complexity of Real Recursive Functions.	UMC	2002	DBLP DOI BibTeX RDF	Continuous-time computation, computational complexity, differential equations, recursion theory
49	Naoki Kobayashi 0001, C.-H. Luke Ong	A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.	LICS	2009	DBLP DOI BibTeX RDF
49	Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem	Recursion Schemata for NCk.	CSL	2008	DBLP DOI BibTeX RDF
49	Raja Sooriamurthi	Problems in comprehending recursion and suggested solutions.	ITiCSE	2001	DBLP DOI BibTeX RDF
49	Radu Rugina, Martin C. Rinard	Recursion Unrolling for Divide and Conquer Programs.	LCPC	2000	DBLP DOI BibTeX RDF
49	William D. Clinger	Proper Tail Recursion and Space Efficiency.	PLDI	1998	DBLP DOI BibTeX RDF	SCHEME
49	Sowmitri Swamy, John E. Savage	Space-Time Tradeoffs for Linear Recursion.	POPL	1979	DBLP DOI BibTeX RDF
49	Marian Boykan Pour-El	Computer Science And Recursion Theory.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
49	Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001	Higher-order multi-parameter tree transducers and recursion schemes for program verification.	POPL	2010	DBLP DOI BibTeX RDF	higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
49	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
49	Ben Stephenson	Visual examples of recursion.	ITiCSE	2009	DBLP DOI BibTeX RDF	graphical projects, computer science education, pedagogy, recursion, recursive algorithms, student engagement
49	Jirí Adámek, Stefan Milius, Jirí Velebil	Semantics of Higher-Order Recursion Schemes.	CALCO	2009	DBLP DOI BibTeX RDF	infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
49	Ian D. Sanders, Vashti Galpin, Tina Götschi	Mental models of recursion revisited.	ITiCSE	2006	DBLP DOI BibTeX RDF	recursion, mental models
49	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
49	Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh	Why structural recursion should be taught before arrays in CS 1.	SIGCSE	2005	DBLP DOI BibTeX RDF	CS1, recursion
49	S. J. Ambler, Roy L. Crole, Alberto Momigliano	A definitional approach to primitivexs recursion over higher order abstract syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
47	Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel (eds.)	Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Andrei Voronkov	On Computability by Logic Programs.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Audrey Ferry	A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Thomas Eiter, Georg Gottlob	Complexity Results for Logic-Based Abduction.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Yael Moscowitz, Ehud Shapiro	On the Structural Simplicity of Machines and Languages.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Jürgen Dix, Martin Müller 0001	Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier	Halting Problem of One Binary Horn Clause id Undecidable.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	Rule Systems and Well-Orderings.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	Inderpal Singh Mumick, Oded Shmueli	Aggregation, Computability, and Complete Query Languages.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski	Complexity of Computing with Extended Propositional Logic Programs.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
47	John S. Schlipf	A Survey of Complexity and Undecidability Results in Logic Programming.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
43	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
43	Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni	Bayesian Filtering With Random Finite Set Observations.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
43	Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni	Analytic Implementations of the Cardinalized Probability Hypothesis Density Filter.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
43	Adrian Johnstone, Elizabeth Scott	Generalised Regular Parsers.	CC	2003	DBLP DOI BibTeX RDF
43	Bjarne Stig Andersen, Fred G. Gustavson, Alexander Karaivanov, Minka Marinova, Jerzy Wasniewski, Plamen Y. Yalamov	LAWRA: Linear Algebra with Recursive Algorithms.	PARA	2000	DBLP DOI BibTeX RDF
43	Marta Franová	Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.	ISMIS	1996	DBLP DOI BibTeX RDF
43	Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath	MITRE's future generation computer architectures program.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
43	Andrew M. Pitts	Nominal system T.	POPL	2010	DBLP DOI BibTeX RDF	alpha-equivalence, types, recursion, binders
43	Naoki Kobayashi 0001	Model-checking higher-order functions.	PPDP	2009	DBLP DOI BibTeX RDF	model checking, program verification, higher-order functions, recursion schemes
43	John Case, Samuel E. Moelius	Program Self-reference in Constructive Scott Subdomains.	CiE	2009	DBLP DOI BibTeX RDF	Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
43	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
42	Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren	Structural Recursion on Ordered Trees and List-Based Complex Objects.	ICDT	2007	DBLP DOI BibTeX RDF
42	Jevgeni Kabanov, Varmo Vene	Recursion Schemes for Dynamic Programming.	MPC	2006	DBLP DOI BibTeX RDF
42	Martin J. Fischer, Denise M. Bevilacqua Masi	Analyzing internet packet traces using Lindley's Recursion.	WSC	2006	DBLP DOI BibTeX RDF
42	Wolfram T. Arnold, Roger Haydock	A Parallel, Object-Oriented Implementation of the Dynamic Recursion Method.	ISCOPE	1998	DBLP DOI BibTeX RDF
42	Bruce S. Elenbogen, Martha R. O'Kennon	Teaching recursion using fractals in Prolog.	SIGCSE	1988	DBLP DOI BibTeX RDF	Prolog
42	Jean H. Gallier	Recursion Schemes and Generalized Interpretations (Extended Abstract).	ICALP	1979	DBLP DOI BibTeX RDF
42	Claudio Mirolo	Learning (through) recursion: a multidimensional analysis of the competences achieved by CS1 students.	ITiCSE	2010	DBLP DOI BibTeX RDF	recursion, mental models, programming learning
42	Ugo Dal Lago	The geometry of linear higher-order recursion.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction
42	J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes	Interactive visualization of recursion with SRec.	ITiCSE	2009	DBLP DOI BibTeX RDF	human-computer interaction, recursion, program visualization, algorithm animation
42	Alessandro Warth, James R. Douglass, Todd D. Millstein	Packrat parsers can support left recursion.	PEPM	2008	DBLP DOI BibTeX RDF	left recursion, packrat parsing
42	J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes	SRec: an animation system of recursion for algorithm courses.	ITiCSE	2008	DBLP DOI BibTeX RDF	activation trees, usability, recursion, program animation
42	Johan Nordlander, Magnus Carlsson, Andy Gill	Unrestricted pure call-by-value recursion.	ML	2008	DBLP DOI BibTeX RDF	value recursion, semantics, implementation, combinator libraries, call-by-value
42	Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion	A Classification of Viruses Through Recursion Theorems.	CiE	2007	DBLP DOI BibTeX RDF	iteration theorem, polymorphism, propagation, Computer viruses, recursion theorem
42	Andrew M. Pitts	Alpha-structural recursion and induction.	J. ACM	2006	DBLP DOI BibTeX RDF	recursion, induction, names, Abstract syntax, binders
42	Jordan Zashev	Diagonal fixed points in algebraic recursion theory.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Algebraic recursion theory-Combinatory logic
42	David von Oheimb	Hoare Logic for Mutual Recursion and Local Variables.	FSTTCS	1999	DBLP DOI BibTeX RDF	axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
42	Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose	Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF	Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
42	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
40	Jishnu Ray Chowdhury, Cornelia Caragea	Recursion in Recursion: Two-Level Nested Recursion for Length Generalization with Scalability.	CoRR	2023	DBLP DOI BibTeX RDF
40	Jishnu Ray Chowdhury, Cornelia Caragea	Recursion in Recursion: Two-Level Nested Recursion for Length Generalization with Scalability.	NeurIPS	2023	DBLP BibTeX RDF
40	Kenneth C. Louden	Recursion versus non-recursion in Pascal: recursion can be faster.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
36	Alberto Pardo	Combining Datatypes and Effects.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
36	James L. Caldwell	Extracting General Recursive Program Schemes in Nuprl's Type Theory.	LOPSTR	2001	DBLP DOI BibTeX RDF
36	Isak Jonsson, Bo Kågström	RECSY - A High Performance Library for Sylvester-Type Matrix Equations.	Euro-Par	2003	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, RECSY, recursion, superscalar, LAPACK, level 3 BLAS, GEMM-based, SLICOT, automatic blocking
36	Ching-Long Su, Yin-Tsung Hwang	Distributed arithmetic-based architectures for high speed IIR filter design.	ICPADS	1996	DBLP DOI BibTeX RDF	high speed IIR filter, pipelining techniques, SPDM technology, parallel processing, parallel architectures, digital arithmetic, recursion, recursive filters, Distributed Arithmetic, IIR filters, DSP applications
35	Toshiyasu Arai, Naohi Eguchi	A new function algebra of EXPTIME functions by safe nested recursion.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	EXPTIME, Implicit computational complexity
35	Horacio A. B. F. de Oliveira, Azzedine Boukerche, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro	An Efficient Directed Localization Recursion Protocol for Wireless Sensor Networks.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
35	Spyridon Ninos, Apostolos Dollas	Modeling recursion data structures for FPGA-based implementation.	FPL	2008	DBLP DOI BibTeX RDF
35	Zhongfeng Wang 0001	High-Speed Recursion Architectures for MAP-Based Turbo Decoders.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
35	William L. Harrison	A Simple Semantics for Polymorphic Recursion.	APLAS	2005	DBLP DOI BibTeX RDF
35	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Comparing Recursion, Replication, and Iteration in Process Calculi.	ICALP	2004	DBLP DOI BibTeX RDF
35	Mike Reed	Order, Topology, and Recursion Induction in CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
35	Jan-Georg Smaus	The Head Condition and Polymorphic Recursion.	FLOPS	2002	DBLP DOI BibTeX RDF