| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francisco Gutiérrez, Blas C. Ruiz |
Order Functional Pure Type Systems.  |
WFLP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya |
Declarative Reflection and its Application as a Pattern Language. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Salvador Lucas |
Demandness in Rewriting and Narrowing. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero 0001, Wolfgang Lux |
Declarative Debugging for Encapsulated Search. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Rossi |
Set-based Nondeterministic Declarative Programming in Singleton. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Klaus Höppner |
Programming Autonomous Robots in Curry. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Matteo Burato, Federico Fogolari |
Using Secondary Structure Information for Protein Folding in CLP(FD). |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Rachid Echahed, Santiago Escobar 0001, Salvador Lucas |
Redundancy of Arguments Reduced to Induction. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pim van Leeuwen, Henk Hesselink, Jos Rohling |
Scheduling Aircraft Using Constraint Satisfaction. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Moreno Falaschi |
Preface. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Programmable Type Systems for Domain Specific Languages. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal |
Operational Semantics for Functional Logic Languages. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky |
Probabilistic Constraint Handling Rules. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. |
WFLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus (eds.) |
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers |
WFLP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Moreno Falaschi (eds.) |
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002 |
WFLP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Preface. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero 0001, Mario Rodríguez-Artalejo |
A Declarative Debugging System for Lazy Functional Logic Programs. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Pascual Julián Iranzo, Bart Massey |
Improving the Efficiency of Non-Deterministic Computations. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Echahed, Wendelin Serwe |
Defining Actions in Concurrent Declarative Programming. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Francisco J. Correa, Moreno Falaschi |
A Debugging Scheme for Functional Logic Programs. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río |
Specification of Logic Programming Languages from Reusable Semantic Building Blocks. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas |
Lazy Rewriting and Context-Sensitive Rewriting. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Huch |
Model Checking Erlang Programs - Abstracting Recursive Function Calls. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Blanc, Wendelin Serwe |
Timed Term Rewrite Systems. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Palomino Tarjuelo |
Comparing Meseguer's Rewriting Logic with the Logic CRWL. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss |
JACK: A Java Constraint Kit. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinya Sato, Toru Sugimoto, Shinichi Yamada |
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard J. Pope, Lee Naish |
Specialisation of Higher-Order Functions for Debugging. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Mário Florido |
Type Inference using Constraint Handling Rules. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edelmira Pasarella, Elvira Pino, Fernando Orejas |
Constructive negation without subsidiary trees. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Using PE to Automate Program Composition. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Learning functional logic classification concepts from databases. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
List-Processing Optimizations in a Multi-Paradigm Declarative Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Herbert Kuchen |
Implementing an Object Oriented Design in Curry. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Laurent Fribourg |
Petri Nets, Flat Languages and Linear Arithmetic. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Server Side Web Scripting in Curry. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Ugo Solitro |
Functional features of a calculus for logic and concurrency. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Salvador Lucas |
Strong and NV-sequentiality of constructor systems. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Realistic Program Specialization in a Multi-Paradigm Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin |
Theorem Proving and Programming with Dynamic First Order Logic. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Maria Teresa Hortalá-González, Eva Ullán |
An abstract machine based experimental system for a lazy narrowing calculus. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Pena |
Compiler Construction in a Functional Setting. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Javier de Dios Castro, Juan Carlos González Moreno |
A Graphical Environment for Functional Logic Languages. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alan Mycroft |
Logic Programming and Functional Nets. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Viacheslav Wolfengagen |
Functional Notation for Indexed Concepts. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Francisco Durán 0001 |
The Reflective Design of Maude's Module Algebra. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Partial Predicates for Demand Analysis. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | José Hernández-Orallo, M. José Ramírez-Quintana |
The role of induction in (semi-)automated software life-cycles. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Markup Languages for Functional-Logic Programming. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pablo López, Ernesto Pimentel 0001 |
Proof-Theoretic Foundation of Hypothetical Reasoning. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Clara Benac Earle |
Symbolic program execution using the Erlang verification tool. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura |
Optimizing Eden by Program Transformation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Blas Carlos Ruiz-Giménez |
Expansion Postponement Problem for Pure Type Systems with Universes. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan Kort, Ralf Lämmel, Joost Visser 0001 |
Functional Transformation Systems. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente (eds.) |
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mircea Marin, Tetsuo Ida, Taro Suzuki |
Higher-order Lazy Narrowing Calculi in Perspective. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández 0001, Patricia M. Hill |
Constraint Propagation on Multiple Domains. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sabine Timpf, Werner Kuhn |
Functional Specifications of Multilevel Highway Navigation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | André Rauber Du Bois, Antônio Carlos da Rocha Costa |
Functional Beans. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Guido Gerding, Christoph Ruether, Werner Kuhn |
Advantages of using Functional Languages in specifying GIS operations. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Lux |
Adding Linear Constraints over Real Numbers to Curry. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ángel Herranz-Nieva, Juan José Moreno-Navarro |
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
Redundancy Analyses in Term Rewriting. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Salvador Lucas |
Redundant arguments in infinitary rewriting. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Flach |
The Use of Functional and Logic Languages in Machine Learning. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mircea Marin, Tetsuo Ida |
Cooperative Constraint Functional Logic Programming. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anthony Cox, Charles L. A. Clarke |
A Functional Approach to Complex Retrieval Tasks. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Javier Leach, Susana Nieva |
A Higher-Order Programming Language with Constraints. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya |
Equationally Expressed Evaluation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license