Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Yasuo Matsubara, Takahiro Shakushi	The Effects of Timing Dependence and Recursion on Parallel Program Schemata.	ISHPC	2002	DBLP DOI BibTeX RDF
35	Karl-Heinz Niggl	Non-definability of the Ackermann function with type 1 partial primitive recursion.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
35	Ting Yu, Owen Kaser	A Note on "On the Conversion of Indirect to Direct Recursion".	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	inline substitution, procedure inlining, call graphs
35	John C. Mitchell, Ramesh Viswanathan	Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
35	Roberto Di Cosmo, Delia Kesner	A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.	ICALP	1993	DBLP DOI BibTeX RDF
35	Eike Best, Raymond R. Devillers, Javier Esparza	General Refinement and Recursion Operators for the Petri Box Calculus.	STACS	1993	DBLP DOI BibTeX RDF
35	Hans Leiß	Towards Kleene Algebra with Recursion.	CSL	1991	DBLP DOI BibTeX RDF
35	Per-Åke Larson, Vinay Deshpande	A File Structure Supporting Traversal Recursion.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
35	Naoki Kobayashi 0001	Types and higher-order recursion schemes for verification of higher-order programs.	POPL	2009	DBLP DOI BibTeX RDF	model checking, type system, higher-order recursion scheme
35	Katherine Gunion, Todd M. Milford, Ulrike Stege	Curing recursion aversion.	ITiCSE	2009	DBLP DOI BibTeX RDF	learning programming, teaching recursion, divide and conquer
35	Ke Yang, Bingsheng He, Qiong Luo 0001, Pedro V. Sander, Jiaoying Shi	Stack-based parallel recursion on graphics processors.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel, recursion, stack, graphics processors
35	Yves Bertot, Ekaterina Komendantskaya	Using Structural Recursion for Corecursion.	TYPES	2008	DBLP DOI BibTeX RDF	Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq
35	Richard A. Frost, Rahmatullah Hafiz	A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	left-recursion, top-down parsing, backtracking, memoization, parser combinators
35	Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion	On Abstract Computer Virology from a Recursion Theoretic Perspective.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF	Polymorphic virus, Companion virus, Computability, Detection, Computer virus, Self-reference, Recursion theorem
35	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
35	Stefan Kahrs	Genetic programming with primitive recursion.	GECCO	2006	DBLP DOI BibTeX RDF	program transformation, grammatical evolution, primitive recursion
35	Mark Staples	Interfaces for Refining Recursion and Procedures.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Refinement Tools, Interfaces, Refinement, Recursion, Procedures
35	Greg Breinholt, Christoph Schierz	Algorithm 781: Generating Hilbert's Space-Filling Curve by Recursion.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	recursion
35	Jayadev Misra	Powerlist: A Structure for Parallel Recursion.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Batcher sort, algebra of parallel programs, parallel programs, hypercube, Fast Fourier Transform, recursion, prefix sum
29	Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni	The Cardinality Balanced Multi-Target Multi-Bernoulli Filter and Its Implementations.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
29	C.-H. Luke Ong	Verification of Higher-Order Computation: A Game-Semantic Approach.	ESOP	2008	DBLP DOI BibTeX RDF
29	Hua Yan, Ju Liu	Implementation Schemes of Regularization Super-Resolution Image Reconstruction.	SiPS	2007	DBLP DOI BibTeX RDF
29	Paulo Oliva	Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis.	CiE	2006	DBLP DOI BibTeX RDF
29	C.-H. Luke Ong	Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract).	CSL	2006	DBLP DOI BibTeX RDF
29	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
29	Christian Worm Mortensen, Rasmus Pagh, Mihai Patrascu	On dynamic range reporting in one dimension.	STOC	2005	DBLP DOI BibTeX RDF	bloomier filters, integer search, range reporting, perfect hashing
29	Hossam A. ElGindy, George Ferizis	Mapping Basic Recursive Structures to Runtime Reconfigurable Hardware.	FPL	2004	DBLP DOI BibTeX RDF
29	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
29	Giansalvatore Mecca, Anthony J. Bonner	Query Languages for Sequence Databases: Termination and Complexity.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	complexity, query languages, Datalog, deductive databases, termination, Sequence databases
29	Levent Erkök, John Launchbury	Recursive monadic bindings.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
29	Graham Hutton	Fold and Unfold for Program Semantics.	ICFP	1998	DBLP DOI BibTeX RDF	CCS
29	Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii	Counting-Based Normalization for Multiple Linear Recursions.	DEXA	1996	DBLP DOI BibTeX RDF
29	Krishna R. Pattipati, Joel L. Wolf, Somnath Deb	A Calculus of Variations Approach to File Allocation Problems in Computer Systems.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
29	Donald H. Berman	Cutting Legal Loops.	ICAIL	1989	DBLP DOI BibTeX RDF
29	Hans Bekic	The Meaning of Names in PL/I.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
28	John Case, Samuel E. Moelius	Characterizing Programming Systems Allowing Program Self-Reference.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Computable operators, Programming systems, Recursive function theory, Recursive operators, Computability theory, Control structures, Self-reference, Recursion theorem, Numberings
28	Claudio Mirolo	Mental models of recursive computations vs. recursive analysis in the problem domain.	ITiCSE	2009	DBLP DOI BibTeX RDF	recursion, mental models, programming learning
28	A. B. Dieker, Marc Lelarge	Tails for (max, plus) recursions under subexponentiality.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	(Max, plus) recursion, Open queueing network, Stochastic event graph, Resequencing delay, Subexponential distribution
28	Geoffrey E. Ostrin, Stanley S. Wainer	Complexity in Predicative Arithmetic.	CiE	2005	DBLP DOI BibTeX RDF	provable recursion, ordinal analysis, slow growing hierarchy
28	Bo Kågström	Management of Deep Memory Hierarchies - Recursive Blocked Algorithms and Hybrid Data Structures for Dense Matrix Computations.	PARA	2004	DBLP DOI BibTeX RDF	automatic variable blocking, hybrid data structures, superscalar kernels, SMP parallelization, library software, ESSL, RECSY, periodic systems, factorizations, recursion, superscalar, LAPACK, level 3 BLAS, dense linear algebra, GEMM-based, SLICOT, matrix equations
28	Lutz Prechelt, Stefan U. Hänßgen	Efficient Parallel Execution of Irregular Recursive Programs.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Granularity control, benchmarks, profiling, recursion, instrumentation, SMP, irregular problems
28	Dalit Levy, Tami Lapidot	Shared terminology, private syntax: the case of recursive descriptions.	ITiCSE	2002	DBLP DOI BibTeX RDF	class discourse, recursion, constructivism
28	Erik Elmroth, Fred G. Gustavson	High-Performance Library Software for QR Factorization.	PARA	2000	DBLP DOI BibTeX RDF	Serial and parallel library software, register blocking, unrolling, SMP systems, recursion, dynamic load balancing, QR factorization
28	Isak Jonsson, Bo Kågström	Parallel Triangular Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking.	PARA	2000	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, recursion, superscalar, level 3 BLAS, GEMM-based, automatic blocking
28	Eike Best, Raymond R. Devillers, Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions.	ICATPN	1999	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
28	Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman	Client view first: an exodus from implementation-biased teaching.	SIGCSE	1999	DBLP DOI BibTeX RDF	programming languages, recursion
28	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
28	Naoki Kobayashi 0001, C.-H. Luke Ong	Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus.	ICALP (2)	2009	DBLP DOI BibTeX RDF
28	Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner	Recursion in XQuery: put your distributivity safety belt on.	EDBT	2009	DBLP DOI BibTeX RDF
28	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
28	Shunsuke Kobayakawa, Hirokazu Yokoi	Evaluation of Prediction Capability of Non-recursion Type 2nd-order Volterra Neuron Network for Electrocardiogram.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
28	C.-H. Luke Ong	On Model-Checking Trees Generated by Higher-Order Recursion Schemes.	LICS	2006	DBLP DOI BibTeX RDF
28	Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan 0001	Kolmogorov Complexity and the Recursion Theorem.	STACS	2006	DBLP DOI BibTeX RDF
28	Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap	Almost tight recursion tree bounds for the Descartes method.	ISSAC	2006	DBLP DOI BibTeX RDF	Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis
28	Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto	Recursion patterns and time-analysis.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF
28	Andrew M. Pitts	Alpha-Structural Recursion and Induction.	TPHOLs	2005	DBLP DOI BibTeX RDF
28	Ugo Dal Lago	The Geometry of Linear Higher-Order Recursion.	LICS	2005	DBLP DOI BibTeX RDF
28	Andreas Podelski, Ina Schaefer, Silke Wagner	Summaries for While Programs with Recursion.	ESOP	2005	DBLP DOI BibTeX RDF
28	Satoru Kuroda	Recursion Schemata for Slowly Growing Depth Circuit Classes.	Comput. Complex.	2004	DBLP DOI BibTeX RDF	Subject classification. 03D20, 94C99, 68Q15
28	Amir M. Ben-Amram	A complexity-theoretic proof of a Recursion-Theoretic Theorem.	SIGACT News	2004	DBLP DOI BibTeX RDF
28	Andreas Abel 0001, Ralph Matthes	Fixed Points of Type Constructors and Primitive Recursion.	CSL	2004	DBLP DOI BibTeX RDF
28	Peter Apostoli, Akira Kanda	Upper and Lower Recursion Schemes in Abstract Approximation Spaces.	RSFDGrC	2003	DBLP DOI BibTeX RDF
28	Egon Börger, Tommaso Bolognesi	Remarks on Turbo ASMs for Functional Equations and Recursion Schemes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
28	Yoshihiko Kakutani	Duality between Call-by-Name Recursion and Call-by-Value Iteration.	CSL	2002	DBLP DOI BibTeX RDF
28	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
28	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
28	Wanda P. Dann, Stephen Cooper, Randy Pausch	Using visualization to teach novices recursion.	ITiCSE	2001	DBLP DOI BibTeX RDF
28	Alessandro Berarducci, Corrado Böhm	General Recursion on Second Order Term Algebras.	RTA	2001	DBLP DOI BibTeX RDF
28	Yanhong A. Liu, Scott D. Stoller	From Recursion to Iteration: What are the Optimizations?	PEPM	2000	DBLP DOI BibTeX RDF
28	Carlisle Eldwidge George	EROSI - visualising recursion and discovering new errors.	SIGCSE	2000	DBLP DOI BibTeX RDF
28	Donglin Liang, Mary Jean Harrold	Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.	ICSM	1999	DBLP DOI BibTeX RDF
28	Cheng-Chih Wu, Nell B. Dale, Lowell J. Bethel	Conceptual models and cognitive learning styles in teaching recursion.	SIGCSE	1998	DBLP DOI BibTeX RDF
28	Martín Hötzel Escardó, Thomas Streicher	Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.	LICS	1997	DBLP DOI BibTeX RDF
28	Viera K. Proulx	Recursion and grammars for CS2.	ITiCSE	1997	DBLP DOI BibTeX RDF
28	A. J. Kfoury	Recursion Versus Iteration at Higher-Orders.	FSTTCS	1997	DBLP DOI BibTeX RDF
28	H. J. Pu, M. Müller, E. Abdalla, L. Abdelatif, E. Mokhtar Bakr, Hassan A. Nour Eldin	Parallel computation of the inertia matrix of a tree type robot using one directional recursion of Newton-Euler formulation.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	parallel computation, Robotics, robot dynamics
28	Peter Bachmann	On the Power of Recursion in Dataflow Schemes.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
28	David A. McAllester, Kostas Arkoudas	Walther Recursion.	CADE	1996	DBLP DOI BibTeX RDF
28	Roberto Di Cosmo, Delia Kesner	Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.	ICALP	1994	DBLP DOI BibTeX RDF
28	Torben Braüner	The Girard Translation Extended with Recursion.	CSL	1994	DBLP DOI BibTeX RDF
28	Håkan Millroth	Reform Compilation for Nonlinear Recursion.	LPAR	1992	DBLP DOI BibTeX RDF
28	Reinhold Heckmann	Power Domains Supporting Recursion and Failure.	CAAP	1992	DBLP DOI BibTeX RDF
28	Anthony J. Bonner	Hypothetical Datalog: Negation and Linear Recursion.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
28	Ivan B. Liss, Thomas C. McMillan	An amazing exercise in recursion for CS1 and CS2.	SIGCSE	1988	DBLP DOI BibTeX RDF
28	H. V. Jagadish, Rakesh Agrawal 0001, Linda Ness	A Study of Transitive Closure As a Recursion Mechanism.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
28	Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola	Traversal Recursion: A Practical Approach to Supporting Recursive Applications.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
28	Sukumar Ghosh, Somprakash Bandyopadhyay, Chandan Mazumdar, S. Bhattacharya	Handling of recursion in dataflow model.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Coloured token, Packet communication architecture, Tagged token, Functional program, Pipelining, Template
27	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Recursion Schemes and Logical Reflection.	LICS	2010	DBLP DOI BibTeX RDF	Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes
27	Bolei Guo, Neil Vachharajani, David I. August	Shape analysis with inductive recursion synthesis.	PLDI	2007	DBLP DOI BibTeX RDF	inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic
27	Iraj Kalantari, Larry Welch	A blend of methods of recursion theory and topology: A Pi10 tree of shadow points.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	10 Trees, Recursive analysis, Recursive topology, Topology, Recursion theory
27	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, semantics, recursion, functional languages
27	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
27	Wenyu Lu, Dik Lun Lee, Jiawei Han 0001	A Study on the Structure of Linear Recursion.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	linear recursion, variable connections, static bindings, chain connections, chain recursions, rule compilation, query information, optimized query-processing plans, rule classification, query processing, query processing, optimisation, database theory, deductive databases, deductive database, expansions, logic database
27	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	Type Reconstruction in the Presence of Polymorphic Recursion.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification
27	Fritz Henglein	Type Inference with Polymorphic Recursion.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	semiunification, polymorphism, type inference, recursion
27	Michele Angelaccio, Tiziana Catarci, Giuseppe Santucci	QBD*: A Graphical Query Language with Recursion.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	QBD, standard user interface, Query by Diagram, information retrieval, databases, graphical user interfaces, query languages, recursion, conceptual data model, graphical query language
27	Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler	Unraveling Recursion: Compiling an IR with Recursion to System F.	MPC	2019	DBLP DOI BibTeX RDF
27	Siddharth Bhaskar	Recursion versus tail recursion over ‾p.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
27	Nikhil Sharma, Sridhar Chimalakonda	Learning Recursion from Music and Music from Recursion.	ICALT	2018	DBLP DOI BibTeX RDF
27	Siddharth Bhaskar	A Difference in Complexity Between Recursion and Tail Recursion.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF