| 2008 |
|---|
| 13 | 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 |
| 2007 |
|---|
| 12 | 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) |
| 11 | EE | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand analysis with partial predicates.
TPLP 7(1-2): 153-182 (2007) |
| 2006 |
|---|
| 10 | EE | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates
CoRR abs/cs/0602008: (2006) |
| 2004 |
|---|
| 9 | 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 |
|---|
| 8 | EE | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM.
IEEE International Workshop on Rapid System Prototyping 2003: 201- |
| 7 | EE | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Formal Extreme (and Extremely Formal) Programming.
XP 2003: 88-96 |
| 2002 |
|---|
| 6 | 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) |
| 2000 |
|---|
| 5 | EE | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions.
AADEBUG 2000 |
| 4 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system.
JISBD 2000: 217-228 |
| 3 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
WFLP 2000: 23-41 |
| 2 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis.
WFLP 2000: 324-339 |
| 1996 |
|---|
| 1 | | 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 |
