Search results for "WFLP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Michael Hanus, Claudio Sacerdoti Coen (eds.)	Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers	WFLP	2021	DBLP DOI BibTeX RDF
1	Michael Hanus, Finn Teegen	Memoized Pull-Tabbing for Functional Logic Programming.	WFLP	2020	DBLP DOI BibTeX RDF
1	Baltasar Trancón y Widemann, Markus Lepper 0001	Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming.	WFLP	2020	DBLP DOI BibTeX RDF
1	Philipp Körner, David Schneider 0001, Michael Leuschel	On the Performance of Bytecode Interpreters in Prolog.	WFLP	2020	DBLP DOI BibTeX RDF
1	Catherine Dubois	Formally Verified Transformation of Non-binary Constraints into Binary Constraints.	WFLP	2020	DBLP DOI BibTeX RDF
1	Oliver Westphal	A Framework for Generating Diverse Haskell-I/O Exercise Tasks.	WFLP	2020	DBLP DOI BibTeX RDF
1	Isabel Wingen, Philipp Körner	Effectiveness of Annotation-Based Static Type Inference.	WFLP	2020	DBLP DOI BibTeX RDF
1	Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen	Constraint-Logic Object-Oriented Programming with Free Arrays.	WFLP	2020	DBLP DOI BibTeX RDF
1	Linda Brodo, Roberto Bruni, Moreno Falaschi	SOS Rules for Equivalences of Reaction Systems.	WFLP	2020	DBLP DOI BibTeX RDF
1	Josep Silva (eds.)	Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers	WFLP	2019	DBLP DOI BibTeX RDF
1	Paventhan Vivekanandan	Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming.	WFLP	2018	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus, Finn Teegen	Synthesizing Set Functions.	WFLP	2018	DBLP DOI BibTeX RDF
1	Ingmar Dasseville, Marc Denecker	Transpiling Programming Computable Functions to Answer Set Programs.	WFLP	2018	DBLP DOI BibTeX RDF
1	Lars-Åke Fredlund, Julio Mariño, Sergio Pérez 0001, Salvador Tamarit	Runtime Verification in Erlang by Using Contracts.	WFLP	2018	DBLP DOI BibTeX RDF
1	Jan C. Dageförde	Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming.	WFLP	2018	DBLP DOI BibTeX RDF
1	Henning Christiansen 0001, Maja H. Kirkeby	Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs.	WFLP	2018	DBLP DOI BibTeX RDF
1	Gregor Ulm, Emil Gustavsson, Mats Jirstrand	Functional Federated Learning in Erlang (ffl-erl).	WFLP	2018	DBLP DOI BibTeX RDF
1	Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner	Measuring Coverage of Prolog Programs Using Mutation Testing.	WFLP	2018	DBLP DOI BibTeX RDF
1	Sergio Pérez 0001, Salvador Tamarit	Enhancing POI Testing Through the Use of Additional Information.	WFLP	2018	DBLP DOI BibTeX RDF
1	Ingmar Dasseville, Gerda Janssens	FMS: Functional Programming as a Modelling Language.	WFLP	2018	DBLP DOI BibTeX RDF
1	Tim A. Majchrzak, Herbert Kuchen	Logic Java: Combining Object-Oriented and Logic Programming.	WFLP	2011	DBLP DOI BibTeX RDF
1	Herbert Kuchen (eds.)	Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings	WFLP	2011	DBLP DOI BibTeX RDF
1	Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey	Memoizing a Monadic Mixin DSL.	WFLP	2011	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez	XQuery in the Functional-Logic Language Toy.	WFLP	2011	DBLP DOI BibTeX RDF
1	Tsubasa Sakata, Naoki Nishida 0001, Toshiki Sakabe	On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs.	WFLP	2011	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus	New Functional Logic Design Patterns.	WFLP	2011	DBLP DOI BibTeX RDF
1	Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck 0002	KiCS2: A New Compiler from Curry to Haskell.	WFLP	2011	DBLP DOI BibTeX RDF
1	Ricardo Peña, Agustin D. Delgado-Muñoz	Size Invariant and Ranking Function Synthesis in a Functional Language.	WFLP	2011	DBLP DOI BibTeX RDF
1	Vitor Rodrigues, Mário Florido, Simão Melo de Sousa	A Functional Approach to Worst-Case Execution Time Analysis.	WFLP	2011	DBLP DOI BibTeX RDF
1	Claus Zinn	Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming.	WFLP	2011	DBLP DOI BibTeX RDF
1	Julio Mariño (eds.)	Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers	WFLP	2011	DBLP DOI BibTeX RDF
1	Pieter Wuille, Tom Schrijvers	Parameterized Models for On-Line and Off-Line Use.	WFLP	2010	DBLP DOI BibTeX RDF
1	Michael Hanus	Lazy and Enforceable Assertions for Functional Logic Programs.	WFLP	2010	DBLP DOI BibTeX RDF
1	Bernd Braßel, Sebastian Fischer 0001, Michael Hanus, Fabian Reck 0002	Transforming Functional Logic Programs into Monadic Functional Programs.	WFLP	2010	DBLP DOI BibTeX RDF
1	Santiago Escobar 0001 (eds.)	Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers	WFLP	2010	DBLP DOI BibTeX RDF
1	George Giorgidze, Henrik Nilsson	Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL.	WFLP	2010	DBLP DOI BibTeX RDF
1	Alexei Lescaylle, Alicia Villanueva	Bridging the Gap between Two Concurrent Constraint Languages.	WFLP	2010	DBLP DOI BibTeX RDF
1	Michele Baggi, Demis Ballis, Moreno Falaschi	An Access Control Language Based on Term Rewriting and Description Logic.	WFLP	2010	DBLP DOI BibTeX RDF
1	Gergely Patai	Efficient and Compositional Higher-Order Streams.	WFLP	2010	DBLP DOI BibTeX RDF
1	Jan Christiansen, Daniel Seidel, Janis Voigtländer	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry.	WFLP	2010	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic	Types for Role-Based Access Control of Dynamic Web Data.	WFLP	2010	DBLP DOI BibTeX RDF
1	Rafael del Vado Vírseda, Ignacio Castiñeiras	A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.	WFLP	2009	DBLP DOI 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	Manuel Hernández-Gutiérrez	A Taxonomy of Some Right-to-Left String-Matching Algorithms.	WFLP	2009	DBLP DOI BibTeX RDF
1	Michael Leuschel, Salvador Tamarit, Germán Vidal	Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.	WFLP	2009	DBLP DOI BibTeX RDF
1	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	A Simple Region Inference Algorithm for a First-Order Functional Language.	WFLP	2009	DBLP DOI BibTeX RDF
1	Roberto Ierusalimschy	Programming with Multiple Paradigms in Lua.	WFLP	2009	DBLP DOI BibTeX RDF
1	Stephan Falke 0001, Deepak Kapur	Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.	WFLP	2009	DBLP DOI BibTeX RDF
1	Moreno Falaschi (eds.)	Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008	WFLP	2009	DBLP BibTeX RDF
1	Claude Kirchner, Florent Kirchner, Hélène Kirchner	Constraint Based Strategies.	WFLP	2009	DBLP DOI BibTeX RDF
1	Yuki Kato, Koji Nakazawa	Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.	WFLP	2009	DBLP DOI BibTeX RDF
1	Ignacio Castiñeiras, Fernando Sáenz-Pérez	Integrating ILOG CP Technology into TOY\mathcal{TOY}.	WFLP	2009	DBLP DOI BibTeX RDF
1	Makoto Hamana	Semantic Labelling for Proving Termination of Combinatory Reduction Systems.	WFLP	2009	DBLP DOI BibTeX RDF
1	Sa'ed Abed, Otmane Aït Mohamed	LCF-style Platform based on Multiway Decision Graphs.	WFLP	2008	DBLP DOI BibTeX RDF
1	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.	WFLP	2008	DBLP DOI BibTeX RDF
1	Alexei Lescaylle, Alicia Villanueva	A Tool for Generating a Symbolic Representation of tccp Executions.	WFLP	2008	DBLP DOI BibTeX RDF
1	Tommaso Flaminio, Elisa B. P. Tiezzi	On Metric Temporal Lukasiewicz Logic.	WFLP	2008	DBLP DOI BibTeX RDF
1	Harald Zankl, Christian Sternagel, Aart Middeldorp	Transforming SAT into Termination of Rewriting.	WFLP	2008	DBLP DOI BibTeX RDF
1	Michael Gabbay 0001, Murdoch James Gabbay	Term Sequent Logic.	WFLP	2008	DBLP DOI BibTeX RDF
1	Bernd Braßel	A Technique to Build Debugging Tools for Lazy Functional Logic Languages.	WFLP	2008	DBLP DOI BibTeX RDF
1	Diego Cheda, Josep Silva	State of the Practice in Algorithmic Debugging.	WFLP	2008	DBLP DOI BibTeX RDF
1	Dale Miller 0001	Formalizing Operational Semantic Specifications in Logic.	WFLP	2008	DBLP DOI BibTeX RDF
1	Moreno Falaschi	Preface.	WFLP	2008	DBLP DOI BibTeX RDF
1	Murdoch James Gabbay, Dominic P. Mulligan	Two-level Lambda-calculus.	WFLP	2008	DBLP DOI BibTeX RDF
1	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	Order-Sorted Generalization.	WFLP	2008	DBLP DOI BibTeX RDF
1	Susana Muñoz-Hernández, Juan José Moreno-Navarro	Extending Constructive Logic Negation with Types.	WFLP	2008	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas (eds.)	Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006	WFLP	2007	DBLP BibTeX RDF
1	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Narrowing and Rewriting Logic: from Foundations to Applications.	WFLP	2006	DBLP DOI BibTeX RDF
1	Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza	A Proposal for Disequality Constraints in Curry.	WFLP	2006	DBLP DOI BibTeX RDF
1	Sebastian Fischer 0001	Lazy Database Access with Persistent Predicates.	WFLP	2006	DBLP DOI BibTeX RDF
1	Vítor Nogueira, Salvador Abreu	Temporal Contextual Logic Programming.	WFLP	2006	DBLP DOI BibTeX RDF
1	Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.	WFLP	2006	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas	Preface.	WFLP	2006	DBLP DOI BibTeX RDF
1	Diego Cheda, Josep Silva, Germán Vidal	Static Slicing of Rewrite Systems.	WFLP	2006	DBLP DOI BibTeX RDF
1	Rafael Caballero 0001, Yolanda García-Ruiz	Implementing Dynamic-Cut in TOY.	WFLP	2006	DBLP DOI BibTeX RDF
1	Clara Segura, Carmen Torrano	Using Template Haskell for Abstract Interpretation.	WFLP	2006	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Sebastian Fischer 0001	Implementing Relational Specifications in a Constraint Functional Logic Language.	WFLP	2006	DBLP DOI BibTeX RDF
1	Rafael Caballero 0001, Christian Hermanns, Herbert Kuchen	Algorithmic Debugging of Java Programs.	WFLP	2006	DBLP DOI BibTeX RDF
1	Bernd Braßel	A Framework for Interpreting Traces of Functional Logic Computations.	WFLP	2006	DBLP DOI BibTeX RDF
1	Michael Hanus	Reporting Failures in Functional Logic Programs.	WFLP	2006	DBLP DOI BibTeX RDF
1	Parissa H. Sadeghi, Frank Huch	The Interactive Curry Observation Debugger iCODE.	WFLP	2006	DBLP DOI BibTeX RDF
1	Peter Padawitz	Expander2: Program Verification Between Interaction and Automation.	WFLP	2006	DBLP DOI BibTeX RDF
1	Ramón González del Campo, Fernando Sáenz-Pérez	Programmed Search in a Timetabling Problem over Finite Domains.	WFLP	2006	DBLP DOI BibTeX RDF
1	Claudio Ochoa, Germán Puebla	A Study on the Practicality of Poly-Controlled Partial Evaluation.	WFLP	2006	DBLP DOI BibTeX RDF
1	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Narrowing-based simulation of term rewriting systems with extra variables.	WFLP	2003	DBLP DOI BibTeX RDF
1	Alcino Cunha	Automatic visualization of recursion trees: a case study on generic programming.	WFLP	2003	DBLP DOI BibTeX RDF
1	Jan Maluszynski	On integrating rules into the Semantic Web.	WFLP	2003	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Failure and equality in functional logic programming.	WFLP	2003	DBLP DOI BibTeX RDF
1	Michael Hanus, Klaus Höppner, Frank Huch	Towards translating embedded Curry to C.	WFLP	2003	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas	Abstract correction of first-order functional programs.	WFLP	2003	DBLP DOI BibTeX RDF
1	Andrew P. Tolmach, Sergio Antoy	A monadic semantics for core Curry.	WFLP	2003	DBLP DOI BibTeX RDF
1	Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Cost-sensitive diagnosis of declarative programs.	WFLP	2003	DBLP DOI BibTeX RDF
1	Ginés Moreno	A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.	WFLP	2003	DBLP DOI BibTeX RDF
1	Michaël Rusinowitch	Automated analysis of security protocols.	WFLP	2003	DBLP DOI BibTeX RDF
1	Germán Vidal	Preface.	WFLP	2003	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A safe relational calculus for functional logic deductive databases.	WFLP	2003	DBLP DOI BibTeX RDF
1	Lubos Brim, Orna Grumberg (eds.)	12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003	WFLP	2003	DBLP BibTeX RDF
1	María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001	Comparing Under and Over-Approximations of LTL Properties for Model Checking.	WFLP	2002	DBLP DOI BibTeX RDF
1	Gérard Ferrand, Willy Lesaint, Alexandre Tessier	Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction.	WFLP	2002	DBLP DOI BibTeX RDF
1	Raffaella Gentilini, Carla Piazza, Alberto Policriti	Simulation Reduction as Constraint.	WFLP	2002	DBLP DOI BibTeX RDF

Publications at "WFLP"( http://dblp.L3S.de/Venues/WFLP )