Julio C. Peralta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2010
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MEMOCODE | LTSs for translation validation of (multi-clocked) SIGNAL specifications. | Julio C. Peralta, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2002 | LOPSTR | Convex Hull Abstractions in Specialization of CLP Programs. | Julio C. Peralta, John P. Gallagher |
| 2000 | PEPM | Using Regular Approximations for Generalisation During Partial Evalution. | John P. Gallagher, Julio C. Peralta |
| 1999 | LOPSTR | Imperative Program Specialisation: An Approach Using CLP. | Julio C. Peralta, John P. Gallagher |
| 1998 | SAS | Analysis of Imperative Programs through Analysis of Constraint Logic Programs. | Julio C. Peralta, John P. Gallagher, Hseyin Saglam |