Juan José Moreno-Navarro

Susana Muñoz-Hernández, Juan José Moreno-Navarro: Extending Constructive Logic Negation with Types. Electr. Notes Theor. Comput. Sci. 246: 183-198 (2009)

Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo: A Coding Rule Conformance Checker Integrated into GCC. Electr. Notes Theor. Comput. Sci. 248: 149-159 (2009)

Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. Journal of Object Technology 8(2): 137-161 (2009)

Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro: Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116

Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández: Implementing Constructive Intensional Negation. New Generation Comput. 27(1): 25-56 (2008)

Pablo Nogueira, Juan José Moreno-Navarro: Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP 2008: 61-73

Iván Pérez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro: Modelling Mash-up Resources. JISBD 2008: 135-146

Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund: Automatic Coding Rule Conformance Checking Using Logic Programming. PADL 2008: 18-34

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand analysis with partial predicates. TPLP 7(1-2): 153-182 (2007)

Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro: Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR abs/0711.0344 (2007)

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006)

Juan José Moreno-Navarro: De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. JISBD 2005: 179-186

Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro: Constructive Intensional Negation. FLOPS 2004: 39-54

Susana Muñoz-Hernández, Juan José Moreno-Navarro: Implementation Results in Classical Constructive Negation. ICLP 2004: 284-298

Juan José Moreno-Navarro, Susana Muñoz-Hernández: Soundness and Completeness of an "Efficient" Negation for Prolog. JELIA 2004: 279-293

Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM 2004: 85-106

Susana Muñoz-Hernández, Juan José Moreno-Navarro: A Real Implementation for Constructive Negation. ICLP 2003: 496-497

Ángel Herranz-Nieva, Juan José Moreno-Navarro: Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping 2003: 201-

Ángel Herranz-Nieva, Juan José Moreno-Navarro: Formal Extreme (and Extremely Formal) Programming. XP 2003: 88-96

Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya: Declarative Reflection and its Application as a Pattern Language. Electr. Notes Theor. Comput. Sci. 76: 197-215 (2002)

Matilde Celma, Oscar Pastor, Natalia Juristo Juzgado, Juan José Moreno-Navarro (Eds.): VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid). 2002, isbn 84-688-0206-9

Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494

Ángel Herranz-Nieva, Juan José Moreno-Navarro: Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG 2000

Ángel Herranz-Nieva, Juan José Moreno-Navarro: Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD 2000: 217-228

Julio Mariño, Juan José Moreno-Navarro: Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80

Juan José Moreno-Navarro, Susana Muñoz-Hernández: How to Incorporate Negation in a Prolog Compiler. PADL 2000: 124-140

Ángel Herranz-Nieva, Juan José Moreno-Navarro: On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP 2000: 23-41

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Partial Predicates for Demand Analysis. WFLP 2000: 324-339

Julio Mariño, Juan José Moreno-Navarro: Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP 1999: 614

Julio Mariño, Juan José Moreno-Navarro: Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE 1998: 137-150

Juan José Moreno-Navarro, Susana Muñoz-Hernández: On the Practical Use of Negation in a Prolog Compiler. APPIA-GULP-PRODE 1998: 457-469

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: The Functional Logic Language BABEL and Its Implementation on a Graph Machine. New Generation Comput. 14(4): 391-427 (1996)

Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín: Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438

Juan José Moreno-Navarro: Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ELP 1996: 213-227

Juan José Moreno-Navarro, Julio García-Martín, A. del Pozo-Pietro: Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. GULP-PRODE 1995: 593-606

Juan José Moreno-Navarro: Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. ICLP 1995: 829

Juan José Moreno-Navarro: Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. ICLP 1994: 535-549

Julio García-Martín, Juan José Moreno-Navarro: Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. AADEBUG 1993: 255-272

Julio García-Martín, Juan José Moreno-Navarro: A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST 1993: 367-376

Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans: Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. 12(3&4): 191-223 (1992)

Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP 1992: 207-221

José André Jimènez-Martin, Julio Moriño-Carballo, Juan José Moreno-Navarro: Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR 1992: 253-270

Julio García Marrtín, Juan José Moreno-Navarro: FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. LPAR 1992: 487-489

Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38

Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo: Lazy Narrowing in a Graph Machine. ALP 1990: 298-317

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP 1988: 223-232