Publications on Declarative Systems
2007
2006
2002
- S. Genaim, M. Codish, J. Gallagher, V. Lagoon, Combining Norms to Prove Termination. Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002.. A. Cortesi, (eds.). ISBN ISBN 3-540-43631-6, pp. 126–138. April 2002. PDF, 193 Kbytes.
- John P. Gallagher, German Puebla, Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, LNCS Vol. 2257. Shriram Krishnamurthi, C. R. Ramakrishnan, (eds.). ISBN 3-540-43092-X, pp. 243–261. January 2002. No electronic version available. External information
2001
2000
- Peter A. Flach, The use of functional and logic languages in machine learning. Ninth International Workshop on Functional and Logic Programming (WFLP2000)�. Maria Alpuente, (eds.), pp. 225–237. September 2000. PDF, 66 Kbytes.
- Ahmed Guessoum, John P. Gallagher, Abductive reasoning with knowledge bases for context modelling. Chapter in Abduction, Belief and Context in Dialogue. H. Bunt, W. Black, (eds.). ISBN 1 55619 794 2 , pp. 275–288. September 2000. No electronic version available.
- 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.
- Huseyin Pehlivan, A Sophisticated Shell Environment. PhD thesis. Department of Computer Science, University of Bristol. August 2000. PDF, 1016 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.
1999
- Eleni Spiliopoulou, Concurrent and Distributed Functional Systems. PhD thesis. Department of Computer Science, University of Bristol. September 1999. PDF, 975 Kbytes.
- Kerstin Eder, Yet another way of Set-processing: The Escher style and its implementation. Proceedings of the Workshop on Declarative Programming with Sets (DPS'99), pp. 37–50. September 1999. PDF, 252 Kbytes.
- Kerstin Eder, Implementing Escher on a Graph Reduction Machine. Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99), pp. 1–20. September 1999. PDF, 244 Kbytes.
- Kerstin Eder, A Study of the Operational Behaviour of Escher and its Implementation. Proceedings of the 8th International Workshop on Functional and Logic Programming, pp. 182–194. June 1999. PDF, 80 Kbytes.
- Ian Holyer, Eleni Spiliopoulou, Concurrent Monadic Interfacing. Implementation of Functional Languages, IFL '98, 10th International Workshop, Selected Papers, London, United Kingdom, September 1998. ISBN 3-540-66229-4, pp. 73–89. June 1999. No electronic version available.
- Laura Lafave, A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis. Department of Computer Science, University of Bristol. February 1999. PDF, 889 Kbytes.
- G. Puebla, M. Hermenegildo, J. P. Gallagher, An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999. , pp. 75–84. January 1999. PDF, 225 Kbytes.
1998
- Kerstin I. Eder, EMA: Implementing the Rewriting Computational Model of Escher. PhD thesis. Department of Computer Science, University of Bristol. November 1998. PDF, 1074 Kbytes.
- Kerstin Eder, Implementing the Rewriting Computational Model of Escher. 13th Workshop on Logic Programming (WLP'98), pp. 106–117. October 1998. PDF, 206 Kbytes.
- L. Lafave, J. P. Gallagher, Extending the power of automatic constraint-based partial evaluators. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
- J. P. Gallagher, L. Lafave, The role of trace abstractions in program specialization algorithms. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
- 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.
- T. S. Dahl, Eel, a Declarative Language for Programming Adaptive Agents. CSTR-98-008, Department of Computer Science, University of Bristol. August 1998. PDF, 66 Kbytes.
- L. Lafave, J. P. Gallagher, Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 168–188. June 1998. No electronic version available.
- H. Saglam, J. P. Gallagher, Constrained Regular Approximation of Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 282–299. June 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.
- Fotios Kokkoras, Steve Gregory, D-WMS: Distributed workforce management using CLP. Proceedings of the 4th International Conference on the Practical Application of Constraint Technology. ISSN 0952555409, pp. 129–146. March 1998. No electronic version available.
- Antony Bowers, Effective Meta-programming in Declarative Languages. PhD thesis. Department of Computer Science, University of Bristol. January 1998. PDF, 889 Kbytes.
- P. M. Hill, J. Gallagher, Meta-Programming in Logic Progamming. Chapter in Handbook of Logic in Artificial Intelligence and Logic Programming. D. M. Gabbay, C. J. Hogger, J. A. Robinson, (eds.). ISBN ISBN 0 19 853792 1, pp. 421–498. January 1998. No electronic version available.
1997
- Huseyin Saglam, A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis. Department of Computer Science, University of Bristol. December 1997. PDF, 784 Kbytes.
- Logic Program Synthesis and Transformation, 6th International Workshop, LOPSTR'96. John P. Gallagher, (eds.). Springer Verlag, Lecture Notes in Computer Science. ISBN 3-504-62718-9. March 1997. No electronic version available. External information
- Emmanouil I. Marakakis, Logic Program Development Based on Typed Moded Schemata and Data Types. PhD thesis. Department of Computer Science, University of Bristol. February 1997. PDF, 865 Kbytes.
1996
1995
- Pieter H. Hartel, Rutger F. H. Hofman, Koen G. Langendoen, Henk L. Muller, Willem G. Vree, L. O. Hertzberger, A toolkit for parallel functional programming. Concurrency: Practice and Experience, 7 (8). ISSN 1040-3108, pp. 765–793. December 1995. No electronic version available.
- Ines de Castro Dutra, Distributing And- and Or-work in the Andorra-I Parallel Logic Programming System. PhD thesis. Department of Computer Science, University of Bristol. February 1995. PDF, 966 Kbytes.
1994
1993
