Juan José Moreno-Navarro

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 1

Top Topics

Operational Semantics

Planning Problems

Top Venues

Publications

Verónica Dahl, Juan José Moreno-Navarro
Doughnut Computing in City Planning for Achieving Human and Planetary Rights. IWINAC (1) (2022)
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP (2013)
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol. 8 (2) (2009)
Susana Muñoz-Hernández, Juan José Moreno-Navarro
Extending Constructive Logic Negation with Types. Electron. Notes Theor. Comput. Sci. 246 (2009)
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
Modeling Concurrent Systems with Shared Resources. FMICS (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. Electron. Notes Theor. Comput. Sci. 248 (2009)
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro
Modelling Mash-up Resources. JISBD (2008)
Pablo Nogueira, Juan José Moreno-Navarro
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP (2008)
Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández
Implementing Constructive Intensional Negation. New Gener. Comput. 27 (1) (2008)
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)
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 (2007)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Demand analysis with partial predicates. Theory Pract. Log. Program. 7 (1-2) (2007)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Demand Analysis with Partial Predicates CoRR (2006)
Juan José Moreno-Navarro
De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. JISBD (2005)
Susana Muñoz-Hernández, Juan José Moreno-Navarro
Implementation Results in Classical Constructive Negation. ICLP (2004)
Juan José Moreno-Navarro, Susana Muñoz-Hernández
Soundness and Completeness of an "Efficient" Negation for Prolog. JELIA (2004)
Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
Constructive Intensional Negation. FLOPS (2004)
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)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Formal Extreme (and Extremely Formal) Programming. XP (2003)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping (2003)
Susana Muñoz-Hernández, Juan José Moreno-Navarro
A Real Implementation for Constructive Negation. ICLP (2003)
Susana Muñoz-Hernández, Juan José Moreno-Navarro
Constructive negation for Prolog: A real implementation. APPIA-GULP-PRODE (2002)
Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
Declarative Reflection and its Application as a Pattern Language. Electron. Notes Theor. Comput. Sci. 76 (2002)
Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo
Efficient Negation Using Abstract Interpretation. LPAR (2001)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Partial Predicates for Demand Analysis. WFLP (2000)
Á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
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP (2000)
Juan José Moreno-Navarro, Susana Muñoz-Hernández
How to Incorporate Negation in a Prolog Compiler. PADL (2000)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD (2000)
Julio Mariño, Juan José Moreno-Navarro
Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL (2000)
Julio Mariño, Juan José Moreno-Navarro
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP (1999)
Julio Mariño, Juan José Moreno-Navarro
Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE (1998)
Juan José Moreno-Navarro, Susana Muñoz-Hernández
On the Practical Use of Negation in a Prolog Compiler. APPIA-GULP-PRODE (1998)
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)
Juan José Moreno-Navarro
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ELP (1996)
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 Gener. Comput. 14 (4) (1996)
Juan José Moreno-Navarro
Workshop on Integration of Declarative Paradigms. Knowl. Eng. Rev. 10 (2) (1995)
Juan José Moreno-Navarro
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. ICLP (1995)
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)
Juan José Moreno-Navarro
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. ICLP (1994)
Andrés del Pozo-Prieto, Juan José Moreno-Navarro
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. PASCO (1994)
Julio García-Martín, Juan José Moreno-Navarro
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST (1993)
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
Efficient Lazy Narrowing using Demandedness Analysis. PLILP (1993)
Julio García-Martín, Juan José Moreno-Navarro
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. AADEBUG (1993)
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. 12 (3&4) (1992)
José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro
Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR (1992)
Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
Independent AND-Parallel Implementation of Narrowing. PLILP (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)
Julio García Marrtín, Juan José Moreno-Navarro
FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. LPAR (1992)
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Graph-based Implementation of a Functional Logic Langugage. ESOP (1990)
Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
Lazy Narrowing in a Graph Machine. ALP (1990)
R. Morales-Fernandez, Juan José Moreno-Navarro
CC-modula: a modula-2 tool to teach concurrent programming. ACM SIGCSE Bull. 21 (3) (1989)
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP (1988)