Julio Mariño-Carballo

Julio Mariño

2008
16	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
15	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
14	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)
13	EE	Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza: A Proposal for Disequality Constraints in Curry. Electr. Notes Theor. Comput. Sci. 177: 269-285 (2007)
12	EE	Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand analysis with partial predicates. TPLP 7(1-2): 153-182 (2007)
2006
11	EE	Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand Analysis with Partial Predicates CoRR abs/cs/0602008: (2006)
2005
10	EE	Julio Mariño, José María Rey Poza: Adding constraints to curry via flat guards. WCFLP 2005: 14-22
9	EE	Emilio Jesús Gallego Arias, Julio Mariño: An overview of the Sloth2005 curry system: system description. WCFLP 2005: 66-69
2004
8	EE	Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro: Constructive Intensional Negation. FLOPS 2004: 39-54
7	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
2000
6	EE	Julio Mariño, Juan José Moreno-Navarro: Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80
5		Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Partial Predicates for Demand Analysis. WFLP 2000: 324-339
1999
4		Julio Mariño, Juan José Moreno-Navarro: Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP 1999: 614
1998
3		Julio Mariño, Juan José Moreno-Navarro: Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE 1998: 137-150
1996
2		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
1993
1		Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans: Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183

Coauthor Index

1	Emilio Jesús Gallego Arias	[9] [13]
2	Manuel Carro	[7] [14] [16]
3	Lars-Åke Fredlund (Lars-åke Fredlund)	[14] [16]
4	Julio García-Martín	[2]
5	Werner Hans	[1]
6	Ángel Herranz-Nieva	[2] [5] [7] [11] [12] [14] [16]
7	Herbert Kuchen	[1]
8	Guillem Marpons-Ucero	[14] [16]
9	Juan José Moreno-Navarro	[1] [2] [3] [4] [5] [6] [7] [8] [11] [12] [14] [15] [16]
10	Susana Muñoz-Hernández	[8] [15]
11	José María Rey Poza	[10] [13]
12	A. del Pozo-Pietro	[2]
13	Stephan Winkler	[1]

Colors in the list of coauthors