Julio C. Peralta

According to our database, Julio C. Peralta authored at least 10 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

LTSs for translation validation of (multi-clocked) SIGNAL specifications.

Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009

Towards SMV Model Checking of Signal (multi-clocked) Specifications.

Julio C. Peralta, Thierry Gautier

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Adaptive Parallel Matrix Computing through Compiler and Run-time Support.

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

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

2002

Convex Hull Abstractions in Specialization of CLP Programs.

Julio C. Peralta, John P. Gallagher

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

Regular Tree Languages as an Abstract Domain in Program Specialisation.

John P. Gallagher, Julio C. Peralta

High. Order Symb. Comput., 2001

2000

Using Regular Approximations for Generalisation During Partial Evalution.

John P. Gallagher, Julio C. Peralta

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

1999

Imperative Program Specialisation: An Approach Using CLP.

Julio C. Peralta, John P. Gallagher

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1998

SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing.

David A. Rosenblueth, Julio C. Peralta

J. Log. Program., 1998

Analysis of Imperative Programs through Analysis of Constraint Logic Programs.

Julio C. Peralta, John P. Gallagher, Hüseyin Saglam

Proceedings of the Static Analysis, 5th International Symposium, 1998

1994

LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing.

David A. Rosenblueth, Julio C. Peralta

Proceedings of the Logic Programming, 1994