Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gerlind Plonka	Two-scale symbol and autocorrelation symbol for B-splines with multiple knots.	Adv. Comput. Math.	1995	DBLP DOI BibTeX RDF	Subject classification Primary 41A15, 42A38, 65D07
14	Xiaoyong Du 0001, Naohiro Ishii	An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications	DEXA	1995	DBLP DOI BibTeX RDF
14	Guozhu Dong, Jianwen Su	Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.	ICDT	1995	DBLP DOI BibTeX RDF
14	Tom Mens, Kim Mens, Patrick Steyaert	OPUS: a Formal Approach to Object-Orientation.	FME	1994	DBLP DOI BibTeX RDF
14	Dan Suciu, Val Tannen	A Query Language for NC.	PODS	1994	DBLP DOI BibTeX RDF
14	Richard E. Pattis	Teaching EBNF first in CS 1.	SIGCSE	1994	DBLP DOI BibTeX RDF
14	Rob J. van Glabbeek	A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.	MFCS	1993	DBLP DOI BibTeX RDF
14	Ashish Gupta 0001, Inderpal Singh Mumick, V. S. Subrahmanian	Maintaining Views Incrementally.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, Datalog
14	Weidong Chen 0005, David Scott Warren	Query Evaluation under the Well Founded Semantics.	PODS	1993	DBLP DOI BibTeX RDF
14	Allen Van Gelder	Foundations of Aggregation in Deductive Databases.	DOOD	1993	DBLP DOI BibTeX RDF
14	Rosana S. G. Lanzelotte, Patrick Valduriez, Mohamed Zaït	Optimization of Object-Oriented Recursive Queries using Cost-Controlled Strategies.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
14	Allen Van Gelder	The Well-Founded Semantics of Aggregation.	PODS	1992	DBLP DOI BibTeX RDF	Prolog
14	Klaus P. Jantke	Case-Based Learning in Inductive Inference.	COLT	1992	DBLP DOI BibTeX RDF
14	Huimin Lin	PAM: A Process Algebra Manipulator.	CAV	1991	DBLP DOI BibTeX RDF
14	Tom H. Axford	An elementary language construct for parallel programming.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
14	Upen S. Chakravarthy, John Grant, Jack Minker	Logic-Based Approach to Semantic Query Optimization.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
14	Saumya K. Debray, Nai-Wei Lin	Static Estimation of Query Sizes in Horn Programs.	ICDT	1990	DBLP DOI BibTeX RDF
14	Greg Nelson	A Generalization of Dijkstra's Calculus.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
14	Bent Thomsen	A Calculus of Higher Order Communicating Systems.	POPL	1989	DBLP DOI BibTeX RDF	CCS
14	Loïc Colson	About Primitive Recursive Algorithms.	ICALP	1989	DBLP DOI BibTeX RDF
14	Susumu Yamasaki	Dataflow Programs for Parallel Computations of Logic Programs and their Semantics.	PARLE (2)	1989	DBLP DOI BibTeX RDF	Semantics for fair nodeterminism, Parallel computation of logic programs, Dataflow
14	Giuseppe Cattaneo, Vincenzo Loia	A common-LISP implementation of an extended Prolog system.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, LISP
14	H. Peter Gumm	Continuations of logic programs.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
14	John C. Mitchell, Robert Harper 0001	The Essence of ML. (long version: TOPLAS 15(2): 211-252 (1993))	POPL	1988	DBLP DOI BibTeX RDF	ML
14	Saumya K. Debray	Unfold/Fold Transformations and Loop Optimization of Logic Programs.	PLDI	1988	DBLP DOI BibTeX RDF
14	Dieter Spreen	On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations.	CSL	1987	DBLP DOI BibTeX RDF
14	Alberto Pettorossi	Program Development Using Lambda Abstraction.	FSTTCS	1987	DBLP DOI BibTeX RDF
14	Arthur H. Veen	Dataflow Machine Architecture.	ACM Comput. Surv.	1986	DBLP DOI BibTeX RDF
14	Paris C. Kanellakis	Logic Programming and Parallel Complexity.	ICDT	1986	DBLP DOI BibTeX RDF
14	Klaus Indermark	Complexity of Infinite Trees.	ICALP	1983	DBLP DOI BibTeX RDF
14	John Case, Christopher Lynes	Machine Inductive Inference and Language Identification.	ICALP	1982	DBLP DOI BibTeX RDF
14	Stephen L. Bloom, David B. Patterson	Easy Solutions are Hard To Find.	CAAP	1981	DBLP DOI BibTeX RDF
14	Stefan Sokolowski	A Uniform Approach to Applicative and Imperative Features in Programming Languages.	MFCS	1980	DBLP DOI BibTeX RDF
14	Ken C. Liu, Arthur C. Fleck	String Pattern Matching in Polynomial Time.	POPL	1979	DBLP DOI BibTeX RDF
14	Norman H. Cohen	Characterization and Elimination of Redundancy in Recursive Programs.	POPL	1979	DBLP DOI BibTeX RDF
14	Rod M. Burstall, John Darlington	A Transformation System for Developing Recursive Programs.	J. ACM	1977	DBLP DOI BibTeX RDF
14	Paul R. Young	Toward a Theory of Enumerations.	J. ACM	1969	DBLP DOI BibTeX RDF
14	Herbert Kanner, P. Kosinski, Charles L. Robinson	The structure of yet another ALGOL compiler.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
14	James A. Ayers	Recursive programming in Fortran II.	Commun. ACM	1963	DBLP DOI BibTeX RDF
14	Marvin Blum	On Exponential Digital Filters.	J. ACM	1959	DBLP DOI BibTeX RDF
14	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Nested interpolants.	POPL	2010	DBLP DOI BibTeX RDF	floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement
14	Herman Koppelman, Betsy van Dijk	Teaching abstraction in introductory courses.	ITiCSE	2010	DBLP DOI BibTeX RDF	abstraction, pedagogy, computer science, recursion, abstraction level
14	Jesús Ubaldo Quevedo-Torrero	Solving Recursive Queries Using Depth First Search.	ITNG	2010	DBLP DOI BibTeX RDF	teaching methodology, relational databases, Recursion
14	Tamás Terlaky	Criss-Cross Pivoting Rules.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Criss-cross method, Recursion, Cycling, Oriented matroids, Linear optimization, Pivot rules
14	Tamás Terlaky	Least-index Anticycling Rules.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Anticycling, Least-index, Recursion, Oriented matroids, Pivot rules
14	Sanjay Jain 0001, Eric Martin 0002, Frank Stephan 0001	Input-Dependence in Function-Learning.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Various forms of input presentation, Team learning, Learning with additional information, Inductive inference, Recursion theory
14	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
14	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
14	Robert M. Languedoc, James C. McKim Jr., Joseph G. Trausch	Using a recursive traversal algorithm with an active composite pattern in swing applications.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visitor, composite, recursion, desktop
14	Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez	Embedding a logical theory of constructions in Agda.	PLPV	2009	DBLP DOI BibTeX RDF	general recursion, logical theory of constructions, type theory
14	Brian J. McNely	Backchannel persistence and collaborative meaning-making.	SIGDOC	2009	DBLP DOI BibTeX RDF	mobilization, recursion, persistence, twitter, microblogging, backchannel
14	Anna M. Manning, David J. Haglin, John A. Keane	A recursive search algorithm for statistical disclosure assessment.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Unique itemset, Algorithm, Recursion, Search space, Statistical disclosure
14	Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan	Parser Combinators for Ambiguous Left-Recursive Grammars.	PADL	2008	DBLP DOI BibTeX RDF	left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators
14	Andrea Asperti	The intensional content of Rice's theorem.	POPL	2008	DBLP DOI BibTeX RDF	complexity, computability, recursion theory
14	Ali Erkan, Diyan Gochev	An image background detection project for a visual exploration of DFS and BFS.	SIGCSE	2008	DBLP DOI BibTeX RDF	visualization, algorithms, data structures, recursion, queues, stacks
14	Hannes Kegel, Friedrich Steimann	Systematically refactoring inheritance to delegation in java.	ICSE	2008	DBLP DOI BibTeX RDF	open recursion, evaluation, design, refactoring, inheritance, delegation, forwarding
14	Steven Minsker	The linear twin Towers of Hanoi problem.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	recursion, analysis of algorithms, Towers of Hanoi
14	Geoff W. Hamilton	Distillation: extracting the essence of programs.	PEPM	2007	DBLP DOI BibTeX RDF	superlinear improvement, program transformation, termination, generalisation, tail-recursion
14	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Linear Recursive Functions.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF	linear calculi, computable functions, iteration, Recursion theory
14	John Case, Samuel E. Moelius	Cautious virus detection in the extreme.	PLAS	2007	DBLP DOI BibTeX RDF	co-isolated sets, program self-reference, simple sets, virus detection, recursion theorems
14	Garnett Carl Wilson, Malcolm I. Heywood	Learning recursive programs with cooperative coevolution of genetic code mapping and genotype.	GECCO	2007	DBLP DOI BibTeX RDF	recursion, redundant representation, cooperative coevolution, genetic code, genotype-phenotype mapping, developmental genetic programming
14	Sanjay Jain 0001, Eric Martin 0002, Frank Stephan 0001	Input-Dependence in Function-Learning.	CiE	2007	DBLP DOI BibTeX RDF	various forms of input presentation, team learning, learning with additional information, Inductive inference, recursion theory
14	José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places	A semantic approach to optimize linear datalog programs.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Deductive databases, Recursion, Semantic query optimization, SQL:1999
14	Hans Hüttel, Jirí Srba	Decidability Issues for Extended Ping-Pong Protocols.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	replication, cryptographic protocols, formal modelling, recursion
14	Linda Lawton	Almost complemented Pi01 classes.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	?01 classes, computability, recursion
14	Jennifer Tenzer, Perdita Stevens	On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Protocol state machines, UML, Recursion, Object-oriented modelling, State machines, Callbacks
14	Robert Granat, Isak Jonsson, Bo Kågström	Recursive Blocked Algorithms for Solving Periodic Triangular Sylvester-Type Matrix Equations.	PARA	2006	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, periodic matrix equations, recursion, blocking, superscalar, level 3 BLAS
14	Alexander Holt, Sarah Rauchas, Ian D. Sanders	Introducing python into the first year curriculum at wits.	ITiCSE	2006	DBLP DOI BibTeX RDF	imperative, programming experience, SCHEME, recursion, Python, schools
14	Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig	Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion
14	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
14	Tom Hirschowitz, Xavier Leroy	Mixin modules in a call-by-value setting.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	type systems, recursion, modules, Mixins
14	J. Ángel Velázquez-Iturbide	A programming languages course for freshmen.	ITiCSE	2005	DBLP DOI BibTeX RDF	language description, programming languages, functional programming, recursion, programming paradigms, formal grammars
14	John P. Dougherty, David Wonnacott	Use and assessment of a rigorous approach to CS1.	SIGCSE	2005	DBLP DOI BibTeX RDF	multi-paradigm, verification, pedagogy, CS1, gender, recursion, rigor
14	Lee Spector, Jon Klein, Maarten Keijzer	The Push3 execution stack and the evolution of control.	GECCO	2005	DBLP DOI BibTeX RDF	reversing a list, stack-based genetic programming, sorting, recursion, iteration, combinators, exponentiation, push, parity, Fibonacci sequence, factorial
14	Alexei Vernitski	Finite quasivarieties and self-referential conditions.	Stud Logica	2004	DBLP DOI BibTeX RDF	quasi-identity, pseudovariety, self-referential condition, recursion, quasivariety
14	Clare E. Martin, Jeremy Gibbons, Ian Bayley	Disciplined, efficient, generalised folds for nested datatypes.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold
14	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
14	Nick Parlante, David Matuszek, Jeff Lehman, David Reed, John K. Estell, Donald D. Chinn	Nifty assignments.	SIGCSE	2004	DBLP DOI BibTeX RDF	minesweeper, pirate, education, object oriented programming, pedagogy, recursion, library, repository, assignments, examples, nifty, homeworks, cards
14	Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato	Semi-naive evaluation in linear tabling.	PPDP	2004	DBLP DOI BibTeX RDF	linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization
14	Ferruccio Damiani	Rank 2 intersection types for local definitions and conditional expressions.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	polymorphic recursion, Type inference, principal typings
14	Yanhong A. Liu, Scott D. Stoller	Optimizing Ackermann's function by incrementalization.	PEPM	2003	DBLP DOI BibTeX RDF	tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization
14	Alistair E. R. Campbell, Geoffrey L. Catto, Eric E. Hansen	Language-independent interactive data visualization.	SIGCSE	2003	DBLP DOI BibTeX RDF	visualization, data-structures, recursion, CS2, scope
14	Neng-Fa Zhou, Taisuke Sato	Efficient fixpoint computation in linear tabling.	PPDP	2003	DBLP DOI BibTeX RDF	linear tabling, prolog, recursion, tabling, optimization techniques, memoization
14	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	PPDP	2003	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation
14	Isak Jonsson, Bo Kågström	Recursive blocked algorithms for solving triangular systems - Part II: two-sided and generalized Sylvester and Lyapunov matrix equations.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	SMP parallelization, generalized Sylvester and Lyapunov, standard discrete-time Sylvester and Lyapunov, recursion, superscalar, LAPACK, level-3 BLAS, GEMM-based, SLICOT, Matrix equations, automatic blocking
14	Bruno Durand 0001, Leonid A. Levin, Alexander Shen	Complex tilings.	STOC	2001	DBLP DOI BibTeX RDF	Kolmogrov complexity, tilings, recursion theory
14	Jaehwa Park, Venu Govindaraju, Sargur N. Srihari	OCR in a Hierarchical Feature Space.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	character/digit recognition, Pattern recognition, recursion, multiresolution, feature space, hierarchical classification
14	Michael Huth 0001	On the Approximation of Denotational Mu-Semantics.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	least/greatest pixed, recursion, points, partial orders, denotational semantics
14	Robert O'Callahn	A Simple, Comprehensive Type System for Java Bytecode Subroutines.	POPL	1999	DBLP DOI BibTeX RDF	polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode
14	R. W. Brankin, Ian Gladwell	Algorithm 771: rksuite_90: Fortran 90 Software for Ordinary Differential Equation Initial-Value Problems.	ACM Trans. Math. Softw.	1997	DBLP DOI BibTeX RDF	complex, recursion, Fortran 90
14	Viktor K. Sabelfeld, Andrei Sabelfeld	Simple Semantic Analysis Problems for Functional Programs.	ICFP	1997	DBLP DOI BibTeX RDF	parameter dependence, static analysis, approximation, abstract interpretation, flow analysis, strictness analysis, recursion scheme
14	Martin P. Ward	Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement
14	Andrei P. Nemytykh, Victoria A. Pinchuk	Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation
14	Armin Kühnemann	A Pumping Lemma for Output Languages of Macro Tree Transducers.	CAAP	1996	DBLP DOI BibTeX RDF	Macro tree transducer, Pumping Lemma, Primitive Recursion
14	Rusins Freivalds, Efim B. Kinber, Carl H. Smith	On the Impact of Forgetting on Learning Machines.	J. ACM	1995	DBLP DOI BibTeX RDF	memory limited learning, machine learning, Kolmogorov complexity, inductive inference, probabilistic automata, pumping lemma, recursion theorem
14	Eike Best, Maciej Koutny	Solving Recursive Net Equations.	ICALP	1995	DBLP DOI BibTeX RDF	Petri nets, Recursion, Denotational semantics
14	Adrian E. Conway, Eugene Pinsky, Srinivasan Tridandapani	Efficient Decomposition Methods for the Analysis of Multi-Facility Blocking Models.	J. ACM	1994	DBLP DOI BibTeX RDF	blocking models, locality, recursion, sparsity, product-form, decomposition methods, circuit-switched networks, exact analysis
14	Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi	Undecidable Optimization Problems for Database Logic Programs.	J. ACM	1993	DBLP DOI BibTeX RDF	query language, Datalog, recursion, boundedness
14	Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapron	Parallel computable higher type functionals (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	recursion-theoretic characterisations, parallel computable higher type functionals, parallel complexity classes, higher type classes, machine-theoretic characterisations, proof-theoretic characterisations
14	Jiawei Han 0001, Ling Liu	Efficient Evaluation of Multiple Linear Recursions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	multiple one sided linear recursions, multiple balanced K-sided recursions, multiple mixed K-sided recursion, side-coherent multiple linear recursions, single-linear recursive query evaluation, side-relation unioned processing, side-relation unioned transitive closure algorithm, side-relation unioned magic sets method, single-probe queries, information retrieval, database theory, deductive database, deductive databases, recursive functions