default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th WFLP 2000: Benicassim, Spain
- María Alpuente:
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000. 2000 - Alan Mycroft:
Logic Programming and Functional Nets. WFLP 2000: 1-7 - Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. WFLP 2000: 8-22 - Ángel Herranz-Nieva, Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP 2000: 23-41 - Clara Benac Earle:
Symbolic program execution using the Erlang verification tool. WFLP 2000: 42-55 - Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71 - Viacheslav Wolfengagen:
Functional Notation for Indexed Concepts. WFLP 2000: 72-88 - Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Optimizing Eden by Program Transformation. WFLP 2000: 89-103 - Elvira Albert, Michael Hanus, Germán Vidal:
Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000: 104-119 - Elvira Albert, Sergio Antoy, Germán Vidal:
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP 2000: 120-127 - Francisco Durán:
The Reflective Design of Maude's Module Algebra. WFLP 2000: 128-134 - Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya:
Equationally Expressed Evaluation. WFLP 2000: 135-143 - Corrado Priami, Ugo Solitro:
Functional features of a calculus for logic and concurrency. WFLP 2000: 144-153 - Jan Kort, Ralf Lämmel, Joost Visser:
Functional Transformation Systems. WFLP 2000: 154-168 - María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Using PE to Automate Program Composition. WFLP 2000: 169-183 - Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP 2000: 184-194 - Edelmira Pasarella, Elvira Pino, Fernando Orejas:
Constructive negation without subsidiary trees. WFLP 2000: 195-209 - Blas Carlos Ruiz-Giménez:
Expansion Postponement Problem for Pure Type Systems with Universes. WFLP 2000: 210-224 - Peter A. Flach:
The Use of Functional and Logic Languages in Machine Learning. WFLP 2000: 225-237 - Mircea Marin, Tetsuo Ida, Taro Suzuki:
Higher-order Lazy Narrowing Calculi in Perspective. WFLP 2000: 238-252 - Salvador Lucas:
Strong and NV-sequentiality of constructor systems. WFLP 2000: 253-267 - Pablo López, Ernesto Pimentel:
Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000: 268-282 - José Hernández-Orallo, M. José Ramírez-Quintana:
The role of induction in (semi-)automated software life-cycles. WFLP 2000: 283-295 - César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Learning functional logic classification concepts from databases. WFLP 2000: 296-308 - María Alpuente, Santiago Escobar, Salvador Lucas:
Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323 - Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis. WFLP 2000: 324-339 - Salvador Lucas:
Redundant arguments in infinitary rewriting. WFLP 2000: 340-343 - Laurent Fribourg:
Petri Nets, Flat Languages and Linear Arithmetic. WFLP 2000: 344-365 - Michael Hanus:
Server Side Web Scripting in Curry. WFLP 2000: 366-381 - Mircea Marin, Tetsuo Ida:
Cooperative Constraint Functional Logic Programming. WFLP 2000: 382-390 - Harold Boley:
Markup Languages for Functional-Logic Programming. WFLP 2000: 391-403 - Javier de Dios Castro, Juan Carlos González Moreno:
A Graphical Environment for Functional Logic Languages. WFLP 2000: 404-417 - Guido Gerding, Christoph Ruether, Werner Kuhn:
Advantages of using Functional Languages in specifying GIS operations. WFLP 2000: 418-426 - Wolfgang Lux:
Adding Linear Constraints over Real Numbers to Curry. WFLP 2000: 427-439 - Javier Leach, Susana Nieva:
A Higher-Order Programming Language with Constraints. WFLP 2000: 440-454 - Antonio J. Fernández, Patricia M. Hill:
Constraint Propagation on Multiple Domains. WFLP 2000: 455-469 - André Rauber Du Bois, Antônio Carlos da Rocha Costa:
Functional Beans. WFLP 2000: 470-479 - Sabine Timpf, Werner Kuhn:
Functional Specifications of Multilevel Highway Navigation. WFLP 2000: 480-485 - Anthony Cox, Charles L. A. Clarke:
A Functional Approach to Complex Retrieval Tasks. WFLP 2000: 486-498 - Herbert Kuchen:
Implementing an Object Oriented Design in Curry. WFLP 2000: 499-509 - Ricardo Pena:
Compiler Construction in a Functional Setting. WFLP 2000: 510-524 - Maria Teresa Hortalá-González, Eva Ullán:
An abstract machine based experimental system for a lazy narrowing calculus. WFLP 2000: 525-540
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
