Juan José Moreno-Navarro

57 papers A 1B 9C 7Misc 1Journal 9Unranked 26

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Doughnut Computing in City Planning for Achieving Human and Planetary Rights. IWINAC (1) Verónica Dahl, Juan José Moreno-Navarro
2013	C	`conf`	Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro
2009	C	`conf`	Modeling Concurrent Systems with Shared Resources. FMICS Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
2009	J	`jnl`	Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol. Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2008	—	`conf`	A Coding Rule Conformance Checker Integrated into GCC. PROLE Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
2008	C	`conf`	Automatic Coding Rule Conformance Checking Using Logic Programming. PADL Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
2008	—	`conf`	Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP Pablo Nogueira, Juan José Moreno-Navarro
2008	—	`conf`	Extending Constructive Logic Negation with Types. WFLP Susana Muñoz-Hernández, Juan José Moreno-Navarro
2008	J	`jnl`	Implementing Constructive Intensional Negation. New Gener. Comput. Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández
2008	—	`conf`	Modelling Mash-up Resources. JISBD Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro
2007	J	`jnl`	Automatic Coding Rule Conformance Checking Using Logic Programs CoRR Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
2007	J	`jnl`	Demand analysis with partial predicates. Theory Pract. Log. Program. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2006	J	`jnl`	Demand Analysis with Partial Predicates CoRR Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2005	—	`conf`	De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. JISBD Juan José Moreno-Navarro
2004	Misc	`conf`	Constructive Intensional Negation. FLOPS Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
2004	B	`conf`	Implementation Results in Classical Constructive Negation. ICLP Susana Muñoz-Hernández, Juan José Moreno-Navarro
2004	B	`conf`	Soundness and Completeness of an "Efficient" Negation for Prolog. JELIA Juan José Moreno-Navarro, Susana Muñoz-Hernández
2004	—	`conf`	Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2003	B	`conf`	A Real Implementation for Constructive Negation. ICLP Susana Muñoz-Hernández, Juan José Moreno-Navarro
2003	B	`conf`	Formal Extreme (and Extremely Formal) Programming. XP Ángel Herranz-Nieva, Juan José Moreno-Navarro
2003	C	`conf`	Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping Ángel Herranz-Nieva, Juan José Moreno-Navarro
2002	—	`ed.`	AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. APPIA-GULP-PRODE Juan José Moreno-Navarro, Julio Mariño-Carballo
2002	—	`conf`	Constructive negation for Prolog: A real implementation. APPIA-GULP-PRODE Susana Muñoz-Hernández, Juan José Moreno-Navarro
2002	—	`conf`	Declarative Reflection and its Application as a Pattern Language. WFLP Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
2002	—	`ed.`	VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid) JISBD Matilde Celma, Oscar Pastor, Natalia Juristo Juzgado, Juan José Moreno-Navarro
2001	B	`conf`	Efficient Negation Using Abstract Interpretation. LPAR Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo
2000	—	`conf`	Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000	C	`conf`	How to Incorporate Negation in a Prolog Compiler. PADL Juan José Moreno-Navarro, Susana Muñoz-Hernández
2000	—	`conf`	On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000	—	`conf`	Partial Predicates for Demand Analysis. WFLP Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000	—	`conf`	Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000	C	`conf`	Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL Julio Mariño, Juan José Moreno-Navarro
1999	B	`conf`	Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP Julio Mariño, Juan José Moreno-Navarro
1998	—	`conf`	On the Practical Use of Negation in a Prolog Compiler. APPIA-GULP-PRODE Juan José Moreno-Navarro, Susana Muñoz-Hernández
1998	—	`conf`	Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE Julio Mariño, Juan José Moreno-Navarro
1996	—	`conf`	Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE Juan José Moreno-Navarro, Julio Mariño, Andrés del Pozo-Prieto, Ángel Herranz-Nieva, Julio García-Martín
1996	—	`conf`	Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ELP Juan José Moreno-Navarro
1996	J	`jnl`	The Functional Logic Language BABEL and Its Implementation on a Graph Machine. New Gener. Comput. Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1995	—	`conf`	Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. GULP-PRODE Juan José Moreno-Navarro, Julio García-Martín, Andrés del Pozo-Prieto
1995	B	`conf`	Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. ICLP Juan José Moreno-Navarro
1995	J	`jnl`	Workshop on Integration of Declarative Paradigms. Knowl. Eng. Rev. Juan José Moreno-Navarro
1994	B	`conf`	Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. ICLP Juan José Moreno-Navarro
1994	—	`conf`	Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. PASCO Andrés del Pozo-Prieto, Juan José Moreno-Navarro
1994	—	`ed.`	Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994 ICLP Workshop: Integration of Declarative Paradigms Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro
1993	—	`conf`	A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST Julio García-Martín, Juan José Moreno-Navarro
1993	—	`conf`	Efficient Lazy Narrowing using Demandedness Analysis. PLILP Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
1993	—	`conf`	Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. AADEBUG Julio García-Martín, Juan José Moreno-Navarro
1992	C	`conf`	Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro
1992	B	`conf`	FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. LPAR Julio García Marrtín, Juan José Moreno-Navarro
1992	—	`conf`	Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1992	—	`conf`	Independent AND-Parallel Implementation of Narrowing. PLILP Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
1992	J	`jnl`	Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1990	A	`conf`	Graph-based Implementation of a Functional Logic Langugage. ESOP Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1990	—	`conf`	Lazy Narrowing in a Graph Machine. ALP Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
1989	J	`jnl`	CC-modula: a modula-2 tool to teach concurrent programming. ACM SIGCSE Bull. R. Morales-Fernandez, Juan José Moreno-Navarro
1989	—	`—`	Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica. Juan José Moreno-Navarro
1988	—	`conf`	BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP Juan José Moreno-Navarro, Mario Rodríguez-Artalejo