dblp.uni-trier.dewww.uni-trier.de

Ángel Herranz-Nieva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEGuillem 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
12EEGuillem 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)
11EEJulio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand analysis with partial predicates. TPLP 7(1-2): 153-182 (2007)
2006
10EEJulio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand Analysis with Partial Predicates CoRR abs/cs/0602008: (2006)
2004
9EEManuel 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
8EEÁngel Herranz-Nieva, Juan José Moreno-Navarro: Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping 2003: 201-
7EEÁngel Herranz-Nieva, Juan José Moreno-Navarro: Formal Extreme (and Extremely Formal) Programming. XP 2003: 88-96
2002
6EEÁ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
5EEÁ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

Coauthor Index

1Manuel Carro [9] [12] [13]
2Lars-Åke Fredlund (Lars-åke Fredlund) [12] [13]
3Julio García-Martín [1]
4Julio Mariño-Carballo (Julio Mariño) [1] [2] [9] [10] [11] [12] [13]
5Guillem Marpons-Ucero [12] [13]
6N. Maya [6]
7Juan José Moreno-Navarro [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
8A. del Pozo-Pietro [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)