Julio Mariño-Carballo

Julio Mariño

	2011
21		Julio Mariño: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers Springer 2011
20		Ángel Herranz-Nieva, Julio Mariño: Synthesis of Logic Programs from Object-Oriented Formal Specifications. ICLP (Technical Communications) 2011: 95-105
19		Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira: First-order unification using variable-free relational algebra. Logic Journal of the IGPL 19(6): 790-820 (2011)
	2009
18		Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro: Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116
17		Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo: A Coding Rule Conformance Checker Integrated into GCC. Electr. Notes Theor. Comput. Sci. 248: 149-159 (2009)
	2008
16		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		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		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		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		Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand analysis with partial predicates. TPLP 7(1-2): 153-182 (2007)
	2006
11		Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand Analysis with Partial Predicates CoRR abs/cs/0602008: (2006)
	2005
10		Julio Mariño, José María Rey Poza: Adding constraints to curry via flat guards. WCFLP 2005: 14-22
9		Emilio Jesús Gallego Arias, Julio Mariño: An overview of the Sloth2005 curry system: system description. WCFLP 2005: 66-69
	2004
8		Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro: Constructive Intensional Negation. FLOPS 2004: 39-54
7		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		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] [19]
2	Manuel Carro	[7] [14] [16] [17] [18]
3	Lars-Åke Fredlund (Lars-åke Fredlund)	[14] [16] [17]
4	Julio García-Martín	[2]
5	Werner Hans	[1]
6	Ángel Herranz-Nieva	[2] [5] [7] [11] [12] [14] [16] [17] [18] [20]
7	Herbert Kuchen	[1]
8	James Lipton	[19]
9	Guillem Marpons-Ucero	[14] [16] [17]
10	Juan José Moreno-Navarro	[1] [2] [3] [4] [5] [6] [7] [8] [11] [12] [14] [15] [16] [17] [18]
11	Susana Muñoz-Hernández	[8] [15]
12	Pablo Nogueira	[19]
13	Álvaro Polo	[17]
14	José María Rey Poza	[10] [13]
15	A. del Pozo-Pietro	[2]
16	Stephan Winkler	[1]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page