Logic programming with functions and predicates: The language BABEL JJ Moreno-Navarro, M Rodriguez-Artalejo The Journal of Logic Programming 12 (3), 191-223, 1992 | 303 | 1992 |
Curry: A truly functional logic language M Hanus, H Kuchen, JJ Moreno-Navarro Proc. ILPS 95 (5), 95-107, 1995 | 158 | 1995 |
Lazy narrowing in a graph machine J José Moreno-Navarro, H Kuchen, R Loogen International Conference on Algebraic and Logic Programming, 298-317, 1990 | 74 | 1990 |
Graph-based implementation of a functional logic language H Kuchen, R Loogen, JJ Moreno-Navarro, M Rodríguez-Artalejo ESOP'90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15 …, 1990 | 59 | 1990 |
BABEL: A functional and logic programming language based on constructor discipline and narrowing JJ Moreno-Navarro, M Rodriguez-Artalejo International Workshop on Algebraic and Logic Programming, 223-232, 1988 | 56 | 1988 |
Formal extreme (and extremely formal) programming A Herranz, JJ Moreno-Navarro Extreme Programming and Agile Processes in Software Engineering: 4th …, 2003 | 28 | 2003 |
Default rules: An extension of constructive negation for narrowing-based languages JJ Moreno-Navarro | 28 | 1994 |
Efficient lazy narrowing using demandedness analysis JJ Moreno-Navarro, H Kuchen, J Mariño-Carballo, S Winkler, W Hans Progamming Language Implementation and Logic Programming: 5th International …, 1993 | 27 | 1993 |
Implementing a Lazy Functional Logic Language with Disequality Constraints. H Kuchen, FJ López-Fraguas, JJ Moreno-Navarro, M Rodríguez-Artalejo JICSLP, 207-221, 1992 | 25 | 1992 |
How to Incorporate Negation in a Prolog Compiler? J José Moreno-Navarro, S Muñoz-Hernández Practical Aspects of Declarative Languages: Second InternationalWorkshop …, 2000 | 20 | 2000 |
Independent AND-parallel implementation of narrowing H Kuchen, JJ Moreno-Navarro, MV Hermenegildo Programming Language Implementation and Logic Programming: 4th International …, 1992 | 20 | 1992 |
Bialgebra views: A way for polytypic programming to cohabit with data abstraction P Nogueira, JJ Moreno-Navarro Proceedings of the ACM SIGPLAN workshop on Generic programming, 61-73, 2008 | 19 | 2008 |
Extending constructive negation for partial functions in lazy functional-logic languages JJ Moreno-Navarro International Workshop on Extensions of Logic Programming, 213-227, 1996 | 19 | 1996 |
Graph-Narrowing to Implement a Functional Logic Language H Kuchen, R Loogen, JJ Moreno-Navarro Universidad Politécnica de Madrid. Facultad de Informática, 1991 | 19 | 1991 |
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order Á García-Pérez, P Nogueira, JJ Moreno-Navarro Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 18 | 2013 |
Adding Type Classes to Functional-Logic Languages. JJ Moreno-Navarro, J Mariño, A del Pozo-Prieto, A Herranz-Nieva, ... APPIA-GULP-PRODE, 427-438, 1996 | 18 | 1996 |
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. T Taibi, A Herranz-Nieva, JJ Moreno-Navarro J. Object Technol. 8 (2), 137-161, 2009 | 17 | 2009 |
Rapid prototyping and incremental evolution using SLAM A Herranz, JJ Moreno-Navarro 14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003 | 15 | 2003 |
Efficient compilation of lazy narrowing into prolog JA Jiménez-Martín, J Mariño-Carballo, JJ Moreno-Navarro Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92 …, 1993 | 15 | 1993 |
Constructive intensional negation S Muñoz-Hernández, J Marino, JJ Moreno-Navarro International Symposium on Functional and Logic Programming, 39-54, 2004 | 14 | 2004 |