`Travelled to:`

1 × Spain

2 × Italy

2 × USA

`Collaborated with:`

J.P.Gallagher D.A.Rosenblueth H.Saglam

`Talks about:`

program (5) analysi (2) logic (2) infer (2) imper (2) use (2) clp (2) constraint (1) specialis (1) generalis (1)

## Person: Julio C. Peralta

### DBLP: Peralta:Julio_C=

### Contributed to:

### Wrote 5 papers:

- LOPSTR-2002-PeraltaG #abstraction #source code
- Convex Hull Abstractions in Specialization of CLP Programs (JCP, JPG), pp. 90–108.
- PEPM-2000-GallagherP #approximate #using
- Using Regular Approximations for Generalisation During Partial Evalution (JPG, JCP), pp. 44–51.
- LOPSTR-1999-PeraltaG #approach #imperative #using
- Imperative Program Specialisation: An Approach Using CLP (JCP, JPG), pp. 102–117.
- SAS-1998-PeraltaGS #analysis #constraints #imperative #logic programming #source code
- Analysis of Imperative Programs through Analysis of Constraint Logic Programs (JCP, JPG, HS), pp. 246–261.
- ILPS-1994-RosenbluethP #logic programming #lr #parsing #source code
- LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing (DAR, JCP), pp. 439–453.