dblp.uni-trier.dewww.uni-trier.de

Julio C. Peralta Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
7EEJulio 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
5EEJohn 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
3EEJulio 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

1John P. Gallagher [3] [4] [5] [6] [7]
2David A. Rosenblueth [1] [2]
3Hüseyin Saglam [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)