Search results for "Narrowing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Annegret Habel, Detlef Plump	Complete Strategies for Term Graph Narrowing.	WADT	1998	DBLP DOI BibTeX RDF
107	Sergio Antoy, Zena M. Ariola	Narrowing the Narrowing Space.	PLILP	1997	DBLP DOI BibTeX RDF	Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
101	María Alpuente, Santiago Escobar 0001, José Iborra	Modular Termination of Basic Narrowing.	RTA	2008	DBLP DOI BibTeX RDF
101	José Meseguer 0001, Prasanna Thati	Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewrite theories, Security protocols, Reachability, Narrowing
101	Sergio Antoy, Rachid Echahed, Michael Hanus	A needed narrowing strategy.	J. ACM	2000	DBLP DOI BibTeX RDF	call-by-need, narrowing strategies, rewrite systems, functional logic programming languages
90	Santiago Escobar 0001	Refining weakly outermost-needed rewriting and narrowing.	PPDP	2003	DBLP DOI BibTeX RDF	neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
90	Andreas Werner 0001, Alexander Bockmayr, Stefan Krischer	How to Realize LSE Narrowing.	ALP	1994	DBLP DOI BibTeX RDF
90	Michael Hanus	Incremental Rewriting in Narrowing Derivations.	ALP	1992	DBLP DOI BibTeX RDF
83	María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal	Specialization of Lazy Functional Logic Programs.	PEPM	1997	DBLP DOI BibTeX RDF	integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
83	José Hernández-Orallo, M. José Ramírez-Quintana	A Strong Complete Schmema for Inductive Functional Logic Programming.	ILP	1999	DBLP DOI BibTeX RDF	Function Invention, Induction of Auxiliary Functions, Inverse Narrowing, Inductive Logic Programming, Narrowing, Functional Logic Programming
80	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Natural Narrowing for General Term Rewriting Systems.	RTA	2005	DBLP DOI BibTeX RDF
80	Michael Hanus, Christian Prehofer	Higher-Order Narrowing with Definitional Trees.	RTA	1996	DBLP DOI BibTeX RDF
80	Stefan Krischer, Alexander Bockmayr	Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test.	RTA	1991	DBLP DOI BibTeX RDF
80	J. Guadalupe Ramos, Josep Silva, Germán Vidal	Fast narrowing-driven partial evaluation for inductively sequential programs.	ICFP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, quasi-termination, narrowing
69	Santiago Escobar 0001, José Meseguer 0001	Symbolic Model Checking of Infinite-State Systems Using Narrowing.	RTA	2007	DBLP DOI BibTeX RDF
69	Rachid Echahed, Nicolas Peltier	Narrowing Data-Structures with Pointers.	ICGT	2006	DBLP DOI BibTeX RDF
69	Santiago Escobar 0001	Implementing Natural Rewriting and Narrowing Efficiently.	FLOPS	2004	DBLP DOI BibTeX RDF
69	María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal	Safe Folding/Unfolding with Conditional Narrowing.	ALP/HOA	1997	DBLP DOI BibTeX RDF
69	Michael Hanus	Combining Lazy Narrowing and Simplification.	PLILP	1994	DBLP DOI BibTeX RDF
69	Jia-Huai You	Outer Narrowing for Equational Theories Based on Constructors.	ICALP	1988	DBLP DOI BibTeX RDF
69	Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost	Specializing Narrowing for Timetable Generation: A Case Study.	PADL	2005	DBLP DOI BibTeX RDF	Timetable generation, Constraints, Narrowing, Functional-logic programming
69	Jonathan K. Millen, Hai-Ping Ko	Narrowing terminates for encryption.	CSFW	1996	DBLP DOI BibTeX RDF	term replacement rules, reduction properties, symbolic encryption operations, narrowing steps, infinite sequence, popular abstract encryption operators, terminating algorithm, cryptography, encryption, access protocols, protocol analysis
59	María Alpuente, Santiago Escobar 0001, José Iborra	Termination of Narrowing Using Dependency Pairs.	ICLP	2008	DBLP DOI BibTeX RDF
59	Germán Vidal	Termination of Narrowing in Left-Linear Constructor Systems.	FLOPS	2008	DBLP DOI BibTeX RDF
59	Emanuele Viola	E-unifiability via Narrowing.	ICTCS	2001	DBLP DOI BibTeX RDF
59	Satoshi Okui, Aart Middeldorp, Tetsuo Ida	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF
59	Olav Lysne	On the Connection between Narrowing and Proof by Consistency.	CADE	1994	DBLP DOI BibTeX RDF
59	Rachid Echahed	Uniform Narrowing Strategies.	ALP	1992	DBLP DOI BibTeX RDF
59	John Darlington, Yike Guo	Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction.	RTA	1989	DBLP DOI BibTeX RDF
59	Jia-Huai You, P. A. Subrahmanyam	On the Completeness of Narrowing for E-Unification.	KBCS	1989	DBLP DOI BibTeX RDF
59	Alexander Bockmayr	Narrowing with Built-In Theories.	ALP	1988	DBLP DOI BibTeX RDF
59	Pierre Réty	Improving Basic Narrowing Techniques.	RTA	1987	DBLP DOI BibTeX RDF
55	Jim Christian	Some Termination Criteria for Narrowing and E-Narrowing.	CADE	1992	DBLP DOI BibTeX RDF
52	Michael Katelman, José Meseguer 0001, Santiago Escobar 0001	Directed-Logical Testing for Functional Verification of Microprocessors.	MEMOCODE	2008	DBLP DOI BibTeX RDF
52	Sergio Antoy, Stephen Johnson	Formalization and abstract implementation of rewriting with nested rules.	PPDP	2004	DBLP DOI BibTeX RDF	term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
52	María Alpuente, Moreno Falaschi, Germán Vidal	Partial Evaluation of Functional Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
49	Isabelle Gnaedig, Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
49	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF
49	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Narrowing Failure in Functional Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
49	Tetsuo Ida, Mircea Marin, Taro Suzuki	Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.	EUROCAST	2001	DBLP DOI BibTeX RDF
49	Robert Nieuwenhuis	On Narrowing, Refutation Proofs and Constraints.	RTA	1995	DBLP DOI BibTeX RDF
49	Sergio Antoy, Rachid Echahed, Michael Hanus	A Needed Narrowing Strategy.	POPL	1994	DBLP DOI BibTeX RDF
49	Aart Middeldorp, Erik Hamoen	Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract).	ALP	1992	DBLP DOI BibTeX RDF
49	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.	CSL	1992	DBLP DOI BibTeX RDF
49	Rita Loogen	From Reduction Machines To Narrowing Machines.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
49	Andy Mück	Compilation of Narrowing.	PLILP	1990	DBLP DOI BibTeX RDF
49	Rachid Echahed	On Comleteness of Narrowing Strategies.	CAAP	1988	DBLP DOI BibTeX RDF
49	Peter Padawitz	Strategy-Controlled Reduction and Narrowing.	RTA	1987	DBLP DOI BibTeX RDF
48	Mircea Marin, Aart Middeldorp	New completeness results for lazy conditional narrowing.	PPDP	2004	DBLP DOI BibTeX RDF	conditional rewriting, narrowing, evaluation strategies
48	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A lazy narrowing calculus for declarative constraint programming.	PPDP	2004	DBLP DOI BibTeX RDF	constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages
42	Ilya Levin, Benjamin Abramov, Vladimir Ostrovsky	Reduction of Fault Latency in Sequential Circuits by using Decomposition.	DFT	2007	DBLP DOI BibTeX RDF
42	Gerda Janssens, Maurice Bruynooghe, Vincent Englebert	Abstracting Numerical Values in CLP(H, N).	PLILP	1994	DBLP DOI BibTeX RDF
42	Jia-Huai You, P. A. Subrahmanyam	E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.	ICALP	1986	DBLP DOI BibTeX RDF
42	J. Guadalupe Ramos, Josep Silva, Germán Vidal	An offline partial evaluator for curry programs.	WCFLP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, narrowing
42	Sonia Estévez Martín, Rafael del Vado Vírseda	Designing an efficient computation strategy in CFLP(FD) using definitional trees.	WCFLP	2005	DBLP DOI BibTeX RDF	definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains
42	Pascual Julián Iranzo, Christian Villamizar Lamus	Analysing Definitional Trees: Looking for Determinism.	FLOPS	2004	DBLP DOI BibTeX RDF	narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
42	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.	PPDP	2002	DBLP DOI BibTeX RDF	ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing
38	Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Unification and Narrowing in Maude 2.4.	RTA	2009	DBLP DOI BibTeX RDF
38	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
38	Prasanna Thati, José Meseguer 0001	Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.	CALCO	2005	DBLP DOI BibTeX RDF
38	Jürgen Stuber	A Model-Based Completeness Proof of Extended Narrowing and Resolution.	IJCAR	2001	DBLP DOI BibTeX RDF
38	María Alpuente, Moreno Falaschi, Germán Vidal	Narrowing-Driven Partial Evaluation of Functional Logic Programs.	ESOP	1996	DBLP DOI BibTeX RDF
38	Koichi Nakahara, Aart Middeldorp, Tetsuo Ida	A Complete Narrowing Calculus for Higher-Order Functional Logic Programming	PLILP	1995	DBLP DOI BibTeX RDF
38	Bernhard Reus	Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing.	PLILP	1992	DBLP DOI BibTeX RDF
38	Manuel M. T. Chakravarty, Hendrik C. R. Lock	The Implementation of Lazy Narrowing.	PLILP	1991	DBLP DOI BibTeX RDF
38	David de Frutos-Escrig, María-Inés Fernández-Camacho	On Narrowing Strategies for Partial Non-Strict Functions.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
38	Jacques Chabin, Pierre Réty	Narrowing Directed by a Graph of Terms.	RTA	1991	DBLP DOI BibTeX RDF
38	Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo	Lazy Narrowing in a Graph Machine.	ALP	1990	DBLP DOI BibTeX RDF
38	A. J. J. Dick, Jim Cunningham	Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.	CADE	1986	DBLP DOI BibTeX RDF
38	Laurent Fribourg	A Narrowing Procedure for Theories with Constructors.	CADE	1984	DBLP DOI BibTeX RDF
38	Sergio Antoy, Bernd Brassel, Michael Hanus	Conditional narrowing without conditions.	PPDP	2003	DBLP DOI BibTeX RDF	conditional rewriting, narrowing, functional logic programming, evaluation strategies
38	María José Ramírez, Moreno Falaschi	Conditional Narrowing with Constructive Negation.	ELP	1992	DBLP DOI BibTeX RDF	Equational logic programming, term rewriting systems, narrowing, constructive negation
35	Sébastien Limet, Pierre Réty	An Attempt of Integration of LSE Narrowing and Directed Narrowing.	UNIF	1995	DBLP BibTeX RDF
31	Axel Simon, Andy King	Widening Polyhedra with Landmarks.	APLAS	2006	DBLP DOI BibTeX RDF
31	Rafael del Vado Vírseda	Declarative Constraint Programming with Definitional Trees.	FroCoS	2005	DBLP DOI BibTeX RDF
31	Stefan Ratschan	Continuous First-Order Constraint Satisfaction.	AISC	2002	DBLP DOI BibTeX RDF	Reasoning, Constraint Programming
31	Juan José Moreno-Navarro	Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.	ELP	1996	DBLP DOI BibTeX RDF
31	Isabelle Gnaedig	Induction for positive almost sure termination.	PPDP	2007	DBLP DOI BibTeX RDF	constraint, probability, abstraction, termination, narrowing
31	Isabelle Gnaedig, Hélène Kirchner	Computing constructor forms with non terminating rewrite programs.	PPDP	2006	DBLP DOI BibTeX RDF	constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
31	Andrew P. Tolmach, Sergio Antoy, Marius Nita	Implementing functional logic languages using multiple threads and stores.	ICFP	2004	DBLP DOI BibTeX RDF	functional logic languages, multi-versioned stores, residuation, narrowing
31	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Theorem Proving Modulo.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
31	Maroun Kassab, Eduard Cerny, Sidi Aourid, Thomas H. Krodel	Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis.	DATE	1998	DBLP DOI BibTeX RDF	Waveforms, Graph Dominators, Domain narrowing, Formal Verification, Timing Verification, Combinational Logic circuits
31	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	A Rewriting Logic for Declarative Programming.	ESOP	1996	DBLP DOI BibTeX RDF	non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming
28	Hiromitsu Hattori, Mark Klein, Takayuki Ito 0001	Using iterative narrowing to enable multi-party negotiations with multiple interdependent issues.	AAMAS	2007	DBLP DOI BibTeX RDF	multi-issue negotiation
28	Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal	Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.	LOPSTR	2006	DBLP DOI BibTeX RDF
28	Lindsey Marshall, Lester Meachem	Widening Access, Narrowing Curriculum: Is the Expectation of Software Training Changing the Culture within Visual Communications Higher Education?	ICALT	2005	DBLP DOI BibTeX RDF
28	Yuri G. Dolgov	On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
28	Germán Vidal	Cost-augmented narrowing-driven specialization.	PEPM	2002	DBLP DOI BibTeX RDF
28	Taro Suzuki, Aart Middeldorp	A Complete Selection Function for Lazy Conditional Narrowing.	FLOPS	2001	DBLP DOI BibTeX RDF
28	Maria Teresa Hortalá-González, Eva Ullán	An Abstract Machine Based System for a Lazy Narrowing Calculus.	FLOPS	2001	DBLP DOI BibTeX RDF
28	Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas	Lazy Narrowing with Parametric Order Sorted Types.	ALP/HOA	1997	DBLP DOI BibTeX RDF
28	Heinz Faßbender	A Verified Implementation of Narrowing	PLILP	1995	DBLP DOI BibTeX RDF
28	Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas	Combining Lazy Narrowing with Disequality Constraints.	PLILP	1994	DBLP DOI BibTeX RDF
28	Ulrich Fraus, Heinrich Hußmann	An Inductive Theorem Prover Based on Narrowing.	LPAR	1992	DBLP DOI BibTeX RDF
28	Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Independent AND-Parallel Implementation of Narrowing.	PLILP	1992	DBLP DOI BibTeX RDF
28	Patrick Cousot, Radhia Cousot	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF
28	Ulrich Fraus, Heinrich Hußmann	A Narrowing-Based Theorem Prover.	PLILP	1991	DBLP DOI BibTeX RDF
28	Ulrich Fraus	A Narrowing-Based Theorem Prover.	RTA	1991	DBLP DOI BibTeX RDF
28	Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto	Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.	CAAP	1990	DBLP DOI BibTeX RDF
28	Naomi Lindenstrauss	A Parallel Implementation of Rewriting and Narrowing.	RTA	1989	DBLP DOI BibTeX RDF