 | 2009 |
|---|
| 47 |       | Ángel Herranz-Nieva,
Julio Mariño,
Manuel Carro,
Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources.
FMICS 2009: 102-116 |
| 46 | | Susana Muñoz-Hernández,
Juan José Moreno-Navarro:
Extending Constructive Logic Negation with Types.
Electr. Notes Theor. Comput. Sci. 246: 183-198 (2009) |
| 45 | | 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) |
| 44 | | 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) |
| 2008 |
|---|
| 43 | | Pablo Nogueira,
Juan José Moreno-Navarro:
Bialgebra views: a way for polytypic programming to cohabit with data abstraction.
ICFP-WGP 2008: 61-73 |
| 42 | | 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 |
| 41 | | Julio Mariño,
Juan José Moreno-Navarro,
Susana Muñoz-Hernández:
Implementing Constructive Intensional Negation.
New Generation Comput. 27(1): 25-56 (2008) |
| 2007 |
|---|
| 40 | | 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) |
| 39 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand analysis with partial predicates.
TPLP 7(1-2): 153-182 (2007) |
| 2006 |
|---|
| 38 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates
CoRR abs/cs/0602008: (2006) |
| 2005 |
|---|
| 37 |  | 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 |
| 2004 |
|---|
| 36 | | Susana Muñoz-Hernández,
Julio Mariño,
Juan José Moreno-Navarro:
Constructive Intensional Negation.
FLOPS 2004: 39-54 |
| 35 | | Susana Muñoz-Hernández,
Juan José Moreno-Navarro:
Implementation Results in Classical Constructive Negation.
ICLP 2004: 284-298 |
| 34 | | Juan José Moreno-Navarro,
Susana Muñoz-Hernández:
Soundness and Completeness of an "Efficient" Negation for Prolog.
JELIA 2004: 279-293 |
| 33 | | 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 |
| 2003 |
|---|
| 32 | | Susana Muñoz-Hernández,
Juan José Moreno-Navarro:
A Real Implementation for Constructive Negation.
ICLP 2003: 496-497 |
| 31 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM.
IEEE International Workshop on Rapid System Prototyping 2003: 201- |
| 30 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Formal Extreme (and Extremely Formal) Programming.
XP 2003: 88-96 |
| 2002 |
|---|
| 29 | | Matilde Celma,
Oscar Pastor,
Natalia Juristo Juzgado,
Juan José Moreno-Navarro:
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid)
JISBD 2002 |
| 28 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro,
N. Maya:
Declarative Reflection and its Application as a Pattern Language.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 27 | | Susana Muñoz-Hernández,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation.
LPAR 2001: 485-494 |
| 2000 |
|---|
| 26 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions.
AADEBUG 2000 |
| 25 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system.
JISBD 2000: 217-228 |
| 24 | | Juan José Moreno-Navarro,
Susana Muñoz-Hernández:
How to Incorporate Negation in a Prolog Compiler.
PADL 2000: 124-140 |
| 23 | | Julio Mariño,
Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs.
PADL 2000: 63-80 |
| 22 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
WFLP 2000: 23-41 |
| 21 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis.
WFLP 2000: 324-339 |
| 1999 |
|---|
| 20 | | Julio Mariño,
Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs.
ICLP 1999: 614 |
| 1998 |
|---|
| 19 | | Julio Mariño,
Juan José Moreno-Navarro:
Recovering Sequentiality in Functional-Logic Programs.
APPIA-GULP-PRODE 1998: 137-150 |
| 18 | | 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 |
| 1996 |
|---|
| 17 | | 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 |
| 16 | | Juan José Moreno-Navarro:
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.
ELP 1996: 213-227 |
| 15 | | 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) |
| 1995 |
|---|
| 14 | | 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 |
| 13 | | Juan José Moreno-Navarro:
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming.
ICLP 1995: 829 |
| 1994 |
|---|
| 12 | | Juan José Moreno-Navarro:
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages.
ICLP 1994: 535-549 |
| 1993 |
|---|
| 11 | | Julio García-Martín,
Juan José Moreno-Navarro:
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine.
AADEBUG 1993: 255-272 |
| 10 | | Julio García-Martín,
Juan José Moreno-Navarro:
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).
AMAST 1993: 367-376 |
| 9 | | Juan José Moreno-Navarro,
Herbert Kuchen,
Julio Mariño-Carballo,
Stephan Winkler,
Werner Hans:
Efficient Lazy Narrowing using Demandedness Analysis.
PLILP 1993: 167-183 |
| 1992 |
|---|
| 8 | | 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 |
| 7 | | José André Jimènez-Martin,
Julio Moriño-Carballo,
Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog.
LOPSTR 1992: 253-270 |
| 6 | | Julio García Marrtín,
Juan José Moreno-Navarro:
FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG.
LPAR 1992: 487-489 |
| 5 | | Herbert Kuchen,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing.
PLILP 1992: 24-38 |
| 4 | | 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) |
| 1990 |
|---|
| 3 | | Juan José Moreno-Navarro,
Herbert Kuchen,
Rita Loogen,
Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine.
ALP 1990: 298-317 |
| 2 | | Herbert Kuchen,
Rita Loogen,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage.
ESOP 1990: 271-290 |
| 1988 |
|---|
| 1 | | 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 |
