Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2002 | |
---|---|---|

7 | EE | Julio 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 | ||

5 | EE | John 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 | ||

3 | EE | Julio 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 |

1 | John P. Gallagher | [3] [4] [5] [6] [7] |

2 | David A. Rosenblueth | [1] [2] |

3 | Hüseyin Saglam | [3] |