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 |