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