Julio C. Peralta

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic
LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE (2010)
Jorge Buenabad Chávez, Miguel Alfonso Castro-García, Rosa Angélica Rosales-Camacho, Santiago Domínguez-Domínguez, Julio C. Peralta, Manuel Aguilar Cornejo
Adaptive Parallel Matrix Computing through Compiler and Run-time Support. PARCO (2009)
Julio C. Peralta, Thierry Gautier
Towards SMV Model Checking of Signal (multi-clocked) Specifications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Julio C. Peralta, John P. Gallagher
Convex Hull Abstractions in Specialization of CLP Programs. LOPSTR (2002)
John P. Gallagher, Julio C. Peralta
Regular Tree Languages as an Abstract Domain in Program Specialisation. High. Order Symb. Comput. 14 (2-3) (2001)
John P. Gallagher, Julio C. Peralta
Using Regular Approximations for Generalisation During Partial Evalution. PEPM (2000)
Julio C. Peralta, John P. Gallagher
Imperative Program Specialisation: An Approach Using CLP. LOPSTR (1999)
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) (1998)
Julio C. Peralta, John P. Gallagher, Hüseyin Saglam
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. SAS (1998)
David A. Rosenblueth, Julio C. Peralta
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. ILPS (1994)