Julio C. Peralta

2002
7	EE	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	EE	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	EE	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	John P. Gallagher	[3] [4] [5] [6] [7]
2	David A. Rosenblueth	[1] [2]
3	Hüseyin Saglam	[3]

Colors in the list of coauthors