2008 |
43 | EE | Pablo Nogueira,
Juan José Moreno-Navarro:
Bialgebra views: a way for polytypic programming to cohabit with data abstraction.
ICFP-WGP 2008: 61-73 |
42 | EE | 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 | EE | 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 | EE | 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 | EE | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand analysis with partial predicates.
TPLP 7(1-2): 153-182 (2007) |
2006 |
38 | EE | 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 | EE | Susana Muñoz-Hernández,
Julio Mariño,
Juan José Moreno-Navarro:
Constructive Intensional Negation.
FLOPS 2004: 39-54 |
35 | EE | Susana Muñoz-Hernández,
Juan José Moreno-Navarro:
Implementation Results in Classical Constructive Negation.
ICLP 2004: 284-298 |
34 | EE | Juan José Moreno-Navarro,
Susana Muñoz-Hernández:
Soundness and Completeness of an "Efficient" Negation for Prolog.
JELIA 2004: 279-293 |
33 | EE | 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 | EE | Susana Muñoz-Hernández,
Juan José Moreno-Navarro:
A Real Implementation for Constructive Negation.
ICLP 2003: 496-497 |
31 | EE | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM.
IEEE International Workshop on Rapid System Prototyping 2003: 201- |
30 | EE | Á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 | EE | Á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 | EE | Susana Muñoz-Hernández,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation.
LPAR 2001: 485-494 |
2000 |
26 | EE | Á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 | EE | Juan José Moreno-Navarro,
Susana Muñoz-Hernández:
How to Incorporate Negation in a Prolog Compiler.
PADL 2000: 124-140 |
23 | EE | 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 |