The SCEAS System
Navigation Menu

Search the dblp DataBase


Julio C. Peralta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Julio C. Peralta, John P. Gallagher
    Convex Hull Abstractions in Specialization of CLP Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:90-108 [Conf]
  2. Julio C. Peralta, John P. Gallagher
    Imperative Program Specialisation: An Approach Using CLP. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:102-117 [Conf]
  3. John P. Gallagher, Julio C. Peralta
    Using Regular Approximations for Generalisation During Partial Evalution. [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:44-51 [Conf]
  4. Julio C. Peralta, John P. Gallagher, Hüseyin Saglam
    Analysis of Imperative Programs through Analysis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:246-261 [Conf]
  5. David A. Rosenblueth, Julio C. Peralta
    LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:439-453 [Conf]
  6. David A. Rosenblueth, Julio C. Peralta
    SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:34, n:3, pp:227-259 [Journal]
  7. John P. Gallagher, Julio C. Peralta
    Regular Tree Languages as an Abstract Domain in Program Specialisation. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:143-172 [Journal]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002