Search results for "Functional Logic Programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Computations in Functional Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification
3	Claudio Ochoa, Josep Silva, Germán Vidal	Lightweight program specialization via dynamic slicing.	WCFLP	2005	DBLP DOI BibTeX RDF	lazy functional logic programming, program specialization, dynamic slicing
3	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
2	Sergio Antoy, Michael Hanus	Set functions for functional logic programming.	PPDP	2009	DBLP DOI BibTeX RDF	rewrite systems, non-determinism, subspaces, functional logic programming languages
2	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.	FLOPS	2008	DBLP DOI BibTeX RDF
2	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A new generic scheme for functional logic programming with constraints.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Logic programming, Constraints, Functional programming
2	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.	ICLP	2007	DBLP DOI BibTeX RDF
2	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
2	Michael Hanus	A generic analysis environment for declarative programs.	WCFLP	2005	DBLP DOI BibTeX RDF	program analysis, programming environments, functional logic programming
2	Sebastian Fischer	A functional logic database library.	WCFLP	2005	DBLP DOI BibTeX RDF	database library, dynamic predicates, curry, persistent storage
2	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
2	Ginés Moreno, Vicente Pascual	Programming with Fuzzy Logic and Mathematical Functions.	WILF	2005	DBLP DOI BibTeX RDF	Fuzzy Logic, Similarity, Functional Logic Programming
2	José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas	A logic programming approach to the verification of functional-logic programs.	PPDP	2004	DBLP DOI BibTeX RDF	verification, logic programming, functional logic programming
2	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
2	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
2	Tetsuo Ida, Mircea Marin, Hidekazu Takahashi	Constraint Functional Logic Programming for Origami Construction.	APLAS	2003	DBLP DOI BibTeX RDF
2	Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Solving Combinatorial Problems with a Constraint Functional Logic Language.	PADL	2003	DBLP DOI BibTeX RDF	Constraints, Functional Logic Programming, Finite Domains
2	Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods.	The Essence of Computation	2002	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
2	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Functional Logic Programming with Failure: A Set-Oriented View.	LPAR	2001	DBLP DOI BibTeX RDF
2	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Incremental Learning of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF	Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
2	Michael Hanus	A Functional Logic Programming Approach to Graphical User Interfaces.	PADL	2000	DBLP DOI BibTeX RDF
2	Elvira Albert, César Ferri, Frank Steiner, Germán Vidal	Improving Functional Logic Programs by Difference-Lists.	ASIAN	2000	DBLP DOI BibTeX RDF	program transformation, compiler optimization, functional logic programming
2	Julio Mariño, Juan José Moreno-Navarro	Using Static Analysis to Compile Non-sequential Functional Logic Programs.	PADL	2000	DBLP DOI BibTeX RDF	Interpretation, Sequentiality, Functional Logic Programming
2	Michael Leuschel	Improving Homeomorphic Embedding for Online Termination.	LOPSTR	1998	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders
2	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF
2	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
2	Koichi Nakahara, Aart Middeldorp, Tetsuo Ida	A Complete Narrowing Calculus for Higher-Order Functional Logic Programming	PLILP	1995	DBLP DOI BibTeX RDF
2	Francisco Javier López-Fraguas	A General Scheme for Constraint Functional Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
1	Adrián Riesco, Juan Rodríguez-Hortalá	Singular and Plural Functions for Functional Logic Programming	CoRR	2012	DBLP BibTeX RDF
1	Ronald de Haan	Functional Logic Programming with Generalized Circular Coinduction	CoRR	2012	DBLP BibTeX RDF
1	Sergio Antoy, Michael Hanus	Contracts and Specifications for Functional Logic Programming.	PADL	2012	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá	Well-typed narrowing with extra variables in functional-logic programming.	PEPM	2012	DBLP DOI BibTeX RDF
1	Michael Hanus, Björn Peemöller, Fabian Reck	Search strategies for functional logic programming.	Software Engineering (Workshops)	2012	DBLP BibTeX RDF
1	Steffen Mazanek, Michael Hanus	Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language.	J. Vis. Lang. Comput.	2011	DBLP DOI BibTeX RDF
1	Enrique Martin-Martin	Type classes in functional logic programming.	PEPM	2011	DBLP DOI BibTeX RDF
1	Sebastian Fischer	On functional logic programming and its application to testing.		2010	RDF
1	Sergio Antoy, Michael Hanus	Functional logic programming.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Abdulla Alqaddoumi	Towards a Parallel Virtual Machine for Functional Logic Programming.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá	A Formalization of the Semantics of Functional-Logic Programming in Isabelle	CoRR	2009	DBLP BibTeX RDF
1	Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá	New Results on Type Systems for Functional Logic Programming.	WFLP	2009	DBLP DOI BibTeX RDF
1	Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
1	Matthew R. Lakin, Andrew M. Pitts	Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.	ESOP	2009	DBLP DOI BibTeX RDF
1	Michael Hanus	Call pattern analysis for functional logic programs.	PPDP	2008	DBLP DOI BibTeX RDF	program analysis, functional logic programming
1	Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Cooperation of constraint domains in the TOY system.	PPDP	2008	DBLP DOI BibTeX RDF	constraint domains and solvers, domain cooperation, functional and logic programming
1	Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez	Playing with TOY: Constraints and Domain Cooperation.	ESOP	2008	DBLP DOI BibTeX RDF
1	Jan Christiansen, Sebastian Fischer	EasyCheck - Test Data for Free.	FLOPS	2008	DBLP DOI BibTeX RDF	Encapsulated Search, Testing, Nondeterminism, Curry
1	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Quantitative Logic Programming Revisited.	FLOPS	2008	DBLP DOI BibTeX RDF	Quantitative Logic Programming, Qualification Domains, Qualification Constraints
1	Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Constraint functional logic programming over finite domains.	TPLP	2007	DBLP DOI BibTeX RDF
1	Sergio Antoy, Bernd Braßel	Computing with subspaces.	PPDP	2007	DBLP DOI BibTeX RDF	rewrite systems, non-determinism, subspaces, functional logic programming languages
1	Michael Hanus	Putting declarative programming into the web: translating curry to javascript.	PPDP	2007	DBLP DOI BibTeX RDF	user interfaces, javascript, web programming, functional logic programming, curry
1	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A simple rewrite notion for call-time choice semantics.	PPDP	2007	DBLP DOI BibTeX RDF	constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
1	Matthew Naylor, Emil Axelsson, Colin Runciman	A functional-logic library for wired.	Haskell	2007	DBLP DOI BibTeX RDF
1	Sebastian Fischer, Herbert Kuchen	Systematic generation of glass-box test cases for functional logic programs.	PPDP	2007	DBLP DOI BibTeX RDF	testing, declarative programming, code coverage
1	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
1	Jaime Sánchez-Hernández	Constructive Failure in Functional-Logic Programming: From Theory to Implementation.	J. UCS	2006	DBLP BibTeX RDF
1	Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Constraint Functional Logic Programming over Finite Domains	CoRR	2006	DBLP BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	Database Query Languages and Functional Logic Programming.	New Generation Comput.	2006	DBLP DOI BibTeX RDF
1	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
1	Michael Hanus	Type-oriented construction of web user interfaces.	PPDP	2006	DBLP DOI BibTeX RDF	user interfaces, web programming, functional logic programming
1	Sergio Antoy	Evaluation strategies for functional logic programming.	J. Symb. Comput.	2005	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Constraint Functional Logic Programming Revisited.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus (eds.)	Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005	WCFLP	2005	DBLP BibTeX RDF
1	Jesús Manuel Almendros-Jiménez	Constraint logic programming over sets of spatial objects.	WCFLP	2005	DBLP DOI BibTeX RDF	logic programming, CLP
1	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
1	Emilio Jesús Gallego Arias, Julio Mariño	An overview of the Sloth2005 curry system: system description.	WCFLP	2005	DBLP DOI BibTeX RDF	constraint definitional trees, sloth, type classes, curry
1	Julio Mariño, José María Rey Poza	Adding constraints to curry via flat guards.	WCFLP	2005	DBLP DOI BibTeX RDF	definitional trees, sloth, constraints, type classes, curry
1	Bernd Braßel, Frank Huch	Translating curry to haskell system demo.	WCFLP	2005	DBLP DOI BibTeX RDF	compiler, haskell, translation, curry
1	Rafael Caballero	A declarative debugger of incorrect answers for constraint functional-logic programs.	WCFLP	2005	DBLP DOI BibTeX RDF	functional-logic languages, declarative debugging
1	Rafael del Vado Vírseda	Declarative Constraint Programming with Definitional Trees.	FroCos	2005	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus	Declarative Programming with Function Patterns.	LOPSTR	2005	DBLP DOI BibTeX RDF
1	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types	CoRR	2004	DBLP BibTeX RDF
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	A Proof Theoretic Approach to Failure in Functional Logic Programming.	TPLP	2004	DBLP DOI BibTeX RDF
1	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing based on redex trails.	PEPM	2004	DBLP DOI BibTeX RDF	lazy functional logic programming, redex trails, slicing
1	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
1	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal	A semantics for tracing declarative multi-paradigm programs.	PPDP	2004	DBLP DOI BibTeX RDF	semantics, tracing, functional logic programming
1	Germán Vidal	Cost-Augmented Partial Evaluation of Functional Logic Programs.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	partial evaluation, functional logic programming, computational costs
1	Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo	Multivariant Non-failure Analysis via Standard Abstract Interpretation.	FLOPS	2004	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach	A Virtual Machine for Functional Logic Computations.	IFL	2004	DBLP DOI BibTeX RDF
1	Pedro Cabalar, David Lorenzo	Logic Programs with Functions and Default Values.	JELIA	2004	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Failure and equality in functional logic programming.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Sergio Antoy, Bernd Brassel, Michael Hanus	Conditional narrowing without conditions.	PPDP	2003	DBLP DOI BibTeX RDF	conditional rewriting, narrowing, functional logic programming, evaluation strategies
1	Rafael del Vado Vírseda	A demand-driven narrowing calculus with overlapping definitional trees.	PPDP	2003	DBLP DOI BibTeX RDF	rewrite systems, functional logic programming languages
1	Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Toy(FD): Sketch of Operational Semantics.	CP	2003	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A Relational Algebra for Functional Logic Deductive Databases.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Narrowing Failure in Functional Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Sergio Antoy	Evaluation Strategies for Functional Logic Programming.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	Polymorphic Types in Functional Logic Programming.	Journal of Functional and Logic Programming	2001	DBLP BibTeX RDF
1	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.	TPLP	2001	DBLP BibTeX RDF
1	Norio Kobayashi, Mircea Marin, Tetsuo Ida	Collaborative Constraint Functional Logic Programming in an Open Environment.	APLAS	2001	DBLP BibTeX RDF
1	Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Maria Teresa Hortalá-González, Eva Ullán	An Abstract Machine Based System for a Lazy Narrowing Calculus.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Wolfgang Lux	Adding Linear Constraints over Real Numbers to Curry.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Mircea Marin, Tetsuo Ida	Cooperative Constraint Functional Logic Programming.	WFLP	2000	DBLP BibTeX RDF
1	Harold Boley	Markup Languages for Functional-Logic Programming.	WFLP	2000	DBLP BibTeX RDF
1	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
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Proving Failure in Functional Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	Semantics and Types in Functional Logic Programming.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
1	Rafael Caballero, Francisco Javier López-Fraguas	Extensions: A Technique for Structuring Functional-Logic Programs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
1	María Alpuente, Santiago Escobar, Salvador Lucas	UPV-CURRY: An Incremental CURRY Interpreter.	SOFSEM	1999	DBLP DOI BibTeX RDF