BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
2 × Italy
2 × USA
Collaborated with:
J.P.Gallagher D.A.Rosenblueth H.Saglam
Talks about:
program (5) analysi (2) logic (2) infer (2) imper (2) use (2) clp (2) constraint (1) specialis (1) generalis (1)

Person: Julio C. Peralta

DBLP DBLP: Peralta:Julio_C=

Contributed to:

LOPSTR 20022002
PEPM 20002000
LOPSTR 19991999
SAS 19981998
ILPS 19941994

Wrote 5 papers:

LOPSTR-2002-PeraltaG #abstraction #source code
Convex Hull Abstractions in Specialization of CLP Programs (JCP, JPG), pp. 90–108.
PEPM-2000-GallagherP #approximate #using
Using Regular Approximations for Generalisation During Partial Evalution (JPG, JCP), pp. 44–51.
LOPSTR-1999-PeraltaG #approach #imperative #using
Imperative Program Specialisation: An Approach Using CLP (JCP, JPG), pp. 102–117.
SAS-1998-PeraltaGS #analysis #constraints #imperative #logic programming #source code
Analysis of Imperative Programs through Analysis of Constraint Logic Programs (JCP, JPG, HS), pp. 246–261.
ILPS-1994-RosenbluethP #logic programming #lr #parsing #source code
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing (DAR, JCP), pp. 439–453.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.