Julio C. Peralta

	2010
9		Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic: LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208
	2009
8		Julio C. Peralta, Thierry Gautier: Towards SMV Model Checking of Signal (multi-clocked) Specifications. ECEASST 23: (2009)
	2002
7		Julio C. Peralta, John P. Gallagher: Convex Hull Abstractions in Specialization of CLP Programs. LOPSTR 2002: 90-108
	2001
6		John P. Gallagher, Julio C. Peralta: Regular Tree Languages as an Abstract Domain in Program Specialisation. Higher-Order and Symbolic Computation 14(2-3): 143-172 (2001)
	2000
5		John P. Gallagher, Julio C. Peralta: Using Regular Approximations for Generalisation During Partial Evalution. PEPM 2000: 44-51
	1999
4		Julio C. Peralta, John P. Gallagher: Imperative Program Specialisation: An Approach Using CLP. LOPSTR 1999: 102-117
	1998
3		Julio C. Peralta, John P. Gallagher, Hüseyin Saglam: Analysis of Imperative Programs through Analysis of Constraint Logic Programs. SAS 1998: 246-261
2		David A. Rosenblueth, Julio C. Peralta: SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. J. Log. Program. 34(3): 227-259 (1998)
	1994
1		David A. Rosenblueth, Julio C. Peralta: LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. SLP 1994: 439-453

Coauthor Index

1	Loïc Besnard	[9]
2	John P. Gallagher	[3] [4] [5] [6] [7]
3	Thierry Gautier	[8] [9]
4	Paul Le Guernic	[9]
5	David A. Rosenblueth	[1] [2]
6	Hüseyin Saglam	[3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page