Publications by Julio Peralta

This is a list of all publications (co-)authored by Julio Peralta that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2001

• John P. Gallagher, Julio C. Peralta, Regular Tree Languages as an Abstract Domain in Program Specialisation. Higher-Order and Symbolic Computation, 14 (2-3). ISBN ISSN 1388-3690, pp. 143–172. November 2001. No electronic version available.

2000

• John P. Gallagher, Julio C. Peralta, Regular Trees as an Abstract Domain for Program Specialisation . CSTR-00-010, Department of Computer Science, University of Bristol. September 2000. PDF, 334 Kbytes.
• Julio C. Peralta, Analysis and Specialisation of Imperative Programs: An approach using CLP. PhD thesis. Department of Computer Science, University of Bristol. July 2000. PDF, 802 Kbytes.
• Julio C. Peralta, John P. Gallagher, Imperative Program Specialisation: An Approach Using CLP. Logic-Based Program Synthesis and Transformation (LOPSTR'99), (ed. A. Bossi), pp. 103–118. April 2000. No electronic version available.
• John P. Gallagher, Julio C. Peralta, Using Regular Approximations for Generalisation During Partial Evaluation. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'2000), Boston, Mass., (ed. J. Lawall). ISBN 1-58113-201-8, pp. 44–51. January 2000. PDF, 124 Kbytes.

1998

• J. C. Peralta, J. P. Gallagher, H. Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998. ISBN 3-540-65014-8, pp. 246–261. September 1998. No electronic version available.
• Julio C. Peralta, John P. Gallagher, Huseyin Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. CSTR-98-007, Department of Computer Science, University of Bristol. April 1998. PDF, 212 Kbytes.

1997

• Julio C. Peralta, John P. Gallagher, Towards Semantics-Based Partial Evaluation of Imperative Programs. CSTR-97-003, Department of Computer Science, University of Bristol. April 1997. PDF, 156 Kbytes.