2007

The Doomsday Distributed Termination Detection Protocol. Livesey, MJ, Morrison, R, Munro, DS. In: Distributed Computing 19, 5-6, pp 419-431. 2007. [PDF]

Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture. Kirby, GNC, Dearle, A, Norcross, SJ. In: Proc. DSN 2007 Workshop on Architecting Dependable Systems, Edinburgh, Scotland, pp 178-183. 2007. [PDF]

Hosting Byzantine Fault Tolerant Services on a Chord Ring. Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/07/1. 2007. [PDF]

2006

The Impact of Software-Architecture Compliance on System Evolution. Greenwood, RM, Mayes, K, Seet, W, Warboys, BC, Balasubramaniam, D, Kirby, GNC, Morrison, R, Sage, AI. In: Software Evolution and Feedback: Theory and Practice, Madhavji, N, Ramil, JF, Perry, DE (eds), pp 269-280. Wiley, ISBN 0-470-87180-6. 2006. [PDF]

A Peer-to-Peer Middleware Framework for Resilient Persistent Programming. Dearle, A, Kirby, GNC, Norcross, SJ, McCarthy, AJ. University of St Andrews Report CS/06/1. 2006. [PDF]

RAFDA: A Policy-Aware Middleware Supporting the Flexible Separation of Application Logic from Distribution. Walker, SM, Dearle, A, Norcross, SJ, Kirby, GNC, McCarthy, AJ. University of St Andrews Report CS/06/2. 2006. [PDF]

Towards Adaptable and Adaptive Policy-Free Middleware. Dearle, A, Kirby, GNC, Norcross, S, Macdonald, AD, Bigwood, GJ. University of St Andrews Report CS/06/3. 2006. [PDF]

2005

An Active Architecture Approach to COTS Integration. Warboys, BC, Snowdon, B, Greenwood, RM, Seet, W, Robertson, I, Morrison, R, Balasubramaniam, D, Kirby, GNC, Mickan, K. In: IEEE Software, Special Issue on Incorporating COTS into the Development Process 22, 4, pp 20-27. 2005. [PDF]

The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a π-Calculus Based Architecture Description Language. Warboys, BC, Greenwood, RM, Robertson, I, Morrison, R, Balasubramaniam, D, Kirby, GNC, Mickan, K. In: Lecture Notes in Computer Science 3527, Morrison, R, Oquendo, F (eds), Proc. 2nd European Workshop on Software Architectures (EWSA 2005), Pisa, Italy, pp 30-40, ISBN 3-540-26275-X. 2005. [PDF]

A Flexible, Policy-Aware Middleware System. Walker, SM. PhD Thesis. Supervisor: Dearle, A. 2005. [PDF]

A Meta-Programming Framework for Software Evolution. Enderling, KEM. PhD Thesis. Supervisor: Morrison, R. 2005. [PDF]

A Methodology for Developing and Deploying Distributed Applications. Kirby, GNC, Walker, SM, Norcross, SJ, Dearle, A. In: Lecture Notes in Computer Science 3798, Dearle, A, Eisenbach, S (eds), Proc. 3rd International Working Conference on Component Deployment (CD2005), Grenoble, France, pp 37-51. Springer, ISBN 3-540-30517-3. 2005. [PDF]

A Peer-To-Peer Infrastructure for Resilient Web Services. Norcross, SJ, Dearle, A, Kirby, GNC, Walker, SM. In: Proc. IEEE International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications (AAA-IDEA 2005), Orlando, Florida, USA, Colajanni, M, Bartolini, N, Cherkasova, L (eds), pp 65-72. IEEE Computer Society. 2005. [PDF]

Performing Automatic Application Transformation using the RAFDA Tools. Walker, SM. University of St Andrews Report CS/05/5. 2005. [PDF]

Proceedings of 3rd International Working Conference on Component Deployment (CD2005), Grenoble, France. Dearle, A, Eisenbach, S (eds). In Series: Lecture Notes in Computer Science, Vol 3798. Springer, ISBN 3-540-30517-3. 2005. [PDF]

Promoting Component Reuse by Separating Transmission Policy from Implementation. Walker, SM, Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/05/1. 2005. [PDF]

RAFDA Run-Time (RRT) Beginner’s Guide v1.0. Walker, SM. University of St Andrews Report CS/05/4. 2005. [PDF]

RAFDA: Middleware Supporting the Separation of Application Logic from Distribution Policy. Dearle, A, Walker, S, Norcross, S, Kirby, GNC, McCarthy, A. University of St Andrews Report CS/05/3. 2005. [PDF]

A Software Architecture Approach for Structuring Autonomic Systems. Balasubramaniam, D, Morrison, R, Kirby, GNC, Mickan, K, Warboys, BC, Robertson, I, Snowdon, B, Greenwood, RM, Seet, W. In: ACM SIGSOFT Software Engineering Notes, pp 1-7. 2005. [PDF]

2004

ArchWare ADL Release 1 User Reference Manual. Balasubramaniam, D, Morrison, R, Kirby, GNC, Mickan, K, Norcross, S. ArchWare Project IST-2001-32360 Report D4.3. 2004. [PDF]

ArchWARE: Architecting Evolvable Software. Oquendo, F, Warboys, BC, Morrison, R, Dindeleux, R, Gallo, F, Garavel, H, Occhipinti, C. In: Lecture Notes in Computer Science 3047, Oquendo, F, Warboys, BC, Morrison, R (eds), Proc. 1st European Workshop in Software Achitecture (EWSA 2004), St Andrews, UK, pp 257-271. Springer, ISBN 3-540-22000-3. 2004. [PDF]

Exposing Application Components as Web Services. Walker, SM, Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/04/3. 2004. [PDF]

A Flexible and Secure Deployment Framework for Distributed Applications. Dearle, A, Kirby, GNC, McCarthy, A, Diaz y Carballo, JC. In: Lecture Notes in Computer Science 3083, Emmerich, W, Wolf, AL (eds), Proc. 2nd International Working Conference on Component Deployment (CD 2004), Edinburgh, Scotland, pp 219-233. Springer, ISBN 3-540-22059-3. 2004. [PDF]

A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications. Dearle, A, Kirby, GNC, McCarthy, A. University of St Andrews Report CS/04/1. 2004. [PDF]

A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications (Extended Abstract). Dearle, A, Kirby, GNC, McCarthy, A. In: Proc. International Conference on Autonomic Computing (ICAC-04), New York, USA, Kephart, JO, Parashar, M (eds), pp 300-301. IEEE Computer Society. 2004. [PDF]

Implementing a Family of Distributed Garbage Collectors. Norcross, S, Morrison, R, Munro, DS, Detmold, H, Falkner, K. In: Journal of Research and Practice in Information Technology 36, 3, pp 69-88. 2004. [PDF]

A Middleware Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications. Dearle, A, Kirby, GNC, McCarthy, A. University of St Andrews Report CS/04/2. 2004. [PDF]

Software Architecture. Oquendo, F, Warboys, BC, Morrison, R (eds), Proc. 1st European Workshop on Software Architecture (EWSA 2004). In Series: Lecture Notes in Computer Science, Vol 3047. Springer, ISBN 3-540-22000-3. 2004. [PDF]

Support for Evolving Software Architectures in the ArchWare ADL. Morrison, R, Kirby, GNC, Balasubramaniam, D, Mickan, K, Oquendo, F, Cîmpan, S, Warboys, BC, Snowdon, B, Greenwood, RM. In: Proc. 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 4), Oslo, Norway, pp 69-78. 2004. [PDF]

Support for Feedback and Change in Self-adaptive Systems. Balasubramaniam, D, Morrison, R, Mickan, K, Kirby, GNC, Warboys, BC, Robertson, I, Snowdon, B, Greenwood, RM, Seet, W. In: Proc. ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04), Newport Beach, CA, USA. ACM. 2004. [PDF]

Using Generative Programming to Visualise Hypercode in Complex and Dynamic Systems. Mickan, K, Morrison, R, Kirby, GNC, Balasubramaniam, D, Zirintsis, E. In: Proc. 27th Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. 2004. [PDF]

2003

Active Architecture for Pervasive Contextual Services. Kirby, GNC, Dearle, A, Morrison, R, Dunlop, M, Connor, RCH, Nixon, P. In: Proc. International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2003), ACM/IFIP/USENIX International Middleware Conference (Middleware 2003), Rio de Janeiro, Brazil, Ururahy, C, Sztajnberg, A, Cerqueira, R (eds), pp 21-28. Pontifícia Universidade Católica do Rio de Janeiro. 2003. [PDF]

Architectural Support for Global Smart Spaces. Dearle, A, Kirby, GNC, Morrison, R, McCarthy, A, Mullen, K, Yang, Y, Connor, RCH, Welen, P, Wilson, A. In: Lecture Notes in Computer Science 2574, Chen, M-S, Chrysanthis, PK, Sloman, M, Zaslavsky, AB (eds), Proc. 4th International Conference on Mobile Data Management (MDM 2003), Melbourne, Australia, pp 153-164. Springer, ISBN 3-540-00393-2. 2003. [PDF]

Constructing Active Architectures in the ArchWare ADL. Morrison, R, Kirby, GNC, Balasubramaniam, D, Mickan, K, Oquendo, F, Cîmpan, S, Warboys, BC, Snowdon, B, Greenwood, RM. University of St Andrews Report CS/03/3. 2003. [PDF]

Deriving Distributed Garbage Collectors from Distributed Termination Algorithms. Norcross, S. PhD Thesis. Supervisor: Morrison, R. 2003. [PDF]

A Generic Storage API. Kirby, GNC, Zirintsis, E, Dearle, A, Morrison, R. University of St Andrews Report CS/03/2. 2003. [PDF]

Implementing a Family of Distributed Garbage Collectors. Norcross, S, Morrison, R, Munro, DS, Detmold, H. In: Proc. 26th Australasian Computer Science Conference (ACSC 2003), Adelaide, Australia, Oudshoorn, MJ (ed), pp 161-170. 2003. [PDF]

An Information Flow Architecture for Global Smart Spaces. Dearle, A, Kirby, GNC, McCarthy, A, Diaz y Carballo, JC. Global Smart Spaces Project IST-2000-26070 Report D15. 2003. [PDF]

An Integrated Approach to Static Safety of Web Applications. Detmold, H, Falkner, K, Munro, DS, Olds, T, Morrison, R, Norcross, S. In: Proc. 12th International World Wide Web Conference, Budapest. 2003. [PDF]

Observation-Driven Configuration of Complex Software Systems. Sage, AI. PhD Thesis. Supervisor: Kirby, GNC. 2003. [PDF]

Process Support for Evolving Active Architectures. Greenwood, RM, Balasubramaniam, D, Cîmpan, S, Kirby, GNC, Mickan, K, Morrison, R, Oquendo, F, Robertson, I, Seet, W, Snowdon, B, Warboys, BC, Zirintsis, E. In: Lecture Notes in Computer Science 2786, Oquendo, F (ed), Proc. 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki, Finland, pp 112-127, ISBN 3-540-40764-2. 2003. [PDF]

A Reflective Approach to Providing Flexibility in Application Distribution. Rebón Portillo, ÁJ, Walker, S, Kirby, GNC, Dearle, A. In: Proc. 2nd International Workshop on Reflective and Adaptive Middleware, ACM/IFIP/USENIX International Middleware Conference (Middleware 2003), Rio de Janeiro, Brazil, Ururahy, C, Sztajnberg, A, Cerqueira, R (eds), pp 95-99. Pontifícia Universidade Católica do Rio de Janeiro. 2003. [PDF]

Report on the XBase Project. Zirintsis, E, Kirby, GNC, Dearle, A, Morrison, R. University of St Andrews Report CS/03/1. 2003. [PDF]

Second Set of Spaces. Zirintsis, E, Kirby, GNC, Dearle, A, Allen, B, MacInnis, R, McCarthy, A, Morrison, R, Nixon, P, Jamieson, A, Nicholson, C, Harris, S. Global Smart Spaces Project IST-2000-26070 Report D11. 2003. [PDF]

Working Document on Gloss Ontology. Coutaz, J, Dearle, A, Dupuy-Chessa, S, Kirby, GNC, Lachenal, C, Morrison, R, Rey, G, Zirintsis, E. Global Smart Spaces Project IST-2000-26070 Report D9.2. 2003. [PDF]

2002

First Smart Spaces. Kirby, GNC, Dearle, A, McCarthy, A, Morrison, R, Mullen, K, Yang, Y, Connor, RCH, Welen, P, Wilson, A. Global Smart Spaces Project IST-2000-26070 Report D8. 2002. [PDF]

A Recursive Software Architecture for Location-Aware Services. Dearle, A, Kirby, GNC, Morrison, R, Mullen, K, Yang, Y, Connor, RCH, Welen, P, Wilson, A. University of St Andrews Report CS/02/1. 2002. [PDF]

Thin Servers - An Architecture to Support Arbitrary Placement of Computation in the Internet. Diaz y Carballo, JC, Dearle, A, Connor, RCH. In: Proc. 4th International Conference on Enterprise Information Systems (ICEIS 2002), Ciudad Real, Spain, Piattini, M, Filipe, J, Braz, J (eds), pp 1080-1085. ICEIS Press. 2002. [PDF]

2001

ACT: a Tool for Performance Driven Evolution of Distributed Applications. Sage, AI, Kirby, GNC, Morrison, R. In: Proc. Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia. 2001. [PDF]

The Architecture of a Framework for Building Distributed Learning Environments. Allison, C, Ruddle, A, McKechan, D, Michaelson, R. In: Proc. Advanced Learning Technologies, pp 29-35. IEEE Press. 2001. [PDF]

Hyper-Code Revisited: Unifying Program Source, Executable and Data. Zirintsis, E, Kirby, GNC, Morrison, R. In: Lecture Notes in Computer Science 2135, Kirby, GNC, Dearle, A, Sjøberg, D (eds), Proc. 9th International Workshop on Persistent Object Systems, Lillehammer, Norway, 2000 (POS9), pp 232-246. Springer, ISBN 3-540-42735-X. 2001. [PDF]

The Impact of Software-Architecture Compliance on System Evolution. Greenwood, RM, Balasubramaniam, D, Kirby, GNC, Mayes, K, Morrison, R, Sage, AI, Seet, W, Warboys, BC. In: Proc. International Workshop on Feedback and Evolution in Software and Business Processes (FEAST 2000), Madhavji, N (ed). 2001. [PDF]

Persistent Object Systems: Design, Implementation and Use. Kirby, GNC, Dearle, A, Sjøberg, D (eds), Proc. 9th International Workshop on Persistent Object Systems, Lillehammer, Norway, 2000 (POS9). In Series: Lecture Notes in Computer Science, Vol 2135. Springer, ISBN 3-540-42735-X. 2001. [PDF]

Reflection and Reification in Process System Evolution: Experience and Opportunity. Greenwood, RM, Balasubramaniam, D, Kirby, GNC, Mayes, K, Morrison, R, Seet, W, Warboys, BC, Zirintsis, E. In: Software Process Technology: Lecture Notes in Computer Science 2077, Ambriola, V (ed), Proc. 8th European Workshop on Software Process Technology (EWSPT-8), Witten, Germany, pp 27-38. Springer, ISBN 3-540-42264-1. 2001. [PDF]

2000

Addressing the Limitations of Connection Confined Adaptation. Ruddle, A. In: Proc. 1st International Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNET 2001), Liverpool John Moores University, pp 47-53. 2000. [PDF]

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. Dyckhoff, R, Negri, S. In: Journal of Symbolic Logic 65, pp 1499-1518. 2000. [PDF]

An Approach to Compliance in Software Architectures. Morrison, R, Balasubramaniam, D, Greenwood, RM, Kirby, GNC, Mayes, K, Munro, DS, Warboys, BC. In: IEE Computing & Control Engineering Journal, Special Issue on Informatics 11, 4, pp 195-200. 2000. [PDF]

Assets: A Strategic Server for SHEFC Sponsored C&IT Materials. Allison, C. Grant: SHEFC, £55,000, November 2000 - June 2002. 2000. [PDF]

Automated Reasoning with Analytic Tableaux and Related Methods, Position Papers and Tutorials. Dyckhoff, R. University of St Andrews Report CS/00/01. 2000. [PDF]

Backbone Fragility and the Local Search Cost Peak. Singer, J, Gent, IP, Smaill, A. In: Journal of Artificial Intelligence Research 12, pp 235-270. 2000. [PDF]

A Compliant Persistent Architecture. Morrison, R, Balasubramaniam, D, Greenwood, RM, Kirby, GNC, Mayes, K, Munro, DS, Warboys, BC. In: Software - Practice and Experience, Special Issue on Persistent Object Systems 30, 4, pp 363-386. 2000. [PDF]

Constructing Representations of Split Semisimple Lie Algebras. de Graaf, WA. To Appear: Journal of Pure and Applied Algebra. 2000. [PDF]

Construction and Visualisation of Three-Dimensional Facial Statistics. Tiddeman, BP, Duffy, N, Rabey, G. In: Computer Methods and Programs in Biomedicine 63, pp 9-20. 2000. [PDF]

Decomposable Constraints. Gent, IP, Stergiou, K, Walsh, T. In: Artificial Intelligence 123, 1-2, pp 133-156. 2000. [PDF]

Definite Integration of Parametric Rational Functions: Applying a DITLU. Adams, AA. In: Proc. Calculemus-2000, Kerber, K, Kohlhase, M (eds), pp 7-21. A. K. Peters. 2000. [PDF]

Exact Numerical Computation via Symbolic Computation. Kelsey, TW. In: Proc. CCA 2000, Blanck, J, Brattka, V, Hertling, P, Weihrauch, K (eds), pp 187-198. University of Hagen. 2000. [PDF]

Fact: A Learning Based Web Query Processing System. Chen, S, Diao, Y, Lu, H, Tian, Z. In: ACM SIGMOD Record 29, 2, p 587. 2000. [PDF]

Finding Splitting Elements and Maximal Tori in Matrix Algebras. de Graaf, WA, Ivanyos, G. In: Interactions between Ring Theory and Representations of Algebras, van Oystaeyen, Saorin (eds), pp 95-105. Marcel Dekker. 2000. [PDF]

A Formalisation of Weak Normalisation (With Respect to Permutations) of Sequent Calculus Proofs. Adams, AA. In: LMS Journal of Computation and Mathematics 3, pp 1-26. 2000. [PDF]

Frozen Development in Graph Coloring. Culberson, J, Gent, IP. To Appear: Theoretical Computer Science. 2000. [PDF]

GLOSS: Global Smart Spaces. Dearle, A, Morrison, R, Kirby, GNC, Allison, C. Grant: EC 5th Framework Programme IST-2000-26070, €285,600, 1/1/2001 - 31/12/2003. 2000. [PDF]

HaskSkel: Algorithmic Skeletons in Haskell. Hammond, K, Rebón Portillo, AJ. In: Proc. 1999 Workshop on Implementation of Functional Programming Languages, Koopman, P, Clack, C (eds), pp 181-198. Springer-Verlag. 2000. [PDF]

Hume: a Bounded Time Concurrent Language. Hammond, K. In: Proc. 7th IEEE International Conference on Electronics, Circuits & Systems (ICECS '2K), Kashlik, Lebanon, Sawan, M (ed). IEEE. 2000. [PDF]

Implementation of McCool’s Algorithm. Cutting, A, Nickel, W, Wainwright, R. Report 2000. [PDF]

Implementing Self-Managing Protection Domains in Charm. Dearle, A, Hulse, D. In: Proc. 3rd ECOOP Workshop on Object-Orientation and Operating Systems (ECOOP-OOOSWS), Cannes, France, Ballesteros, F, Schubert, F, Singhai, A, Garcia, AD, Gutierrez, A, Meyer, R (eds), pp 15-24. Servicio de Publicaciones de la Universidad de Oviedo. 2000. [PDF]

Inside MAC and FC. Gent, IP, Prosser, P. APES Research Group Report APES-20-2000. 2000. [PDF]

INSIDE: An Institutionally Secure Integrated Data Environment. Allison, C. Grant: JISC, £180,000, July 2000 - December 2002. 2000. [PDF]

Integration in Real PCF. Edalat, A, Escardo, MH. To Appear: Information and Computation (LICS96 Special Issue). 2000. [PDF]

Internet Broadcasting. Allison, C, McPherson, D, Husemann, D. In: Proc. 1st Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (EPSRC PGNet 2000), Liverpool, Merabti, M (ed), pp 13-18. EPSRC. 2000. [PDF]

Invariants, Patterns and Weights for Ordering Terms. Martin, U, Shand, DD. In: Journal of Symbolic Computation 29, 6, pp 921-957. 2000. [PDF]

Lawson Computability. De Jaeger, F, Santini, G, Escardo, MH. To Appear: MFPS XVI. 2000. [PDF]

Lie Algebras: Theory and Algorithms. de Graaf, WA. In Series: North-Holland Mathematical Library, Vol 56. Elsevier Science, ISBN 0-444-50116-9. 2000. [PDF]

Local Search on Random 2+p-SAT. Singer, J, Gent, IP, Smaill, A. In: Proc. ECAI-2000, Horn, W (ed). IOS Press. 2000. [PDF]

A Location Information Server for the Internet. Ruddle, A. In: Proc. 9th IEEE International Conference on Computer Communications and Networks (ICCCN 2000), Las Vegas, Nevada, USA. IEEE Computer Society Press. 2000. [PDF]

The Multi-Architecture Performance of the Parallel Functional Language GpH. Trinder, PW, Loidl, H-W, Barry, E, Davis, MK, Hammond, K, Klusik, U, Peyton Jones, SL, Rebón Portillo, AJ. To Appear: Euro-Par 2000 - Parallel Processing, Munich, Germany, August 2000. 2000. [PDF]

New Channels, Old Concerns: Scalable and Reliable Data Dissemination. Allison, C, McPherson, D, Husemann, D. In: Proc. 9th ACM SIGOPS European Workshop: Beyond the PC: New Challenges for the Operating System, Kolding, Denmark, Shapiro, M, Guedes, P (eds), pp 115-120. ACM SIGOPS. 2000. [PDF]

On Topologies for Function Spaces. Heckmann, R, Escardo, MH. Report 2000. [PDF]

Operating System Support for Persistent Systems: Past, Present and Future. Dearle, A, Hulse, D. In: Software - Practice and Experience, Special Issue on Persistent Object Systems 30, 4, pp 295-324. 2000. [PDF]

Performance Comparison in Genetic Programming. Paterson, N, Livesey, MJ. In: Proc. Late Breaking Papers, Genetic and Evolutionary Computation Conference (GECCO-2000), Whitley, D (ed), pp 253-260. Morgan Kaufmann. 2000. [PDF]

Performance Evaluation of Parallel Functional Programs for Multi-Processor Computer Systems. Hammond, K, Trinder, PW, Loidl, H-W, King, DJ, Marí, P, Ortega-Mallén, Y. Grant: British Council, £8,000, 2 Years. 2000. [PDF]

Problem Reformulation and Search. Prosser, P, Smith, BM, Gent, IP. Grant: EPSRC GR/M90641, £159,097, 31/8/2000 - 30/8/2003. 2000. [PDF]

Quality of Service Issues in Distributed Learning Environments. Allison, C, McKechan, D, Lawson, H, Ruddle, A. In: Proc. 26th Euromicro Conference, Maastricht, Vadja, F (ed), pp 28-35. IEEE Press. 2000. [PDF]

The Regular-Locally-Compact Coreflection of Stably Locally Compact Locale. Escardo, MH. To Appear: Journal of Pure and Applied Algebra. 2000. [PDF]

Replicating the R in URL. Allison, C, Bramley, M, Serrano, J, McKechan, D. In: Proc. 8th Euromicro Workshop on Parallel and Distributed Processing, Rhodes, Greece, pp 77-83. IEEE CS Press. 2000. [PDF]

SAT 2000: Highlights of Satisfiability Research in the Year 2000. Gent, IP, van Maaren, H, Walsh, T (eds). IOS Press, ISBN 1 58603 061 2. 2000. [PDF]

Search Algorithms in Type Theory. Caldwell, JL, Gent, IP, Underwood, J. In: Theoretical Computer Science 232, pp 55-90. 2000. [PDF]

Supporting Internet Computation in Arbitrary Geographical Locations. Dearle, A. Grant: EPSRC GR/M78403, £167,111, 31/3/2000 - 29/6/2003. 2000. [PDF]

Symmetry Breaking in Constraint Programming. Gent, IP, Smith, BM. In: Proc. ECAI-2000, Horn, W (ed), pp 599-603. IOS Press. 2000. [PDF]

Symmetry Breaking in the Alien Tiles Puzzle. Gent, IP, Linton, SA, Smith, BM. APES Research Group Report APES-22-2000. 2000. [PDF]

System Evolution, Feedback and Compliant Architectures. Greenwood, RM, Mayes, K, Warboys, BC, Yeomans, BS, Balasubramaniam, D, Kirby, GNC, Morrison, R. In: Proc. International Workshop on Feedback and Evolution in Software and Business Processes (FEAST 2000), Imperial College, London. 2000. [PDF]

T-Tree or B-Tree: Main Memory Database Index Structure Revisited. Lu, H, Ng, YY, Tian, Z. In: Proc. 11th Australasian Database Conference 2000, Canberra, Australia, pp 65-73. IEEE Computer Society. 2000. [PDF]

Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods. Dyckhoff, R (ed). In Series: Lecture Notes in Artificial Intelligence, Vol 1847. Springer-Verlag, ISBN 3-540-67697-X. 2000. [PDF]

The TAGS Framework for Web-Based Learning Environments. Allison, C, McKechan, D, Lawson, H, Michaelson, R. In: Proc. Web Based Learning Environments, Porto, Portugal, Ribeiro, LM (ed). 2000. [PDF]

TAGS-2. Allison, C. Grant: SHEFC, £148,000. 2000. [PDF]

Toward Learning Based Web Query Processing. Diao, Y, Lu, H, Chen, S, Tian, Z. In: Proc. 26th International Conference on Very Large Data Bases (VLDB 2000), Cairo, Egypt, El Abbadi, A, Brodie, ML, Chakravarthy, S, Dayal, U, Kamel, N, Schlageter, G, Whang, K-Y (eds), pp 317-328. Morgan Kaufmann. 2000. [PDF]

Towards Formal Methods for Mathematical Modeling. Martin, U. To Appear: 5th NASA Langley Workshop on Formal Methods. 2000. [PDF]

Towards Simplification of the Software Development Process: The Hyper-Code Abstraction. Zirintsis, E. PhD Thesis. Supervisor: Morrison, R, Kirby, GNC. 2000. [PDF]

Transcendental Functions and Continuity Checking in PVS. Gottliebsen, H. In: Proc. 13th International Conference on Theorem Proving in Higher Order Logics, Harrison, J, Aagaard, M (eds), pp 198-215. Springer-Verlag. 2000. [PDF]

Using Subgoal Chaining to Address the Local Minimum Problem. Lewis, J, Weir, MK. In: Proc. International ICSC Symposium on Neural Computation. 2000. [PDF]

Using TAGS for Distributed IT Project Management. Allison, C, Bain, AL, McKechan, D, Michaelson, R. In: Proc. The Move from Teaching to Learning: 1st Annual Conference of the LTSN Centre for ICS, Edinburgh, Scott, T, Pooley, R (eds), pp 32-39. LTSN ICS. 2000. [PDF]

Using Tangent Hyperplanes to Direct Neural Training. Weir, MK, Lewis, JP, Milligan, G. In: Proc. 2nd International ICSC Symposium on Neural Computation, Bothe, H, Rojas, R (eds). ICSC Academic Press, Canada/Switzerland. 2000. [PDF]

1999

Advances in Persistent Object Systems. Morrison, R, Jordan, MJ, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and the 3rd International Workshop on Persistence and Java (PJW3). Morgan Kaufmann, ISBN 1-55860-585-1. 1999. [PDF]

Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. Adams, AA, Gottliebsen, H, Linton, SA, Martin, U. In: Proc. 1999 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC '99), Vancouver, Canada, Dooley, S (ed), pp 253-260. ACM Press. 1999. [PDF]

Beyond NP: the QSAT Phase Transition. Gent, IP, Walsh, T. In: Proc. 16th National Conference on AI, pp 653-658. American Association for Artificial Intelligence. 1999. [PDF]

CASE Research Studentship. Kirby, GNC. Grant: EPSRC and Data Connection Ltd, £31,500, September 1999. 1999. [PDF]

Collaboration and Composition: Issues for a Second Generation Process Language. Warboys, BC, Balasubramaniam, D, Greenwood, RM, Kirby, GNC, Mayes, K, Morrison, R, Munro, DS. In: Lecture Notes in Computer Science 1687, Nierstrasz, O, Lemoine, M (eds), Proc. 7th European Software Engineering Conference (ESEC'99), Toulouse, France, pp 75-91. Springer-Verlag. 1999. [PDF]

Collecting Distributed Garbage using the DMOS Family of Algorithms. Morrison, R, Kirby, GNC, Balasubramaniam, D. Grant: EPSRC Distributed Information Systems Initiative GR/M 74931, £207,015, 1/10/1999 - 31/3/2003. 1999. [PDF]

Compliant Systems Architecture Phase 2. Morrison, R, Kirby, GNC. Grant: EPSRC GR/M88938, £178,630, 1/10/1999 - 30/9/2001. 1999. [PDF]

Components for Distributed Learning Environments. Serrano, J. In: Proc. CTI Computing Meeting on CSCW and Groupware, Durham. 1999. [PDF]

Computing Subgroups Invariant Under a Set of Automorphisms. Hulpke, A. In: Journal of Symbolic Computation. 1999. [PDF]

Conjugacy Classes in Finite Permutation Groups via Homomorphic Images. Hulpke, A. In: Proc. Mathematics of Computation. University of St Andrews. 1999. [PDF]

Conservativity of Apartness Over Equality, Revisited. Negri, S. University of St Andrews Report CS/99/4. 1999. [PDF]

Constructing Bases of Finitely Presented Lie Algebras using Gröbner Bases in Free Algebras. de Graaf, WA, Wisliceny, J. In: Proc. ISSAC99, pp 37-43. ACM Press. 1999. [PDF]

Construction of Co3: an Example of the Use of an Integrated System for Computational Group Theory. Hulpke, A, Linton, SA. In: Proc. Groups St. Andrews 1997 in Bath, II, pp 394-409. Cambridge University Press. 1999. [PDF]

Contraction-Free Sequent Calculi for Gödel-Dummett Logic (Abstract). Dyckhoff, R. In: Proc. LMPS99. 1999. [PDF]

Current Directions in Hyper-Programming. Morrison, R, Connor, RCH, Cutts, QI, Dearle, A, Farkas, A, Kirby, GNC, McGettrick, R, Zirintsis, E. In: Lecture Notes in Computer Science 1755, Bjorner, D, Broy, M, Zamulin, A (eds), Proc. 3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI), Novosibirsk, Russia, pp 316-340. Springer-Verlag, ISBN 3-549-67102-1. 1999. [PDF]

Demonstration of Hyper-Programming in Java. Zirintsis, E, Kirby, GNC, Morrison, R. In: Proc. 25th International Conference on Very Large Databases (VLDB'99), Edinburgh, Scotland, Atkinson, MP, Orlowska, ME, Valduriez, P, Zdonik, S, Brodie, M (eds), pp 734-737. Morgan Kaufmann. 1999. [PDF]

A Deterministic Terminating Sequent Calculus for Gödel-Dummett Logic. Dyckhoff, R. In: Logic Journal of the IGPL 7, pp 319-326. 1999. [PDF]

The Efficacy of Persistent Operating Systems in Supporting Persistent Application Systems. Dearle, A, Hulse, D. University of Stirling Report Pastel RT1R2. 1999. [PDF]

Empirical Methods for Artificial Intelligence (Book Review). Gent, IP, Walsh, T. In: Artificial Intelligence 113, pp 285-290. 1999. [PDF]

Engineering Parallel Symbolic Programs in GPH. Loidl, H-W, Trinder, PW, Barry, E, Hammond, K, Junaidu, SB, Peyton Jones, SL. In: Concurrency: Practice and Experience 11, 12, pp 701-752. 1999. [PDF]

Evaluating Functional Distribution. Hammond, K, Davie, A, Trinder, PW, Michaelson, GJ, Loogen, R. Grant: DAAD/British Council 1097, £12,000, 4 Years. 1999. [PDF]

Evaluation Strategies for Irregular Parallel Programming. Hammond, K. In: Proc. International Workshop on Parallel and Distributed Symbolic Irregular Applications (PDSCIA ’99), Sendai, Japan, Ito, T, Yuasa, T (eds), pp 56-71. World Scientific. 1999. [PDF]

Formal Methods and Computer Algebra: A Larch Specification of AXIOM Categories and Functors. Kelsey, TW. PhD Thesis. Supervisor: Linton, SA. 1999. [PDF]

Formal Methods for Extensions to CAS. Dunstan, MN, Kelsey, TW, Linton, SA, Martin, U. In: Proc. FM'99: World Congress on Formal Methods in the Design of Computing Systems, Toulouse, France, Wing, J, Woodcock, J, Davies, J (eds), pp 1758-1777. Springer-Verlag. 1999. [PDF]

Galois Groups Through Invariant Relations. Hulpke, A. In: Proc. Groups 1997. St Andrews - Bath. 1999. [PDF]

Hyper-Programming in Java. Zirintsis, E, Dunstan, VS, Kirby, GNC, Morrison, R. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 370-382. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. [PDF]

Implementation of Functional Languages. Hammond, K, Davie, AJT, Clack, C. In: Proc. 10th International Workshop on Implementation of Functional Languages (IFL'98), London, p 247. Springer-Verlag. 1999. [PDF]

An Improved Definition of Multidimensional Inter-transaction Association Rule. Zhou, A, Zhou, S, Jin, W, Tian, Z. In: Lecture Notes in Computer Science 1574, Zhong, N, Zhou, L (eds), Proc. 3rd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-99), Beijing, China, pp 104-108. Springer-Verlag, ISBN 3-540-65866-1. 1999. [PDF]

Improving Generalisation Using Neural Bi-Directional Convergence. Weir, MK. In: Proc. International Joint Conference on Neural Networks. 1999. [PDF]

Incremental Garbage Collection of a Persistent Object Store using PMOS. Munro, DS, Brown, AL, Morrison, R, Moss, JEB. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 78-91. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. [PDF]

Incremental Mining of Schema for Semistructured Data. Zhou, A, Jin, W, Zhou, S, Tian, Z. In: Lecture Notes in Computer Science 1574, Zhong, N, Zhou, L (eds), Proc. 3rd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-99), Beijing, China, pp 159-168. Springer-Verlag, ISBN 3-540-65866-1. 1999. [PDF]

Induction and Recursion on the Partial Real Line with Applications to Real PCF. Escardo, MH, Streicher, T. In: Theoretical Computer Science 210, 1, pp 121-157. 1999. [PDF]

An Integrated Framework for Distributed Learning Environments. Allison, C, Bramley, M, Serrano, J, Michaelson, R. In: Proc. 6th ISPE International Conference on Concurrent Engineering: Advances in Concurrent Engineering, Bath, Chawdry, PK, Ghodos, P, Vandorpe, D (eds), pp 345-354. 1999. [PDF]

Integrating Databases of Algebraic Knowledge into a Computational Algebra System. Linton, SA. Grant: Royal Society of Edinburgh, £17,000. 1999. [PDF]

Introduction, Fundamentals & Summary. Hammond, K, Michaelson, GJ. In: Research Directions in Parallel Functional Programming, Hammond, K, Michaelson, GJ (eds), pp 3-61, 427-430. Springer, ISBN 1-85233-092-9. 1999. [PDF]

The Joy of Sets. Connor, RCH, Atkinson, MP, Berman, S, Cutts, QI, Kirby, GNC, Morrison, R. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 245-256. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Larch/Aldor - A Larch BISL for AXIOM and Aldor. Dunstan, MN. PhD Thesis. Supervisor: Martin, U. 1999. [PDF]

Large Scale Functional Applications. Trinder, PW, Loidl, H-W, Hammond, K. In: Research Directions in Parallel Functional Programming, Hammond, K, Michaelson, GJ (eds), pp 399-423. Springer, ISBN 1-85233-092-9. 1999. [PDF]

Light Formal Methods for Aldor (continuation). Martin, U. Grant: Nag Ltd, £42,974. 1999. [PDF]

Lumberjack: A Log-Structured Persistent Object Store. Hulse, D, Dearle, A, Howells, A. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 187-198. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. [PDF]

Mediation is Inherently Parallel. Hofmann, M, Streicher, T, Escardo, MH. In: Proc. Workshop on Domains V, Darmstadt, Germany. 1999. [PDF]

Meeting Interactive Response Targets in Distributed Learning Environments. Allison, C, Bramley, M, J, S. In: Proc. The Active Web, Stafford, Clarke, D, Dix, A (eds), pp 93-97. BCS. 1999. [PDF]

A Metric Model of PCF. Escardo, MH. In: Proc. Workshop on Realizability Semantics and Applications, Trento, Italy. 1999. [PDF]

Morphing: Combining Structure and Randomness. Gent, IP, Hoos, HH, Walsh, T, Prosser, P. In: Proc. 16th National Conference on AI, pp 654-660. American Association for Artificial Intelligence. 1999. [PDF]

The Napier88 Persistent Programming Language and Environment. Morrison, R, Connor, RCH, Kirby, GNC, Munro, DS, Atkinson, MP, Cutts, QI, Brown, AL, Dearle, A. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 98-154. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Object Coherence in Distributed Interaction. Allison, C, Huang, F, Livesey, MJ. In: Multimedia'99, Correia, N, Chambel, T, Davenport, G (eds), Eurographics, pp 123-132. Springer-Verlag, ISBN 3-211-83437. 1999. [PDF]

On the Compact-Regular Coreflection of a Stably Compact Locale. Escardo, MH. In: Proc. 15th Conference on Mathematical Foundations of Programming Semantics (MFPS XV). Elsevier. 1999. [PDF]

The PamCase Machine. Cutts, QI, Connor, RCH, Morrison, R. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), pp 346-364. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Permutability of Proofs in Intuitionistic Sequent Calculi. Dyckhoff, R, Pinto, L. In: Theoretical Computer Science 212, 1-2, pp 141-155. 1999. [PDF]

Persistent Operating System Support for Persistent CORBA Objects. O’Lenskie, A, Dearle, A, Hulse, D. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 92-111. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. [PDF]

Personal Travel Grant. Hammond, K. Grant: International Science Foundation of Japan, £1,500. 1999. [PDF]

ProcessBase Abstract Machine Manual (Version 2.0.6). Morrison, R, Balasubramaniam, D, Greenwood, M, Kirby, GNC, Mayes, K, Munro, DS, Warboys, BC. Universities of St Andrews and Manchester Report 1999. [PDF]

ProcessBase Reference Manual (Version 1.0.6). Morrison, R, Balasubramaniam, D, Greenwood, M, Kirby, GNC, Mayes, K, Munro, DS, Warboys, BC. Universities of St Andrews and Manchester Report 1999. [PDF]

ProcessBase Standard Library Reference Manual (Version 1.0.4). Morrison, R, Balasubramaniam, D, Greenwood, M, Kirby, GNC, Mayes, K, Munro, DS, Warboys, BC. Universities of St Andrews and Manchester Report 1999. [PDF]

Proof Search in Constructive Logics. Dyckhoff, R, Pinto, L. In: Sets and Proofs, Cooper, SB, Truss, JK (eds), Proc. Logic Colloquium 97, pp 53-65. Cambridge University Press, ISBN 0-521-63549-7. 1999. [PDF]

Protection in Persistent Object Systems. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Kirby, GNC, Dearle, A, Rosenberg, J, Stemple, D. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 234-237. Springer, ISBN 3-540-65772-X. 1999. [PDF]

A Replicated Resource Architecture for High Performance Network Service. Allison, C, Bramley, M, Serrano, J. In: Proc. Euromicro Workshop on Parallel and Distributed Processing (PDP99), Funchal, Portugal. IEEE Press. 1999. [PDF]

Research Directions in Parallel Functional Programming. Hammond, K, Michaelson, GJ (eds). In Series: Lecture Notes in Computer Science. Springer-Verlag, ISBN 1-85233-092-9. 1999. [PDF]

Response to 'On Method Overfitting'. Gent, IP. In: Journal of Heuristics 5, 1, pp 109-111. 1999. [PDF]

ROPA: Evaluation, Design and Validation of Exact Real Computation in a Problem Solving Environment. Martin, U. Grant: EPSRC GR/M98340, £84,182, 1/12/1999 - 30/11/2001. 1999. [PDF]

Safety of Scientific Systems. Martin, U. Grant: Royal Academy of Engineering, £30,000. 1999. [PDF]

Semantic Domains, Injective Spaces and Monads. Escardo, MH, Flagg, RC. In: Proc. 15th Conference on Mathematical Foundations of Programming Semantics (MFPS XV). Elsevier. 1999. [PDF]

Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach. Stemple, D, Morrison, R. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 286-289. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Subgoal Chaining and the Local Minimum Problem. Lewis, J, Weir, MK. In: Proc. International Joint Conference on Neural Networks. 1999. [PDF]

Subtyping and Assignment in Database Programming Languages. Connor, RCH, McNally, DJ, Morrison, R. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 238-239. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Symmetry Breaking During Search in Constraint Programming. Gent, IP, Smith, BM. University of Leeds Report 99.02. 1999. [PDF]

Synthesis and Transformation of Three-dimensional Facial Images. Tiddeman, BP, Rabey, G, Duffy, N. In: IEEE Engineering in Medicine and Biology 18, 6, pp 64-69. 1999. [PDF]

TAGS: A Model for Managing Distributed Learning Environments. Michaelson, R, Serrano, J. In: Proc. Scottish Business Education Group. 1999. [PDF]

TAGS: Support for Tutors and Groups in Distributed Learning Environments. Allison, C. Grant: SHEFC, £185,000. 1999. [PDF]

Test Case Development During OO Life-Cycle and Evolution. Duncan, I, Munro, M, Robson, D. In: Journal of Object Oriented Programming 11, 9, pp 36-44. 1999. [PDF]

Thinking on Your Feet in Undergraduate Computer Science. Gent, IP, Johnston, B, Prosser, P. In: Teaching in Higher Education 4, 4, pp 511-522. 1999. [PDF]

Type-Safe Linguistic Reflection: A Generator Technology. Stemple, D, Fegaras, L, Stanton, RB, Sheard, T, Philbrow, P, Cooper, RL, Atkinson, MP, Morrison, R, Kirby, GNC, Connor, RCH, Alagic, S. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), pp 158-188. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Type-Safe Linguistic Run-time Reflection - A Practical Perspective. Cooper, R, Kirby, GNC. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 189-192. Springer, ISBN 3-540-65772-X. 1999. [PDF]

Using Cartan Subalgebras to Calculate Nilradicals and Levi Subalgebras of Lie Algebras. de Graaf, WA. In: Journal of Pure and Applied Algebra 139, pp 25-39. 1999. [PDF]

Variadic Genericity Through Linguistic Reflection: A Performance Evaluation. Kirby, GNC, Morrison, R. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 136-148. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. [PDF]

A Verifiable Symbolic Definite Integral Table Look-up. Adams, AA, Gottliebsen, H, Linton, SA, Martin, U. University of St Andrews Report CS/99/3. 1999. [PDF]

VSDITLU: a Verified Symbolic Definite Integral Table Look-up. Adams, AA, Gottliebsen, H, Linton, SA, Martin, U. In: Proc. 16th International Conference on Computer Aided Deduction, Ganzinger, H (ed), pp 112-126. Springer-Verlag. 1999. [PDF]

1998

Algorithm + Strategy = Parallelism. Trinder, PW, Hammond, K, Loidl, H-W, Peyton Jones, SL. In: Journal of Functional Programming 8, 1, pp 23-60. 1998. [PDF]

Analysis of Heuristics for Number Partitioning. Gent, IP, Walsh, T. In: Computational Intelligence 14, pp 430-451. 1998. [PDF]

Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Frank, J, Gent, IP, Walsh, T. In: Information Processing Letters 65, pp 241-245. 1998. [PDF]

Calculus in Coinductive Form. Pavlovic, D, Escardo, MH. In: Proc. 13th Annual IEEE Symposium on Logic in Computer Science, Indiana, USA, pp 408-417. 1998. [PDF]

The Classification of Polynomial Orderings on Monadic Terms. Martin, U, Cropper, N. Report 1998. [PDF]

Computer Construction of the Monster. Linton, SA, Parker, R, Walsh, P, Wilson, R. In: Journal of Group Theory 1, 4, pp 307-337. 1998. [PDF]

Concrete Monoids, Automata and the Catalan Construction. Solomon, A. In: Electronic Workshops in Computing 12. 1998. [PDF]

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Dyckhoff, R, Pinto, L. In: Studia Logica 60, 1, pp 107-118. 1998. [PDF]

The Descent Algebras of Coxeter Groups. van Willigenberg, S. PhD Thesis. Supervisor: Atkinson, MD. 1998. [PDF]

A Deterministic Terminating Sequent Calculus for Propositional Dummett Logic (Abstract). Dyckhoff, R. In: Proc. Logic Colloquium 98. 1998. [PDF]

Effective and Sequential Definition by Cases on the Reals Via Infinite Signed-Digit Numerals. Escardo, MH. In: Proc. 3rd Workshop on Computation and Approximation (Comprox III). Elsevier. 1998. [PDF]

Entity Relationship Models and Object Oriented Models : a One-to-Many Relationship?. Davies, C, Lazell, B, Doake, J, Duncan, I. In: Proc. 3rd Baltic Conference on DB & IS, pp 168-179. 1998. [PDF]

Extending Learning Feasibility Through Feedforward Sequential Learning. Weir, MK, Chen, L. In: Journal of Advanced Computational Intelligence, pp 228-233. 1998. [PDF]

Extension Polymorphism. Balasubramaniam, D. PhD Thesis. Supervisor: Morrison, R. 1998. [PDF]

The Finesse Portfolio Management Facility. Power, DM, Michaelson, R, Allison, C. In: Proc. 9th CTI-AFM Conference, York, England, Fletcher, K, Nicholson, AHS (eds), pp 119-125. CTI-AFM. 1998. [PDF]

The GAP4 Type System: Organizing Algebraic Algorithms. Breuer, T, Linton, SA. In: Proc. 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC'98), Rostock, Germany, pp 38-45. ACM Press. 1998. [PDF]

Generalised Stack Permutations. Atkinson, MD. In: Combinatorics, Probability and Computing 7, pp 239-246. 1998. [PDF]

Granularity Analysis for Parallel Functional Programs. Hammond, K. Grant: EPSRC GR/L93379, £51,818, 1/10/1998 - 30/9/2001. 1998. [PDF]

Groups and Actions in Transformation Semigroups. Linton, SA, Pfeiffer, G, Robertson, EF, Ruskuc, N. In: Mathematische Zeitschrift 228, 3, pp 435-450. 1998. [PDF]

Heuristic Solution of Open Bin Packing Problems. Gent, IP. In: Journal of Heuristics 3, 4, pp 299-304. 1998. [PDF]

Implementation of Functional Languages. Clack, C, Hammond, K, Davie, AJT. In: Proc. 9th International Workshop on Implementation of Functional Languages (IFL'97), London. Springer-Verlag. 1998. [PDF]

Implementation of Proof Search in the Imperative Programming Language Pizza. Urban, C. In: Lecture Notes in Artificial Intelligence 1397, Proc. Tableaux '98, pp 313-319. Springer-Verlag. 1998. [PDF]

Injective Spaces and the Filter Monad. Escardo, MH. University of Edinburgh Report ECS-LFCS-98-383. 1998. [PDF]

Instances and Connectors: Issues for a Second Generation Process Language. Warboys, BC, Balasubramaniam, D, Greenwood, RM, Kirby, GNC, Mayes, K, Morrison, R, Munro, DS. In: Lecture Notes in Computer Science 1487, Gruhn, V (ed), Proc. 6th European Workshop on Software Process Technology (EWSPT'98), Weybridge, UK, pp 137-142. Springer-Verlag, ISBN 3-540-64956-5. 1998. [PDF]

Java Dynamic Compilation Package. Kirby, GNC, Morrison, R. University of St Andrews. 1998. [PDF]

Java Hyper-Program System. Zirintsis, E, Kirby, GNC, Morrison, R. University of St Andrews. 1998. [PDF]

JREI: Distributed Software Systems. Morrison, R, Hammond, K, Linton, SA, Kirby, GNC, Allison, C, Martin, U, Munro, DS. Grant: EPSRC GR/M32351, £74,826, 1/6/1999 - 31/5/2000. 1998. [PDF]

Laser-video Scanner Calibration Without the Use of a Frame Store. Tiddeman, BP, Duffy, N, Rabey, G, Lokier, J. In: IEE Proc. Vision, Image and Signal Processing 145, 4, pp 244-248. 1998. [PDF]

Light Formal Methods for Aldor. Martin, U. Grant: Nag Ltd, £36,874. 1998. [PDF]

Lightweight Formal Methods for Computer Algebra Systems. Dunstan, MN, Kelsey, TW, Martin, U, Linton, SA. In: Proc. ACM International Symposium on Symbolic and Algebraic Computation (ISSAC '98), Rostock, Germany, Gloor, O (ed), pp 80-87. ACM Press. 1998. [PDF]

Linguistic Reflection in Java. Kirby, GNC, Morrison, R, Stemple, DW. In: Software - Practice & Experience 28, 10, pp 1045-1077. 1998. [PDF]

Linguistic Reflection in Java: A Quantitative Assessment. Kirby, GNC, Morrison, R, Stemple, D. In: Proc. 5th International IDEA Workshop, Fremantle, Western Australia, Brown, AL, Barter, CJ (eds), pp 74-79. 1998. [PDF]

New Directions for Syntactic Termination Orderings. Martin, U. In: Progress in Computer Science and Applied Logic 15, pp 209-224. 1998. [PDF]

Orthogonally Persistent Support for Persistent CORBA Objects. O’Lenskie, A, Dearle, A, Hulse, D. University of Stirling Report TR-151. 1998. [PDF]

A Parallel Functional Language Compiler for Message-Passing Multicomputers. Junaidu, SB. PhD Thesis. Supervisor: Davie, A. 1998. [PDF]

A Permutation-Free Sequent Calculus for Lax Logic. Howe, J. University of St Andrews Report CS/98/1. 1998. [PDF]

Permutations Which are the Union of an Increasing and a Decreasing Sequence. Atkinson, MD. In: Electronic Journal of Combinatorics 5, p R24. 1998. [PDF]

A Persistent View of Encapsulation. Kirby, GNC, Morrison, R. In: Computer Science '98, McDonald, C (ed), Proc. 21st Australasian Computer Science Conference (ACSC'98), Perth, Australia, pp 231-244. Springer, ISBN 981-3083-90-5. 1998. [PDF]

PIPVIC-2: Determining a Service Level Specification for IP Based Video Conferencing in the UK Academic Networks. Allison, C. Grant: UKERNA, £6,500. 1998. [PDF]

Proof Search Issues in Some Non-Classical Logics. Howe, J. PhD Thesis. Supervisor: Dyckhoff, R. 1998. [PDF]

Proof Theory (with Helsinki University). Dyckhoff, R. Grant: British Council, £1,000. 1998. [PDF]

Properly Injective Spaces and Function Spaces. Escardo, MH. In: Topology and Its Applications 89, 1-2, pp 75-120. 1998. [PDF]

Quality of Service for Wide Area Clusters. Allison, C. In: Proc. 8th ACM SIGOPS Workshop: Support for Composing Distributed Applications, Sintra, Portugal, pp 126-130. ACM. 1998. [PDF]

Random Constraint Satisfaction: Flaws and Structure. Gent, IP, MacIntyre, E, Prosser, P, Smith, BM, Walsh, T. APES Research Group, University of Strathclyde Report APES-08-1998. 1998. [PDF]

Restricted Permutations. Atkinson, MD. In: Discrete Mathematics 195, pp 27-38. 1998. [PDF]

Sequent Calculi for the Normal Terms of the Lambda-Pi and Lambda-Pi-Sigma Calculi. Pinto, L, Dyckhoff, R. In: Electronic Notes in Theoretical Computer Science 17. 1998. [PDF]

Symmetric Presentations and Orthogonal Groups. Campbell, C, Havas, G, Linton, SA, Robertson, EF. In: The Atlas of Finite Groups: Ten Years On (Birmingham, 1995), Curtis, R, Wilson, R (eds), pp 1-10. Cambridge University Press. 1998. [PDF]

Towards Ubiquitous Environments for Mobile Users. Dearle, A. In: IEEE Internet Computing 2, 1, pp 22-31. 1998. [PDF]

Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel. Hulse, D, Dearle, A. University of Stirling Report Pastel RT1R4. 1998. [PDF]

Virtual Networks and Quality of Service for Cluster Computing. Allison, C. In: Proc. 6th Euromicro Workshop on Parallel and Distributed Processing (PDP'98), Madrid, Spain, pp 127-132. IEEE. 1998. [PDF]

Visiting Fellowship, Dr C Clack: Distributed Memory Parallel Functional Programming. Hammond, K. Grant: EPSRC, £4,300. 1998. [PDF]

The Way-Below Relation of Function Spaces Over Semantic Domains. Erker, T, Escardo, MH, Keimel, K. In: Topology and Its Applications 89, 1-2, pp 61-74. 1998. [PDF]

Where have all the pointers gone?. Hudson, RL, Morrison, R, Moss, JEB, Munro, DS. In: Computer Science '98, McDonald, C (ed), Proc. 21st Australasian Computer Science Conference, Perth, Australia, pp 107-119. Springer, ISBN 981-3083-90-5. 1998. [PDF]

The World Wide Wait: Where Does the Time Go?. Allison, C, Bramley, M, Serrano, J. In: Proc. Euromicro 1998: Engineering Systems and Software for the Next Decade, Vasteras, Sweden, pp 932-940. IEEE Press. 1998. [PDF]

1997

A Bidirectional Method for Recognising and Attaining Optimal Noisy Fits. Weir, MK. In: Proc. International Conference on Neuro-Information Processing. 1997. [PDF]

Bounded Capacity Priority Queues. Atkinson, MD, Tulley, D. In: Theoretical Computer Science 182, pp 145-157. 1997. [PDF]

The Combinatorics of Abstract Container Data Types. Tulley, DH. PhD Thesis. Supervisor: Atkinson, MD. 1997. [PDF]

The Combinatorics of Some Abstract Data Types. Atkinson, MD, Tulley, D. In: Proc. Institute of Mathematics and its Applications Conference on Combinatorics and its Applications, Oxford, UK 1995, pp 1-13. Clarendon Press. 1997. [PDF]

Computers, Reasoning and Mathematical Practice. Martin, U. In: Proc. Summer School in Logic and Computation, Marktoberdorf. 1997. [PDF]

The Constrainedness of Arc Consistency. Gent, IP, MacIntyre, E, Prosser, P, Shaw, P, Walsh, T. In: Proc. CP-97, pp 327-340. Springer. 1997. [PDF]

Constructive Recognition of a Black Box Group Isomorphic to GL(n,2). Cooperman, G, Finkelstein, L, Linton, SA. In: Groups and Computation II (New Brunswick, NJ, 1995), Finkelstein, L, Kantor, W (eds), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp 85-100. American Mathematical Society. 1997. [PDF]

CSA: Compliant Systems Architecture. Morrison, R, Connor, RCH, Kirby, GNC, Munro, DS. Grant: EPSRC GR/L32699, £210,012 plus donation of £250,000 Goldrush Multiprocessor Super-computer by ICL Ltd, April 1997. 1997. [PDF]

Development and Application of the GAP Computational Algebra System. Linton, SA, Atkinson, MD, Robertson, EF. Grant: EPSRC GR L/21013, £183,863. 1997. [PDF]

Development and Application of the GAP Computational Algebra System. Linton, SA. Grant: British Council, £17,000. 1997. [PDF]

Dragalin's Proofs of Cut-Admissibility for the Intuitionistic Sequent Calculi G3i and G3i'. Dyckhoff, R. University of St Andrews Report CS/97/8. 1997. [PDF]

Effective Termination Techniques. Cropper, NI. PhD Thesis. Supervisor: Martin, U. 1997. [PDF]

Embedded Verification Techniques for Computer Algebra Systems. Martin, U, Linton, SA. Grant: EPSRC GR/L48256, £216,761, 1/10/1997 - 28/2/2001. 1997. [PDF]

Evolving Caching Algorithms in C by Genetic Programming. Paterson, N, Livesey, MJ. In: Proc. Genetic Programming, San Francisco, CA, USA, pp 262-267. Morgan Kaufmann. 1997. [PDF]

Evolving Database Systems: A Persistent View. Kirby, GNC, Morrison, R, Connor, RCH, Zdonik, SB. University of St Andrews Report CS/97/5. 1997. [PDF]

Evolving Persistent Applications on Commercial Platforms. Kirby, GNC, Morrison, R, Munro, DS. In: Advances in Databases and Information Systems, Manthey, R, Wolfengagen, V (eds), Electronic Workshops in Computing, Proc. 1st ACM SIGMOD East-European Symposium on Advances in Databases and Information Systems (ADBIS97), St Petersburg, Russia, pp 170-179. Springer-Verlag, ISBN 5-7940-0004-X. 1997. [PDF]

Feedforward Sequential Learning For Complex I/O Mappings. Weir, MK, Chen, L. In: Proc. International Conference on Neuro-Information Processing. 1997. [PDF]

Finesse: Finance Education in a Scalable Software Environment. Allison, C, Power, DM, Sinclair, CD, Fletcher, J. Grant: SHEFC UMI-II, £104,000. 1997. [PDF]

Flask: An Architecture Supporting Concurrent Distributed Persistent Applications. Kirby, GNC, Connor, RCH, Cutts, QI, Morrison, R, Munro, DS, Scheuerl, S. University of St Andrews Report CS/97/4. 1997. [PDF]

Forum and its Implementation. Urban, C. MPhil Thesis. Supervisor: Dyckhoff, R. 1997. [PDF]

From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. Gent, IP, Walsh, T. In: Proc. IJCAI 97, pp 1396-1401. 1997. [PDF]

GAP Manual 3.4.4. GAP Group. Report 1997. [PDF]

Garbage Collecting the World: One Car at a Time. Hudson, RL, Morrison, R, Moss, JEB, Munro, DS. In: ACM SIGPLAN Notices 32, 10, pp 162-175. 1997. [PDF]

Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. Escardo, MH, Streicher, T. In: Proc. 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, pp 376-386. 1997. [PDF]

Injective Spaces Via the Filter Monad. Escardo, MH. In: Topology Proceedings 22, 2, pp 97-110. 1997. [PDF]

Integrated Operating System Support for Large, Heterogeneous Archives. Dearle, A. Grant: ESRC H519255043, £93,669, September 1997 - March 2000. 1997. [PDF]

The Logic of Search: Theory and Applications. Gent, IP, Underwood, J. In: Proc. CP-97, pp 77-91. Springer. 1997. [PDF]

Modelling Recovery in Database Systems. Scheuerl, SJG. PhD Thesis. Supervisor: Morrison, R. 1997. [PDF]

Naira: a Parallel2 Compiler for a Subset of Haskell. Junaidu, SB, Davie, AJT, Hammond, K. In: Proc. International Workshop on Implementing Functional Languages, St Andrews, Scotland. 1997. [PDF]

OCB Object Class Browser. Kirby, GNC, Morrison, R. University of St Andrews. 1997. [PDF]

OCB: An Object/Class Browser for Java. Kirby, GNC, Morrison, R. In: Proc. 2nd International Workshop on Persistence and Java (PJW2), Half Moon Bay, California, Jordan, M, Atkinson, MP (eds), pp 89-105. 1997. [PDF]

OCB: Java Object Class Browser. Kirby, GNC, Morrison, R. Grant: Sun Microsystems Inc., $15,000. 1997. [PDF]

OpenMath: Accessing and Using Mathematical Information Electronically. Linton, SA. Grant: Esprit Multimedia Project 24.969, ECU120,000. 1997. [PDF]

The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. Martin, U, Scott, E. In: Journal of Symbolic Logic 62, 2, pp 624-635. 1997. [PDF]

Orthogonal Persistence as an Implementation Platform for Software Development Environments. Kirby, GNC, Morrison, R. University of St Andrews Report CS/97/6. 1997. [PDF]

The p-modular Descent Algebra of the Symmetric Group. Atkinson, MD, van Willigenburg, S. In: Bulletin of the London Mathematical Society 29, pp 407-414. 1997. [PDF]

Pastel: Persistent Application Systems, Technologies, Environments and Languages. Morrison, R, Connor, RCH, Kirby, GNC, Munro, DS. Grant: ESPRIT EP22552, ECU 250,000, January 1997. 1997. [PDF]

PCF Extended with Real Numbers: A Domain-Theoretic Approach to Higher-Order Exact Real Number Computation. Escardo, MH. PhD Thesis. 1997. [PDF]

Permutability of Proofs in Intuitionistic Sequent Calculi. Dyckhoff, R, Pinto, L. University of St Andrews Report CS/97/7. 1997. [PDF]

Permutations Generated by Token Passing in Graphs. Atkinson, MD, Livesey, MJ, Tulley, D. In: Theoretical Computer Science 178, 1-2, pp 103-118. 1997. [PDF]

A Persistent Hyper-Programming System. Kirby, GNC, Morrison, R, Munro, DS, Connor, RCH, Cutts, QI. In: Proc. 13th International Conference on Data Engineering (ICDE), Birmingham, UK, Jackson, M, Pu, C (eds), p 585. IEEE Computer Society Press. 1997. [PDF]

Persistent Servers + Ephemeral Clients = User Mobility. Dearle, A. In: Proc. 2nd International Workshop on Persistence and Java (PJW2), Half Moon Bay, California, Jordan, M, Atkinson, MP (eds). 1997. [PDF]

Proof Diagrams and Term Rewriting with Applications to Computational Algebra. Shand, DD. PhD Thesis. Supervisor: Martin, U. 1997. [PDF]

Recovery and Page Coherency for a Scalable Multicomputer Object Store. Blackburn, SM, Scheuerl, SJG, Stanton, RB, Johnson, CW. In: Proc. 30th International Conference on System Sciences (HICSS), Hawaii. 1997. [PDF]

Refining a Parallel Algorithm for Calculating Bowings. Hall, CV, Hammond, K, Loidl, H-W, O'Donnell, JT, Trinder, PW. In: Proc. Glasgow Workshop on Functional Programming, Ullapool, Scotland. 1997. [PDF]

Robustness and Generalisation: Tangent Hyperplanes and Classification Trees. Fernandes, A. PhD Thesis. Supervisor: Weir, MK. 1997. [PDF]

The Scaling of Search Cost. Gent, IP, MacIntyre, E, Prosser, P, Walsh, T. In: Proc. AAAI-97, pp 315-320. 1997. [PDF]

Semantics of Exact Real Number Arithmetic. Potts, PJ, Edalat, A, Escardo, MH. In: Proc. 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, pp 248-257. 1997. [PDF]

Tools and Techniques for Machine-Assisted Meta-Theory. Adams, AA. PhD Thesis. Supervisor: Dyckhoff, R. 1997. [PDF]

Training Distributed Garbage: The DMOS Collector. Hudson, RL, Morrison, R, Moss, JEB, Munro, DS. University of St Andrews Report 1997. [PDF]

Two Loop-Detection Mechanisms: a Comparison. Howe, J. In: Lecture Notes in Artificial Intelligence 1227, Proc. Tableaux '97, pp 188-200. Springer-Verlag. 1997. [PDF]

1996

Accidents Always Come in Threes: A Case Study of Data-Intensive Programs in Parallel Haskell. Trinder, PW, Hammond, K, Loidl, H-W, Peyton Jones, SL, Wu, J. In: Proc. Glasgow Workshop on Functional Programming, Ullapool, Scotland. 1996. [PDF]

Advances in Databases. Morrison, R, Kennedy, J (eds), Proc. 14th British National Conference on Databases (BNCOD 14), Edinburgh, UK. In Series: Lecture Notes in Computer Science, Vol 1094. Springer, ISBN 3-540-61442-7. 1996. [PDF]

Algebra and Automated Deduction. Linton, SA, Martin, U, Prohle, P, Shand, DD. In: Proc. 13th International Conference on Automated Deduction (CADE-13), pp 448-462. Springer-Verlag. 1996. [PDF]

Can Java Persist?. Morrison, R, Connor, RCH, Kirby, GNC, Munro, DS. In: Proc. 1st International Workshop on Persistence for Java (PJW1), Drymen, Scotland. 1996. [PDF]

The Complexity of Algorithms. Atkinson, MD. In: Computing Tomorrow, pp 1-20. Cambridge University Press. 1996. [PDF]

The Constrainedness of Search. Gent, IP, MacIntyre, E, Prosser, P, Walsh, T. In: Proc. AAAI-96, pp 246-252. 1996. [PDF]

The DataSafe Failure Recovery Mechanism in the Flask Architecture. Scheuerl, SJG, Connor, RCH, Morrison, R, Munro, DS. In: Proc. 19th Australasian Computer Science Conference (ACSC), Melbourne, Australia, Ramamohanarao, K (ed), pp 573-581. 1996. [PDF]

Debugging And Dynamic Modification Of Embedded Systems. Burgess, P, Livesey, MJ, Allison, C. In: Proc. HICSS'29. IEEE Press. 1996. [PDF]

Developing Distributed Group Communication In pSR. Allison, C. In: Proc. 4th Euromicro Workshop on Parallel and Distributed Processing, Braga, Portugal, pp 462-469. IEEE Press. 1996. [PDF]

Development and Application of the GAP Computational Algebra System. Linton, SA, Atkinson, MD, Robertson, EF. Grant: Levehulme Trust F/268/Q, £67,000. 1996. [PDF]

Distinguishing Genotype and Phenotype in Genetic Programming. Paterson, N, Livesey, MJ. In: Proc. Late Breaking Papers, Genetic Programming, pp 141-150. Stanford University. 1996. [PDF]

An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. Gent, IP, MacIntyre, E, Prosser, P, Smith, BM, Walsh, T. In: Proc. CP-96, pp 179-193. Springer. 1996. [PDF]

An Exploratory Study of Common Faults in C Code. Duncan, I, Robson, D. In: Journal of Software Maintenance 8, pp 241-256. 1996. [PDF]

Extensions of Logic Programming. Dyckhoff, R, Herre, H, Schroeder-Heister, P (eds). In Series: Lecture Notes in Artificial Intelligence, Vol 1050. Springer-Verlag, ISBN 3-540-60983-0. 1996. [PDF]

Functional Hypersheets. Davie, AJT, Hammond, K. In: Proc. Glasgow Workshop on Functional Programming, Ullapool, Scotland. 1996. [PDF]

A Global Atomicity Primitive. Allison, C, Harrington, P, Huang, F, Livesey, MJ. In: Proc. 5th International Workshop on Object Orientation in Operating Systems (IWOOOS), Seattle, WA, USA, pp 25-29. IEEE Press. 1996. [PDF]

Guaranteeing Generalisation in Neural Networks. Polhill, JG. PhD Thesis. Supervisor: Weir, MK. 1996. [PDF]

GUM: a Portable Parallel Implementation of Haskell. Trinder, PW, Hammond, K, Mattson, J, Partridge, A, Peyton Jones, SL. In: Proc. ACM Conference on Programming Language Design and Implementation (PLDI'96), Philadelphia, USA. 1996. [PDF]

Implementation of a Loop-Free Method for Construction of Counter-Models for Intuitionistic Propositional Logic. Dyckhoff, R, Pinto, L. University of St Andrews Report CS/96/8. 1996. [PDF]

Integration in Real PCF (Extended Abstract). Edalat, A, Escardo, MH. In: Proc. 11th Annual IEEE Symposium on Logic In Computer Science, New Brunswick, NJ, USA, pp 382-393. 1996. [PDF]

INVOLVE. Hammond, K, Mason, C, Wilson, F. Grant: SHEFC, £33,123. 1996. [PDF]

Local Search and the Number of Solutions. Clark, DA, Frank, J, Gent, IP, MacIntyre, E, Tomov, N, Walsh, T. In: Proc. CP-96, pp 119-133. Springer. 1996. [PDF]

A Log-Structured Persistent Store. Hulse, D, Dearle, A. In: Proc. 19th Australasian Computer Science Conference, Melbourne, Australia, pp 563-572. 1996. [PDF]

Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Loidl, H-W, Hammond, K. In: Proc. International Workshop on Implementing Functional Languages (IFL'96), Bonn/Bad-Godesberg, Germany, pp 184--199. Springer-Verlag. 1996. [PDF]

Meta-Theory in the Higher-Order Logic Framework Isabelle. Adams, AA. University of St Andrews Report CS/96/5. 1996. [PDF]

Meta-Theory of Sequent-Style Calculi in Coq. Adams, AA. University of St Andrews Report CS/97/1. 1996. [PDF]

Modules and Type Abstraction in Persistent Systems. Connor, RCH, Ghelli, G, Manghi, P. In: Proc. 7th International Workshop on Persistent Object Systems, Cape May, NJ, USA, Connor, RCH, Nettles, S (eds), pp 48-59. 1996. [PDF]

Napier88 Installation Guide (Release 2.2.1). Kirby, GNC, Connor, RCH, Cutts, QI, Morrison, R, Munro, DS. University of St Andrews Report 1996. [PDF]

Napier88 Reference Manual (Release 2.2.1). Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews Report 1996. [PDF]

Napier88 Release 2.2.1. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews. 1996. [PDF]

Napier88 Standard Library Reference Manual (Release 2.2.1). Kirby, GNC, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Dunstan, VS, Morrison, R, Munro, DS. University of St Andrews Report 1996. [PDF]

Neural Bidirectional Convergence: A Method for Concept Learning in Neural Networks and Symbolic AI. Weir, MK, Polhill, G. In: Brain Processes, Theories and Models, Proc. International Conference on Brain Processes, Theories and Models, Canary Islands, 1995, pp 204-213. MIT Press, ISBN 0-262-63170-9. 1996. [PDF]

Operating System Support for Inter-Domain Type Checking. Farkas, A, Dearle, A, Hulse, D. In: Proc. 7th International Workshop on Persistent Object Systems, Cape May, NJ, USA, Connor, RCH, Nettles, S (eds). 1996. [PDF]

Operating System Support for Java. Dearle, A, Hulse, D, Farkas, A. In: Proc. 1st International Workshop on Persistence for Java, Drymen, Scotland. 1996. [PDF]

Operating System Support for Persistent and Recoverable Computations. Rosenberg, J, Dearle, A, Hulse, D, Lindström, A, Norris, S. In: Communications of the ACM 39, 9, pp 62-69. 1996. [PDF]

PCF Extended with Real Numbers. Escardo, MH. In: Theoretical Computer Science 162, 1, pp 79-115. 1996. [PDF]

A Permutation-Free Sequent Calculus for Intuitionistic Logic. Dyckhoff, R, Pinto, L. University of St Andrews Report CS/96/9. 1996. [PDF]

Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. Gent, IP, Walsh, T. In: Proc. ECAI-96, pp 170-174. 1996. [PDF]

PMOS: A Complete and Coarse-Grained Incremental Garbage Collector for Persistent Object Stores. Moss, JEB, Munro, DS, Hudson, RL. In: Proc. 7th International Workshop on Persistent Object Systems (POS7), Cape May, NJ, USA, Connor, RCH, Nettles, S (eds). 1996. [PDF]

Proof-Theoretic Investigations of Integrated Logical and Functional Programming (Abstract). Pinto, L. PhD Thesis. Supervisor: Dyckhoff, R. 1996. [PDF]

pSR: A Resource Based Model For Distributed Programming. Allison, C. In: Abstract Machine Models For Parallel And Distributed Computing, Kara, M, Davy, JR, Goodeve, D (eds), pp 203-218. Ios Press, ISBN 90-5199-267-X. 1996. [PDF]

Putting the Mind Inside the Head. Weir, MK. In: Brain Processes, Theories and Models, Proc. International Conference on Brain Processes, Theories and Models, Canary Islands, 1995, pp 54-63. MIT Press, ISBN 0-262-63170-9. 1996. [PDF]

Real PCF Extended with the Existential Quantifier is Universal. Escardo, MH. In: Advances in Theory and Formal Methods of Computing, Edalat, A, Jourdan, S, McCusker, G (eds), Proc. Third Imperial College Workshop, pp 13-24. IC Press. 1996. [PDF]

Report on the Functional Language Haskell. Hammond, K, Peterson, JW (eds). 1996. [PDF]

The Satisfiability Constraint Gap. Gent, IP, Walsh, T. In: Artificial Intelligence 81, 1-2, pp 59-80. 1996. [PDF]

Scalable Services For Resource Management In Distributed And Networked Environments. Allison, C, Harrington, P, Huang, F, Livesey, MJ. In: Proc. 3rd Workshop on Services in Distributed and Networked Environments (SDNE '96), Macau, pp 98-105. IEEE Press. 1996. [PDF]

A Sized Time System for a Parallel Functional Language. Loidl, H-W, Hammond, K. In: Proc. Glasgow Workshop on Functional Programming, Ullapool, Scotland. 1996. [PDF]

Some Group Theoretic Examples with Completion Theorem Provers. Linton, SA, Shand, DD. In: Journal of Automated Reasoning 17, 2, pp 145-169. 1996. [PDF]

Theorem Proving with Group Presentations: Examples and Questions. Martin, U. In: Proc. 13th International Conference on Automated Deduction (CADE-13). Springer-Verlag. 1996. [PDF]

Theorem-Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-Free Calculus with Loop-Checking. Howe, J. University of St Andrews Report CS/96/12. 1996. [PDF]

Towards Thorough Testing. Duncan, I. In: Proc. Software Testing '96, Paris, France. 1996. [PDF]

The TSP Phase Transition. Gent, IP, Walsh, T. In: Artificial Intelligence 88, 1-2, pp 349-358. 1996. [PDF]

Type Classes in Haskell. Hall, CV, Hammond, K, Peyton Jones, SL, Wadler, PL. In: ACM Transactions on Programming Languages and Systems 18, 2, pp 109-138. 1996. [PDF]

Using Reflection to Support Type-Safe Evolution in Persistent Systems. Kirby, GNC, Connor, RCH, Morrison, R, Stemple, D. University of St Andrews Report CS/96/10. 1996. [PDF]

Visiting Fellowship, Professor R Beals. Atkinson, MD. Grant: LMS CS Committee, £2,000. 1996. [PDF]

Visiting Fellowship, Professor R Beals. Atkinson, MD. Grant: EPSRC, £5,000. 1996. [PDF]

Visiting Fellowship, Professor S Zdonik. Morrison, R, Connor, RCH. Grant: EPSRC, £2,600. 1996. [PDF]

1995

The 50% Point in Constraint Satisfaction Problems. Gent, IP, Prosser, P. University of Strathclyde Report 95/180. 1995. [PDF]

Advanced Computer Supported Learning Through Broadband Technology. Allison, C, Connor, RCH, Morrison, R, Munro, DS. Grant: SHEFC UMI 20/1/12, £106,000. 1995. [PDF]

ALF as a Tool for Proving Properties of Sequent Calculus Systems. Adams, AA. University of St Andrews Report 1995. [PDF]

The Art and Science of Computing in Large Groups. Linton, SA. In: Computational Algebra and Number Theory (Sydney, 1992), pp 91-109. Kluwer. 1995. [PDF]

Computational Semigroup Theory. Linton, SA. Grant: Nuffield Trust SCI/180/95/79/G, £2,500. 1995. [PDF]

Database Manipulation in Haskell 1.3. Hammond, K, Trinder, PW. In: Proc. Glasgow Workshop on Functional Programming, Ullapool, Scotland. Springer-Verlag. 1995. [PDF]

Delivering the Benefits of Persistence to System Construction and Execution. Morrison, R, Connor, RCH, Cutts, QI, Kirby, GNC, Munro, DS. Grant: EPSRC GR/J67611, £234,110, January 1995. 1995. [PDF]

Distance-Transitive Representations of the Sporadic Groups. Ivanov, AA, Linton, SA, Lux, K, Saxl, J, Soicher, LH. In: Communications in Algebra 23, 9, pp 3379-3427. 1995. [PDF]

Exploiting Persistent Linkage in Software Engineering Environments. Morrison, R, Connor, RCH, Cutts, QI, Dunstan, VS, Kirby, GNC. In: Computer Journal 38, 1, pp 1-16. 1995. [PDF]

Exploring the Boundaries of Static Safety in Persistent Application Systems. Connor, RCH, Cutts, QI, Kirby, GNC, Morrison, R. In: Proc. 18th Australasian Computer Science Conference (ACSC'95), Adelaide, Australia, pp 99-107. 1995. [PDF]

The Formulation of LP and MILP Problems Which Model an Industrial Chemical Operation. Kelsey, TW. MSc Thesis. 1995. [PDF]

Generalizations of the Todd-Coxeter Algorithm. Linton, SA. In: Computational Algebra and Number Theory (Sydney, 1992), pp 29-51. Kluwer. 1995. [PDF]

Geometry Invariants and Termination. Martin, U. Grant: EPSRC, £96,257. 1995. [PDF]

The Grand Unified Theory of Address Spaces. Lindström, A, Rosenberg, J, Dearle, A. In: Proc. 5th Workshop on Hot Topics in Operating Systems (HOTOS-V), Orcas Island, pp 83-87. IEEE. 1995. [PDF]

High-Level Internet Programming Systems. Connor, RCH. Grant: EPSRC, £9,878. 1995. [PDF]

INDUCT: A Logical Framework for Induction Over Natural Numbers and Lists Built in SEQUEL. Adams, AA. MSc Thesis. 1995. [PDF]

Investigating Extension Polymorphism. Connor, RCH, Balasubramaniam, D, Morrison, R. In: Proc. 5th International Workshop on Database Programming Languages, Gubbio, Italy, Atzeni, P, Tannen, V (eds), pp 13-22. 1995. [PDF]

Loop-Free Construction of Counter-Models for Intuitionistic Propositional Logic. Pinto, L, Dyckhoff, R. In: Proc. Symposia Gaussiana, Behara, Fritsch, Lintz (eds), pp 225-232. Walter de Gruyter & Co, Berlin. 1995. [PDF]

MaStA - An I/O Cost Model for Database Crash Recovery Mechanisms. Scheuerl, SJG, Connor, RCH, Morrison, R, Moss, JEB, Munro, DS. ESPRIT BRA Project 6309 FIDE2 Report FIDE/95/128. 1995. [PDF]

The MaStA I/O Cost Model and its Validation Strategy. Scheuerl, SJG, Connor, RCH, Morrison, R, Moss, JEB, Munro, DS. In: Proc. 2nd International Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow, Russia, pp 165-175. 1995. [PDF]

The MaStA I/O Trace Format. Scheuerl, SJG, Connor, RCH, Morrison, R, Munro, DS, Moss, JEB. University of St Andrews Report CS/95/4. 1995. [PDF]

Monadic I/O in Haskell 1.3. Gordon, A, Hammond, K. In: . 1995. [PDF]

Naming and Causal Delivery in the Grasshoppper Operating System. di Bona, R, Dearle, A, Hulse, D, Lindström, A, Rosenberg, J, Vaughan, F. In: Proc. 18th Australasian Computer Science Conference, Adelaide, Australia, pp 136-150. 1995. [PDF]

Napier88 Release 2.2. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews. 1995. [PDF]

Neural Training of Complex Sequential Association Using Recurrent Continuous Backpropagation. Chen, L, Tan, B, Weir, MK, Foo, S. In: Proc. IEEE International Conference on Neural Networks, Perth, Australia, pp 247-252. 1995. [PDF]

On Page-Based Optimistic Process Checkpointing. Dearle, A, Hulse, D. In: Proc. International Workshop on Object-Orientation in Operating Systems (IWOOOS), Lund, Sweden, pp 24-32. IEEE. 1995. [PDF]

On the Diversity of Orderings on Strings. Martin, U. In: Fundamentae Informaticae 24, pp 25-46. 1995. [PDF]

On the Granularity of Divide-and-Conquer Parallelism. Loidl, H-W, Hammond, K. In: Proc. Glasgow Workshop on Functional Programming, Ullapool, Scotland. Springer-Verlag. 1995. [PDF]

Operating System Support for Flexible Coherence in Distributed Object Systems. Huang, F. In: Proc. 4th International Workshop on Object Orientation in Operating Systems (IWOOOS), pp 171-174. IEEE Press. 1995. [PDF]

Orthogonally Persistent Object Systems. Atkinson, MP, Morrison, R. In: VLDB Journal 4, 3, pp 319-401. 1995. [PDF]

Permutability of Inferences in Cut-Free LJ. Dyckhoff, R, Pinto, L. In: Proc. 10th International Congress of Logic, Methodology and Philosophy of Science, Florence, Italy, p 96. 1995. [PDF]

Persistence in the Grasshopper Kernel. Lindström, A, Dearle, A, di Bona, R, Norris, S, Rosenberg, J, Vaughan, F. In: Proc. 18th Australasian Computer Science Conference, Adelaide, Australia, pp 329-338. 1995. [PDF]

Persistent SR: Adding Persistence to Concurrency. Allison, C, Livesey, MJ. In: Proc. HICSS'28, Hawaii, El-Rewini, H, Shriver, BD (eds), pp 655-664. IEEE Press. 1995. [PDF]

Phase Transitions from Real Computational Problems. Gent, IP, Walsh, T. In: Proc. 8th International Symposium on Artificial Intelligence, pp 356-364. 1995. [PDF]

The Primitive Distance-Transitive Representations of the Fischer Groups. Linton, SA, Lux, K, Soicher, LH. In: Experimental Mathematics 4, 3, pp 235-253. 1995. [PDF]

Priority Queues and Multi-sets. Atkinson, MD, Linton, SA, Walker, LA. In: Electronic Journal of Combinatorics 2, p Research Paper 24. 1995. [PDF]

Proceedings of Minitrack on Distribution and Concurrency in Persistent Systems. Rosenberg, J, Dearle, A. In: Proc. 28th International Conference on Systems Sciences, Hawaii. 1995. [PDF]

Proofs as Graphs. Shand, DD, Brock, SH. In: Proc. SEGRAGRA'95, ENTCS, pp 177-184. Elsevier. 1995. [PDF]

Recursion and Induction on the Uniform Real Line. Escardo, MH. In: Proc. 2nd Workshop on Theory and Formal Methods, Hankin, C, Mackie, I, Nagarajan, R (eds), pp 109-131. IC Press (World Scientific). 1995. [PDF]

Scaling Effects in the CSP Phase Transition. Gent, IP, MacIntyre, E, Prosser, P, Walsh, T. In: Principles and Practice of Constraint Programming, Montanari, U, Rossi, F (eds), pp 70-87. Springer. 1995. [PDF]

SEQUEL Frameworks for the Theory of Sequent Calculus and Natural Deduction Systems. Adams, AA. University of St Andrews Report 1995. [PDF]

Simplifying Concurrent Programming: A Transactional Approach. Allison, C. In: AXIS 2, 3, pp 42-47. 1995. [PDF]

Some Practical Considerations for Object-Oriented Programming on Distributed Memory Parallel Computers. Livesey, MJ, Allison, C. In: Abstract Machine Models for Highly Parallel Computers, Davy, JR, Dew, PM (eds), Proc. 2nd Workshop on Abstract Machine Models, Leeds, 1993, pp 295-313. Oxford University Press, ISBN 0-19-853796-4. 1995. [PDF]

The Theory of Termination Orderings on Strings: Exposition and Examples. Martin, U. In: Proc. 18th Australasian Computer Science Conference, Glenelg, Australia, pp 364-369. 1995. [PDF]

Unsatisfied Variables in Local Search. Gent, IP, Walsh, T. In: Hybrid Problems, Hybrid Solutions, Hallam, J (ed), Proc. AISB-95, pp 73-85. IOS Press. 1995. [PDF]

Using Constraints to Improve Generalisation and Training: Constraint Based Decomposition and Complex Backpropagation. Draghici, S. PhD Thesis. Supervisor: Weir, MK. 1995. [PDF]

Using Continued Fractions for Efficient Subclass Checking. Morrison, R, England, A, Connor, RCH, Atkinson, MP, Barneva, S, Rabitti, F, Zezula, P. In: OOPS Messenger 6, 2, pp 1-11. 1995. [PDF]

Using the Flask Architecture to Build Distributed Applications. Kirby, GNC, Connor, RCH, Cutts, QI, Morrison, R, Munro, DS, Scheuerl, S. ESPRIT BRA Project 6309 FIDE2 Report FIDE/95/127. 1995. [PDF]

Using the MAN for Broadband CSCW. Allison, C, Livesey, MJ, Sinclair, CD. Grant: SHEFC UMI 20/1/1, £43,000. 1995. [PDF]

Validating the MaStA I/O Cost Model for Database Crash Recovery Mechanisms. Munro, DS, Connor, RCH, Morrison, R, Moss, JEB, Scheuerl, S. In: Proc. OOPSLA'95 Workshop on Object Database Behaviour, Benchmarks and Performance, Austin, Texas. 1995. [PDF]

Virtual Memory Support for Distributed Computing Environments Using a Shared Data Object Model. Huang, F, Bacon, J, Mapp, G. In: Distributed Systems Engineering Journal 2, pp 202-211. 1995. [PDF]

Visiting Fellowship, Professor E Moss: Validation of the MaStA I/O Cost Model for Database Crash Recovery Mechanisms. Munro, DS, Connor, RCH, Morrison, R. Grant: EPSRC, £2,200. 1995. [PDF]

Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell. Hammond, K, Loidl, H-W, Partridge, A. In: Proc. Conference on High Performance Functional Computing (HPFC'95), Denver, CO, USA, pp 208-221. 1995. [PDF]

1994

Advanced Research Fellowship. Connor, RCH. Grant: EPSRC, £131,148. 1994. [PDF]

Analysing Persistent Language Applications. Sjøberg, DIK, Cutts, QI, Welland, R, Atkinson, MP. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France, pp 235-255. Springer-Verlag. 1994. [PDF]

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. Hammond, K, Mattson, JS, Peyton Jones, SL. In: Proc. Conference on Algorithms and Hardware for Parallel Processing (CONPAR'94), Linz, Austria. Springer Verlag. 1994. [PDF]

BED: A Multithreaded Kernel for Embedded Systems. Burgess, P, Livesey, MJ, Allison, C. In: Proc. 19th IFAC/IFIP Workshop on Real Time Programming (WRTP'94), Lake Constance, pp 133-138. Pergammon Press. 1994. [PDF]

Bidirectional Convergence: A Cognitive Approach to Generalisation. Weir, MK, Polhill, G. In: Proc. IEEE International Conference on Neural Networks, pp 2285-2290. 1994. [PDF]

Causality Considerations in Distributed Persistent Operating Systems. Vaughan, F, Dearle, A, J, C, di Bona, R, Farrow, J, Henskens, F, Lindström, A, Rosenberg, J. In: Proc. 17th Australian Computer Science Conference, Christchurch, New Zealand, pp 409-420. Australian Computer Science Communications. 1994. [PDF]

Changing Persistent Applications. Farkas, A, Dearle, A. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France, pp 302-315. Springer-Verlag. 1994. [PDF]

A Comparative Performance Evaluation of Update Logging and Shadow Paging in Persistent Object Systems. Morrison, R, Connor, RCH, Cutts, QI, Kirby, GNC, Munro, DS. Grant: SERC GR/J67598, £2,420. 1994. [PDF]

Concurrency Control Strategies for Real Time Groupware. Allison, C. In: Proc. Concurrent Engineering: Research and Applications, A Global Perspective (CE94), Pittsburgh, PA, USA, Paul, AJ, Sobolewski, M (eds), pp 163-170. CTC. 1994. [PDF]

Concurrent Shadow Paging in the Flask Architecture. Munro, DS, Connor, RCH, Morrison, R, Scheuerl, S, Stemple, D. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 16-42. Springer-Verlag, ISBN 3-540-19912-8. 1994. [PDF]

The Constraint Based Decomposition Training Architecture. Draghici, S. In: Proc. World Conference on Neural Networks, San Diego, CA, USA, pp 545-555. 1994. [PDF]

A Constructive Type System to Integrate Logic and Functional Programming. Pinto, L, Dyckhoff, R. In: Proof Search in Type-Theoretic Languages, Galmiche, D, Wallen, L (eds), Proc. Workshop 1B, 12th International Conference on Automated Deduction, Nancy, France (CADE-12), pp 70-81. 1994. [PDF]

Cut Formulae and Logic Programming. Pinto, L. In: Extensions of Logic Programming: Lecture Notes in Artificial Intelligence 798, Dyckhoff, R (ed), pp 282-300. Springer-Verlag, ISBN 3-540-58025-5. 1994. [PDF]

Delivering the Benefits of Persistence to System Construction and Execution. Morrison, R, Baker, C, Connor, RCH, Cutts, QI, Kirby, GNC, Munro, D. In: Proc. 17th Australasian Computer Science Conference (ACSC'94), Christchurch, New Zealand, pp 711-719. 1994. [PDF]

A Dynamically Reconfigurable Co-processor for Microkernels. Allison, C, Livesey, MJ. In: Proc. Euromicro Workshop on Parallel and Distributed Processing (PDP'94), Malaga, Spain, pp 372-379. IEEE Press. 1994. [PDF]

Easy Problems are Sometimes Hard. Gent, IP, Walsh, T. In: Artificial Intelligence 70, pp 335-345. 1994. [PDF]

An Execution Driven Approach to Code Optimisation. Cutts, QI, Connor, RCH, Kirby, GNC, Morrison, R. In: Proc. 17th Australasian Computer Science Conference (ACSC'94), Christchurch, New Zealand, pp 83-92. 1994. [PDF]

Extensions of Logic Programming. Dyckhoff, R (ed). In Series: Lecture Notes in Artificial Intelligence, Vol 798. Springer-Verlag, ISBN 3-540-58025-5. 1994. [PDF]

GRAPH for PVM: Graph Reduction for Distributed Hardware. Loidl, H-W, Hammond, K. In: Proc. International Workshop on the Implementation of Functional Languages (IFL'94), Norwich. 1994. [PDF]

GRAPHing the Future. Hammond, K, Loidl, H-W, Mattson, JS, Partridge, A, Peyton Jones, SL, Trinder, PW. In: Proc. International Workshop on the Implementation of Functional Languages (IFL'94), Norwich. 1994. [PDF]

Grasshopper: An Orthogonally Persistent Operating System. Dearle, A, di Bona, R, Farrow, J, Henskens, F, Lindström, A, Rosenberg, J, Vaughan, F. In: Computer Systems 7, 3, pp 289-312. 1994. [PDF]

The Hardest Random SAT Problems. Gent, IP, Walsh, T. In: Proc. 18th German Annual Conference on Artificial Intelligence, Nebel, B, Dreschler-Fischer, L (eds), pp 355-366. Springer-Verlag. 1994. [PDF]

How Not To Do It. Gent, IP, Walsh, T. Dept. of Artificial Intelligence, University of Edinburgh Report 714. 1994. [PDF]

Implementation of the Programming Language Haskell. Paterson, N. MSc Thesis. 1994. [PDF]

An Integrated Approach to the Generation of Environments from Formal Specifications. Dearle, A, Oudshoorn, M, Wyrwas, K. In: Proc. 17th Australian Computer Science Conference, Christchurch, New Zealand, pp 217-228. Australian Computer Science Communications. 1994. [PDF]

Keynote Discussion on Evolution in Persistent Systems. Connor, RCH, Farkas, A, Maier, D. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France, pp 471-476. Springer-Verlag. 1994. [PDF]

A Model For User-Level Memory Management in a Distributed, Persistent Environment. Lindström, A, Dearle, a, di Bona, R, Farrow, J, Henskens, F, Rosenberg, J, Vaughan, F. In: Proc. 17th Australian Computer Science Conference, Christchurch, New Zealand, pp 343-354. Australian Computer Science Communications. 1994. [PDF]

The Napier88 Installation Guide (Release 2.0). Kirby, GNC, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Morrison, R, Munro, DS. University of St Andrews Report 1994. [PDF]

The Napier88 Reference Manual (Release 2.0). Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews Report CS/94/8. 1994. [PDF]

The Napier88 Standard Library Reference Manual (Release 2.0). Kirby, GNC, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Moore, VS, Morrison, R, Munro, DS. University of St Andrews Report CS/94/7. 1994. [PDF]

The Napier88 to the Persistent Abstract Machine Compilation Rules. Balasubramaniam, D, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Morrison, R, Munro, DS, Scheuerl, S. University of St Andrews Report CS/94/9. 1994. [PDF]

Object Store Engineering. Morrison, R. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France, pp 162-163. Springer-Verlag. 1994. [PDF]

The Octopus Model and its Implementation. Farkas, AM, Dearle, A. In: Proc. 17th Australasian Computer Science Conference, Christchurch, New Zealand, pp 581-590. Australian Computer Science Communications. 1994. [PDF]

Operational Models of Concurrent Graph Reduction. Brock, SH. In: Proc. SEMAGRAPH-2 Workshop, Norwich, England. 1994. [PDF]

Parallel Functional Programming: An Introduction. Hammond, K. In: Proc. 1st International Symposium on Parallel Symbolic Computation (PASCO'94), Hagenberg/Linz, Austria. World Scientific. 1994. [PDF]

The Persistent Abstract Machine (Version 8.0). Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Morrison, R, Munro, DS. Report 1994. [PDF]

The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0). Brown, AL, Carrick, R, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Morrison, R, Munro, DS. Universities of St Andrews and Adelaide Report 1994. [PDF]

Persistent Possibilities for Software Environments. Morrison, R, Connor, RCH, Cutts, QI, Kirby, GNC. In: The Intersection between Databases and Software Engineering, Proc. ICSE-16 Workshop on the Intersection between Databases and Software Engineering, Sorrento, Italy, pp 78-87. IEEE Computer Society Press. 1994. [PDF]

Persistent Programming: A Programming Language and Database Integration Technology. Morrison, R, Connor, RCH, Cutts, QI, Kirby, GNC, Munro, DS, Atkinson, MP. In: Proc. Computer Science Professors Conference, Newcastle. 1994. [PDF]

Priority Queues and Permutations. Atkinson, MD, Beals, R. In: SIAM Journal of Computing 23, pp 1225-1230. 1994. [PDF]

Process Migration as an Aid to Tuning Embedded Systems. Burgess, P, Livesey, MJ, Allison, C. In: Parallel Computing: Trends and Applications, Joubert, GR, Trystram, D, Peters, FJ, Evans, DJ (eds), Advances in Parallel Computing, pp 581-584. North-Holland. 1994. [PDF]

Proof Systems for Fourteen Logics of Counterfactuals. Gent, IP. In: Journal of Symbolic Logic. 1994. [PDF]

Protection in Grasshopper: A Persistent Operating System. Dearle, A, di Bona, R, Farrow, J, Henskens, F, Hulse, D, Lindström, A, Norris, S, Rosenberg, J, Vaughan, F. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 60-78. Springer-Verlag. 1994. [PDF]

The Public and Private Interface in Technology: the Regulation of Industry and Academic Links in Belgium, France and the UK. Atkinson, MD, Lawton Smith, RH. In: Industry and Higher Education 8, pp 160-173. 1994. [PDF]

The SAT Phase Transition. Gent, IP, Walsh, T. In: Proc. European Conference on Artificial Intelligence 94, Cohn, AG (ed), pp 105-109. John Wiley & Sons. 1994. [PDF]

START: A Linguistic Reflection Tool Using Hyper-Program Technology. Kirby, GNC, Connor, RCH, Morrison, R. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 355-373. Springer-Verlag. 1994. [PDF]

Tangent Hyperplanes and Subgoals as a Means of Controlling Direction in Goal Finding. Weir, MK, Fernandes, A. In: Proc. World Conference on Neural Networks, San Diego, CA, USA, pp 438-443. 1994. [PDF]

Termination, Geometry and Invariants. Martin, U. In: Lecture Notes in Computer Science 814, Proc. 12th International Conference on Automated Deduction, pp 432-434. Springer-Verlag. 1994. [PDF]

A Testbed for Embedded Systems. Burgess, P. PhD Thesis. Supervisor: Livesey, MJ. 1994. [PDF]

Type Classes in Haskell. Hall, CV, Hammond, K, Peyton Jones, SL, Wadler, PL. In: Proc. ESOP'94. 1994. [PDF]

Type-Safe Linguistic Run-time Reflection - A Practical Perspective. Cooper, R, Kirby, GNC. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 332-354. Springer-Verlag. 1994. [PDF]

Uniform Generation of Combinatorial Objects in Parallel. Atkinson, MD, Sack, J-R. In: Journal of Parallel and Distributed Computing 23, pp 101-103. 1994. [PDF]

Uniform Generation of Forests of Restricted Height. Atkinson, MD, Sack, J-R. In: Information Processing Letters 50, pp 323-327. 1994. [PDF]

Uniform Proofs and Natural Deductions. Dyckhoff, R, Pinto, L. In: Proof Search in Type-Theoretic Languages, Galmiche, D, Wallen, L (eds), Proc. Workshop 1B, 12th International Conference on Automated Deduction, Nancy, France (CADE-12), pp 17-23. 1994. [PDF]

Unifying Interaction with Persistent Data and Program. Connor, RCH, Cutts, QI, Kirby, GNC, Moore, VS, Morrison, R. In: Interfaces to Database Systems, Sawyer, P (ed), Workshops in Computing, Proc. 2nd International Workshop on User Interfaces to Databases, Ambleside, Cumbria, 1994, pp 197-212. Springer-Verlag. 1994. [PDF]

Using C as a Compiler Target Language for Native Code Generation in Persistent Systems. Bushell, SJ, Dearle, A, Brown, AL, Vaughan, FA. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 164-183. Springer-Verlag. 1994. [PDF]

Using Persistence Technology to Control Schema Evolution. Connor, RCH, Cutts, QI, Kirby, GNC, Morrison, R. In: Proc. 9th ACM Symposium on Applied Computing, Phoenix, Arizona, Deaton, E, Oppenheim, D, Urban, J, Berghel, H (eds), pp 441-446. ACM Press. 1994. [PDF]

Verification Techniques for LOTOS. Martin, U, Thomas, M. In: Lecture Notes in Computer Science 873, Proc. Formal Methods Europe. Springer-Verlag. 1994. [PDF]

Wanted: An Application Aware Checkpointing Service. Allison, C. In: Proc. 6th ACM SIGOPS Workshop: Matching Operating Systems to Applications Needs, Dagstuhl, Germany, pp 178-183. ACM. 1994. [PDF]

1993

Algebraic Applications of Automated Reasoning Techniques. Martin, U, Atkinson, MD, Robertson, EF. Grant: SERC/SBCC, £99,593. 1993. [PDF]

Analytic Proof Systems for Classical and Non-classical Logics of Restricted Quantification. Gent, IP. 1993. [PDF]

Approaching Integration in Software Environments. Morrison, R, Baker, C, Connor, RCH, Cutts, QI, Kirby, GNC. University of St Andrews Report CS/93/10. 1993. [PDF]

Concurrency Control in Process Models. Morrison, R, Barter, CJ, Connor, RCH, Denton, J, Kirkpatrick, G, Munro, DS, Pretsell, B, Stemple, D. In: IOPENER 2, 1, pp 11-12. 1993. [PDF]

Contemporary Computer Algebra Systems. Linton, SA, Smith, GC. In: An. Univ. Timisoara Ser. Mat.-Inform. 31, 2, pp 203-216. 1993. [PDF]

Coping With Concurrency in Real Time Groupware. Allison, C, Livesey, MJ. In: Proc. Symposium on Experience with Distributed and Multiprocessor Systems, San Diego, pp 289-295. USENIX Association. 1993. [PDF]

Distributed Supercomputing: Scalable High-Speed Networking. Livesey, MJ, Allison, C. Grant: JISC NTI 229, £148,100. 1993. [PDF]

An Empirical Analysis of Search in GSAT. Gent, IP, Walsh, T. In: Journal of Artificial Intelligence Research 1, pp 47-59. 1993. [PDF]

An Execution Harness for Transputer Based Embedded Systems. Burgess, P, Livesey, MJ, Allison, C. In: Transputer and Occam Research: New Directions. IOS Press. 1993. [PDF]

Fourier Transforms with Respect to Monomial Representations. Linton, SA, Michler, GO, Olsson, JB. In: Mathematische Annalen 297, 2, pp 253-268. 1993. [PDF]

Getting a GRIP. Hammond, K. In: Proc. International Workshop on the Parallel Implementation of Functional Languages (IFL'93), Nijmegen, The Netherlands. 1993. [PDF]

The Glasgow Haskell Compiler: a Technical Overview. Peyton Jones, SL, Hall, CV, Hammond, K, Partain, W, Wadler, PL. In: Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference, Keele. 1993. [PDF]

The Implementation of a Hyper-Programming System. Kirby, GNC, Cutts, QI, Connor, RCH, Morrison, R. University of St Andrews Report CS/93/5. 1993. [PDF]

Implementation of a Unification Algorithm in Martin-Löf Type Theory. Leslie, N. MSc Thesis. Supervisor: Dyckhoff, R. 1993. [PDF]

Integrating Reflection, Strong Typing and Static Checking. Stemple, D, Morrison, R, Kirby, GNC, Connor, RCH. In: Proc. 16th Australian Computer Science Conference (ACSC'93), Brisbane, Australia, pp 83-92. 1993. [PDF]

Joint Research Project with University of Nancy-INRIA. Martin, U. Grant: British Council, £6,000. 1993. [PDF]

The Joy of Sets. Connor, RCH, Atkinson, MP, Berman, S, Cutts, QI, Kirby, GNC, Morrison, R. In: Database Programming Languages, Beeri, C, Ohori, A, Shasha, DE (eds), Workshops in Computing, Proc. 4th International Conference on Database Programming Languages (DBPL4), New York City, pp 417-433. Springer-Verlag, ISBN 3-540-19853-9. 1993. [PDF]

Linear Interpretations by Counting Patterns. Martin, U. In: Proc. 5th International Conference on Rewriting Techniques and Applications, Montreal. Springer-Verlag. 1993. [PDF]

Managing Change in Persistent Object Systems. Atkinson, MP, Sjøberg, DIK, Morrison, R. In: Proc. JSSST International Symposium on Object Technologies for Advanced Software, Kanazawa, Japan, Nishio, S, Yonezawa, A (eds), pp 315-338. 1993. [PDF]

Mechanisms for Controlling Evolution in Persistent Object Systems. Morrison, R, Connor, RCH, Cutts, QI, Kirby, GNC, Stemple, D. In: Journal of Microprocessors and Microprogramming 17, 3, pp 173-181. 1993. [PDF]

Models for Persistence in Lazy Functional Programming Systems. McNally, D. PhD Thesis. Supervisor: Davie, AJT. 1993. [PDF]

Octopus: A Reflective Language Mechanism for Object Manipulation. Farkas, A, Dearle, A. In: Database Programming Languages, Beeri, C, Ohori, A, Shasha, DE (eds), Workshops in Computing, Proc. 4th International Conference on Database Programming Languages (DBPL4), New York City, pp 50-64. Springer-Verlag, ISBN 3-540-19853-9. 1993. [PDF]

On the Integration of Concurrency, Distribution and Persistence. Munro, DS. PhD Thesis. Supervisor: Morrison, R. 1993. [PDF]

On Vector Enumeration. Linton, SA. In: Linear Algebra and its Applications 192, pp 235-248. 1993. [PDF]

The Order Types of Termination Orderings on Terms, Strings and Multisets. Martin, U, Scott, E. In: Proc. 8th IEEE Conference on Logic in Computer Science, Montreal. 1993. [PDF]

Parallel Functional Programming for Message-Passing Multiprocessors. Ostheimer, G. PhD Thesis. Supervisor: Davie, AJT. 1993. [PDF]

Proceedings of 1st International Workshop on Larch. Martin, U, Wing, J (eds). In Series: Workshops in Computer Science. Springer-Verlag. 1993. [PDF]

Processing Transactions on GRIP. Akerholt, G, Hammond, K, Peyton Jones, SL, Trinder, PW. In: Proc. Parallel Languages and Architectures Europe (PARLE'93), Munich, Germany. 1993. [PDF]

Programming in Persistent Higher-Order Languages. Connor, RCH, Morrison, R, Atkinson, MP, Matthes, F, Schmidt, J. In: Euro-ARCH'93, Spies, PP (ed), Proc. European Systems Architecture Conference, Munich 1993, pp 288-300. Springer-Verlag. 1993. [PDF]

Theory Matrices (for Modal Logics) using Alphabetical Monotonicity. Gent, IP. In: Studia Logica 52, pp 233-257. 1993. [PDF]

Towards an Understanding of Hill-Climbing Procedures for SAT. Gent, IP, Walsh, T. In: Proc. 11th National Conference on Artificial Intelligence, pp 28-33. AAAI Press/MIT Press. 1993. [PDF]

Using Persistence to Support Incremental System Construction. Dearle, A, Cutts, QI, Connor, RCH. In: Journal of Microprocessors and Microprogramming 17, 3, pp 161-171. 1993. [PDF]

1992

Casper: A Cached Architecture Supporting Persistence. Vaughan, F, Schunke, T, Koch, B, Dearle, A, Marlin, C, Barter, C. In: Computing Systems 5, 3, pp 337-364. 1992. [PDF]

Coherence in Distributed Persistent Object Systems. Livesey, MJ, Allison, C. In: Persistent Object Systems, Albano, A, Morrison, R (eds), Workshops in Computing, Proc. 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, pp 186-197. Springer-Verlag, ISBN 3-540-19800-8. 1992. [PDF]

Communicating Actions Control System. Morrison, R, Connor, RCH, Munro, DS, Kirby, GNC, Cutts, QI. Grant: ICL Ltd, £4,000. 1992. [PDF]

Contraction-Free Sequent Calculi for Intuitionistic Logic. Dyckhoff, R. In: Journal of Symbolic Logic 57, pp 795-807. 1992. [PDF]

Delivering the Benefits of Persistence to System Construction and Execution. Cutts, QI. PhD Thesis. Supervisor: Morrison, R. 1992. [PDF]

EC/US Collaboration: Database Programming Languages. Morrison, R, Connor, RCH, Munro, DS, Kirby, GNC, Cutts, QI. Grant: ECUS 006:9839, ECU230,000. 1992. [PDF]

The Enigma of SAT Hill-Climbing Procedures. Gent, IP, Walsh, T. Dept. of Artificial Intelligence, University of Edinburgh Report 605. 1992. [PDF]

An Examination of Operating System Support for Persistent Object Systems. Dearle, A, Rosenberg, J, Henskens, FA, Vaughan, F, Maciunas, KJ. In: Proc. 25th International Conference on System Sciences (HICSS), Hawaii, Milutinovak, V, Shriver, B (eds), pp 779-789. IEEE Computer Society Press. 1992. [PDF]

Extension and Transfer of Grant to Continue Investigations of Verification Techniques for LOTOS. Martin, U. Grant: SERC, £31,000. 1992. [PDF]

FIDE II: Database Programming Languages. Morrison, R, Brown, AL, Connor, RCH, Munro, DS. Grant: Esprit III, ECU344,000. 1992. [PDF]

A Generic Persistent Object Store. Brown, AL, Morrison, R. In: Software Engineering Journal 7, 2, pp 161-168. 1992. [PDF]

Gentzen Working Group. Dyckhoff, R. Grant: Esprit III, £17,000. 1992. [PDF]

Grasshopper - A Persistent Operating System for Conventional Hardware. Dearle, A, di Bona, R, Farrow, J, Henskens, F, Lindström, A, Rosenberg, J, Vaughan, F. In: Proc. 2nd International Workshop on Object Orientation in Operating Systems (IWOOOS), Paris, France. 1992. [PDF]

A Hyperlinked Persistent Software Development Environment. Dearle, A, Marlin, CD, Dart, P. In: Proc. Hyper-Oz ’92: A Workshop on Hypertext Activities in Australia, Adelaide, Australia. 1992. [PDF]

Modelling Continuous Sequential Behaviour to Enhance Training and Generalisation in Neural Networks. Chen, LH. PhD Thesis. Supervisor: Weir, MK. 1992. [PDF]

An Open System Architecture for a Persistent Object Store. Brown, AL, Mainetto, G, Matthes, F, MŸller, R, McNally, DJ. In: Proc. 25th International Conference on Systems Sciences, Hawaii, pp 766-776. 1992. [PDF]

Operating Grant for Research on Algorithms in Algebra and Geometry. Atkinson, MD. Grant: Canadian NSERC, C$75,000. 1992. [PDF]

Operating System Level Support for Coherence in Distributed Object Systems. Livesey, MJ, Allison, C. In: Proc. 2nd IEEE International Workshop on Object Orientation in Operating Systems, Paris, pp 92-95. IEEE Press. 1992. [PDF]

Operating System Level Support for Coherence in Distributed Systems. Livesey, MJ, Allison, C. In: Proc. 5th ACM SIGOPS Workshop: Models and Paradigms for Structuring Distributed Systems, Mont St Michael. ACM. 1992. [PDF]

Persistent Hyper-Programs. Kirby, GNC, Connor, RCH, Cutts, QI, Dearle, A, Farkas, AM, Morrison, R. In: Persistent Object Systems, Albano, A, Morrison, R (eds), Workshops in Computing, Proc. 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, pp 86-106. Springer-Verlag, ISBN 3-540-19800-8. 1992. [PDF]

Persistent Object Systems. Morrison, R, Atkinson, MP. In: Proc. 25th International Conference on Systems Sciences, Hawaii, pp 754-755. 1992. [PDF]

Persistent Object Systems: Implementation and Use. Albano, A, Morrison, R (eds), Proc. 5th International Workshop on Persistent Object Systems, San Miniato, Italy. In Series: Workshops in Computing. Springer-Verlag, ISBN 3-540-19800-8. 1992. [PDF]

Persistent Program Construction through Browsing and User Gesture with some Typing. Farkas, AM, Dearle, A, Kirby, GNC, Cutts, QI, Morrison, R, Connor, RCH. In: Persistent Object Systems, Albano, A, Morrison, R (eds), Workshops in Computing, Proc. 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, pp 376-393. Springer-Verlag, ISBN 3-540-19800-8. 1992. [PDF]

Persistent Programming with Strongly Typed Linguistic Reflection. Kirby, GNC. In: Proc. 25th International Conference on Systems Sciences (HICSS), Hawaii, Morrison, R, Atkinson, MP (eds), pp 820-831. 1992. [PDF]

Persistent Type Systems. Connor, RCH, Atkinson, MP, Ghelli, G, Ohori, A. In: Persistent Object Systems, Albano, A, Morrison, R (eds), Workshops in Computing, Proc. 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, pp 216-221. Springer-Verlag, ISBN 3-540-19800-8. 1992. [PDF]

Post-Doctoral Research Fellowship. Connor, RCH. Grant: SERC, £40,260. 1992. [PDF]

Profiling Scheduling Strategies on the GRIP Multiprocessor. Hammond, K, Peyton Jones, SL. In: Proc. 4th International Workshop on the Parallel Implementation of Functional Languages (IFL'92), RWTH Aachen, Germany, pp 73-98. 1992. [PDF]

Progress with Fully Integrated Data Environments: Final Report of ESPRIT Basic Research Action 3070. Albano, A, Atkinson, MP, Benzaken, V, Brown, AL, Castelli, D, Cluet, S, Connor, RCH, Delobel, C, Ghelli, G, Mainetto, G, Mancini, LV, Matthes, F, Morrison, R, Rabitti, F, Richard, P, Schewe, K-D, Schmidt, J, Thanos, C, Welland, R, Wetzel, I. ESPRIT BRA Project 3070 FIDE Report FIDE/92/50. 1992. [PDF]

A Proof Editor for Linear Logic. Peillon, T. MSc Thesis. Supervisor: Dyckhoff, R. 1992. [PDF]

Reflection and Hyper-Programming in Persistent Programming Systems. Kirby, GNC. PhD Thesis. Supervisor: Morrison, R. 1992. [PDF]

Semantics and pragmatics of extended term graph rewriting (SEMGRAPH). Brock, SH. Grant: Esprit, ECU140,000. 1992. [PDF]

A Sequent- or Tableau-Style System for Lewis's Counterfactual Logic VC. Gent, IP. In: Notre Dame Journal of Formal Logic 33, 3, pp 369-382. 1992. [PDF]

Some Experiments with a Completion Theorem Prover. Martin, U, Lai, M. In: Journal of Symbolic Computation 13, pp 81-100. 1992. [PDF]

Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach. Stemple, D, Morrison, R. In: Proc. 15th Australian Computer Science Conference, Hobart, Tasmania, pp 873-891. 1992. [PDF]

Subtyping Without Tears. Connor, RCH, Morrison, R. In: Proc. 15th Australian Computer Science Conference, Hobart, Tasmania, pp 209-225. 1992. [PDF]

Supporting Large Persistent Stores Using Conventional Hardware. Vaughan, F, Dearle, A. In: Proc. 5th International Workshop on Persistent Object Systems, San Miniato, Italy, pp 34-53. Springer Verlag (Berlin). 1992. [PDF]

Travel Grant. Connor, RCH. Grant: SERC, £1,410. 1992. [PDF]

Type-Safe Linguistic Reflection: A Generator Technology. Stemple, D, Stanton, RB, Sheard, T, Philbrow, P, Morrison, R, Kirby, GNC, Fegaras, L, Cooper, RL, Connor, RCH, Atkinson, MP, Alagic, S. ESPRIT BRA Project 3070 FIDE Report FIDE/92/49. 1992. [PDF]

Using Continued Fractions for Dynamic Subtype Checking in Name Equivalence Single Inheritance Object-Oriented Databases. Morrison, R, England, A, Connor, RCH, Atkinson, MP, Barneva, S, Rabitti, F, Zezula, P. ESPRIT BRA Project 6309 FIDE2 Report FIDE/92/57. 1992. [PDF]

Visiting Fellowship, Dr M Moses. Livesey, MJ. Grant: SERC, £8,000. 1992. [PDF]

Visiting Fellowship, Professor D Stemple: Type Safe Linguistic Reflection. Morrison, R, Brown, AL, Connor, RCH. Grant: SERC, £19,692. 1992. [PDF]

Visting Fellowship, Assoc. Professor A Dearle: Distribution in Persistent Object Systems. Morrison, R, Connor, RCH, Munro, DS, Kirby, GNC, Cutts, QI. Grant: SERC GR/J30855, £4,000. 1992. [PDF]

1991

An Ad-Hoc Approach to the Implementation of Polymorphism. Morrison, R, Dearle, A, Connor, RCH, Brown, AL. In: ACM Transactions on Programming Languages and Systems 13, 3, pp 342-371. 1991. [PDF]

Adaptive Pattern Recognition in a Real-World Environment. Bairaktaris, D. PhD Thesis. Supervisor: Weir, MK. 1991. [PDF]

Constructing Matrix Representations of Finitely Presented Groups. Linton, SA. In: Journal of Symbolic Computation 12, 4-5, pp 427-438. 1991. [PDF]

Corrections to: "The Maximal Subgroups of the Thompson Group". Linton, SA. In: Journal of the London Mathematical Society, Second Series 43, 2, pp 253-254. 1991. [PDF]

Double Coset Enumeration. Linton, SA. In: Journal of Symbolic Computation 12, 4-5, pp 415-426. 1991. [PDF]

FIDE Course on Database Programming Languages and Persistent Systems. Albano, A, Atkinson, MP, Connor, RCH, Delobel, C, Ghelli, G, Lécluse, C, Mancini, L, Matthes, F, Morrison, R, Orsini, R, Philbrow, P, Rabitti, F, Richard, P, Schmidt, J, Watt, D. 1991. [PDF]

Finding Problems in Knowledge Bases Using Modal Logics. Gent, IP. Department of Computer Science, University of Warwick Report 173. 1991. [PDF]

High Level Background Debugging for Embedded Systems. Allison, C, Livesey, MJ. Grant: SERC GR/H 16827, £148,100. 1991. [PDF]

The Maximal Subgroups of the Fischer Groups Fi24 and Fi'24. Linton, SA. In: Proceedings of the London Mathematical Society, Third Series 63, 1, pp 113-164. 1991. [PDF]

A Parallel Functional Database for GRIP. Akerholt, G, Hammond, K, Peyton Jones, SL, Trinder, PW. In: Proc. International Workshop on the Parallel Implementation of Functional Languages (IFL'91), Southampton, UK, pp 7-30. 1991. [PDF]

A Persistent Object System Shared by Multiple Concurrent Clients. Basso, T, Vaughan, F, Dearle, A, Marlin, C, Barter, C. University of Adelaide Report PS-04. 1991. [PDF]

Reasoning About Hybrid Reasoning: a Discussion. Gent, IP, Cohn, AG. Department of Computer Science, University of Warwick Report 193. 1991. [PDF]

A Remote Execution Mechanism for Distributed Homogeneous Stable Stores. Dearle, A, Rosenberg, J, Vaughan, F. In: 3rd International Conference on Database Programming Languages, Kanelakis, P, Schmidt, JW (eds), Proc. 3rd International Workshop on Database Programming Languages, Nafplion, Greece, pp 125-138. Morgan Kaufmann. 1991. [PDF]

Subtyping and Assignment in Database Programming Languages. Connor, RCH, McNally, DJ, Morrison, R. In: Database Programming Languages: Bulk Types and Persistent Data, Kanelakis, P, Schmidt, JW (eds), Proc. 3rd International Workshop on Database Programming Languages (DBPL3), Nafplion, Greece, pp 363-382. Morgan Kaufmann. 1991. [PDF]

Theory Tableaux. Gent, IP. Mathematical Sciences Institute, Cornell University Report 91-62. 1991. [PDF]

Utilising CAL in an Educational Context. Allison, C. Grant: SDA Configurable Array Logic Initiative, £2,500. 1991. [PDF]

1990

An Adaptive Graphical Browser for Napier88. Kirby, GNC, Dearle, A. University of St Andrews Report CS/90/16. 1990. [PDF]

Automating Squiggol. Martin, U, Nipkow, T. In: Proc. IFIP Working Group 2.2, Israel, Broy, M, Jones, CB (eds), pp 233-246. North Holland. 1990. [PDF]

Automating the Knuth Bendix Ordering. Martin, U, Dick, AJJ, Kalmus, JR. In: Acta Informatica 28, pp 95-119. 1990. [PDF]

Browsing, Grazing and Nibbling Persistent Data Structures. Dearle, A, Cutts, QI, Kirby, GNC. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems (POS3), Newcastle, Australia (1989), pp 56-69. Springer-Verlag, ISBN 3-540-19626-9. 1990. [PDF]

Cache Coherence and Storage Management in a Persistent Object System. Koch, B, Schunke, T, Dearle, A, Vaughan, F, Marlin, C, Fazakerley, Barter, C. In: Implementing Persistent Object Bases, Dearle, A, Shaw, G, Zdonik, SB (eds), pp 103-113. Morgan Kaufmann. 1990. [PDF]

Distributed Persistent Object Store Concurrency Control. Allison, C, Livesey, MJ, Brown, AL. Grant: SERC CDS GR/G 33011, £27,877. 1990. [PDF]

Existentially Quantified Types as a Database Viewing Mechanism. Connor, RCH, Dearle, A, Morrison, R, Brown, AL. In: Lecture Notes in Computer Science 416, Bancilhon, F, Thanos, C, Tsichritzis, D (eds), Proc. 2nd International Conference on Extending Database Technology (EDBT'90), Venice, Italy, pp 301-315. Springer-Verlag, ISBN 3-540-52291-3. 1990. [PDF]

Implementing Persistent Object Bases: Principles and Practice. Dearle, A, Shaw, GM, Zdonik, SB (eds), Proc. 4th International Workshop on Persistent Object Systems, Martha’s Vineyard, USA. Morgan Kaufmann, ISBN 1-55860-168-6. 1990. [PDF]

A Layered Persistent Architecture for Napier88. Brown, AL, Dearle, A, Morrison, R, Munro, D, Rosenberg, J. In: Security and Persistence, Rosenberg, J, Keedy, JL (eds), Proc. International Workshop on Security and Persistence, Bremen, 1990, pp 155-172. Springer-Verlag. 1990. [PDF]

The Maximal Subgroups of the Sporadic Groups Th, Fi'24 and Fi24 and Other Topics. Linton, SA. PhD Thesis. 1990. [PDF]

The Napier Type System. Morrison, R, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Atkinson, MP. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, pp 3-18. Springer-Verlag. 1990. [PDF]

A Note on Division Orderings on Strings. Martin, U. In: Information Processing Letters 36, pp 237-240. 1990. [PDF]

On the Classification of Binding Mechanisms. Morrison, R, Brown, AL, Dearle, A, Atkinson, MP. In: Information Processing Letters 34, pp 51-55. 1990. [PDF]

Ordered Rewriting and Confluence. Martin, U, Nipkow, T. In: Proc. 10th International Conference on Automated Deduction (CADE-10). Springer-Verlag. 1990. [PDF]

Persistence and Type Abstraction Revisited. Ohori, A, Tabkha, I, Connor, RCH, Philbrow, P. In: Implementing Persistent Object Bases, Dearle, A, Shaw, GM, Zdonik, SB (eds), pp 141-153. Morgan Kaufmann. 1990. [PDF]

The Persistent Abstract Machine. Connor, RCH, Brown, AL, Carrick, R, Dearle, A, Morrison, R. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, pp 353-366. Springer-Verlag. 1990. [PDF]

A Persistent Distributed Architecture Supported by the Mach Operating System. Vaughan, F, Schunke, T, Koch, B, Dearle, A, Marlin, C, Barter, C. In: Proc. Proceedings of the 1st USENIX Conference on the Mach Operating System, pp 123-140. 1990. [PDF]

Persistent Languages and Architectures. Morrison, R, Atkinson, MP. In: Security and Persistence, Rosenberg, J, Keedy, JL (eds), Proc. International Workshop on Security and Persistence, Bremen, 1990, pp 9-28. Springer-Verlag. 1990. [PDF]

Persistent Object Stores: An Implementation Technique. Brown, AL, Rosenberg, J. In: Implementing Persistent Object Bases, Principles and Practice, Dearle, A, Shaw, GM, Zdonik, SB (eds), Proc. 4th International Workshop on Persistent Object Systems, Martha’s Vineyard, USA, pp 199-212. Morgan Kaufmann. 1990. [PDF]

Persistent System Architectures. Atkinson, M, Morrison, R. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, pp 73-97. Springer-Verlag. 1990. [PDF]

Protection in Persistent Object Systems. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Kirby, GNC, Dearle, A, Rosenberg, J, Stemple, D. In: Security and Persistence, Rosenberg, J, Keedy, JL (eds), Workshops in Computing, Proc. International Workshop on Security and Persistence (IWSP), Bremen, pp 48-66. Springer-Verlag. 1990. [PDF]

Stability in a Persistent Store Based on a Large Virtual Memory. Rosenberg, J, Henskens, F, Brown, AL, Morrison, R, Munro, D. In: Security and Persistence, Rosenberg, J, Keedy, JL (eds), Workshops in Computing, Proc. International Workshop on Security and Persistence, Bremen, 1990, pp 229-245. Springer-Verlag. 1990. [PDF]

A Testbed for Embedded Systems. Allison, C, Livesey, MJ. Grant: SERC PNA GR/G 30669, £40,825. 1990. [PDF]

Type Equivalence Checking in Persistent Object Systems. Connor, RCH, Brown, AB, Cutts, QI, Dearle, A, Morrison, R, Rosenberg, J. In: Implementing Persistent Object Bases, Principles and Practice, Dearle, A, Shaw, GM, Zdonik, SB (eds), Proc. 4th International Workshop on Persistent Object Systems, Martha’s Vineyard, USA, pp 151-164. Morgan Kaufmann. 1990. [PDF]

Type Systems and Database Programming Languages. Albano, A, Brown, AL, Dearle, A, Connor, RCH, Fegaras, L, Ghelli, G, Hull, R, Marlin, CD, Matthes, F, Morrison, R, Orsini, R, Schmidt, JW, Sheard, T, Stemple, D. University of St Andrews Report CS/90/3. 1990. [PDF]

Types and Polymorphism in Persistent Programming Systems. Connor, RCH. PhD Thesis. Supervisor: Morrison, R. 1990. [PDF]

WIN Programmers’ Manual. Cutts, QI, Dearle, A, Kirby, GNC. University of St Andrews Report CS/90/17. 1990. [PDF]

1989

Boolean Unification: the Story so Far. Martin, U, Nipkow, T. In: Journal of Symbolic Computation 7, pp 275-293. 1989. [PDF]

Database Programming Languages. Hull, R, Morrison, R, Stemple, D (eds), Proc. 2nd International Workshop on Database Programming Languages, Salishan Lodge, Gleneden Beach, Oregon. Morgan Kaufmann, ISBN 1-55860-072-8. 1989. [PDF]

Design Issues in The Persistent Abstract Machine. Connor, RCH, Brown, AL, Carrick, R, Dearle, A, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-75-89. 1989. [PDF]

Environments: A Flexible Binding Mechanism to Support System Evolution. Dearle, A. In: Proc. 22nd International Conference on Systems Sciences, Hawaii, pp 46-55. 1989. [PDF]

A Framework for Comparing Type Systems for Database Programming Languages. Albano, A, Dearle, A, Ghelli, G, Marlin, CD, Morrison, R, Orsini, R, Stemple, D. In: Database Programming Languages, Hull, R, Morrison, R, Stemple, D (eds), pp 170-178. Morgan Kaufmann. 1989. [PDF]

A Geometrical Approach to Multiset Orderings. Martin, U. In: Journal of Theoretical Computer Science 67, pp 37-54. 1989. [PDF]

Language Design Issues in Supporting Process-Oriented Computation in Persistent Environments. Morrison, R, Barter, CJ, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Hurst, AJ, Livesey, MJ. In: Proc. 22nd International Conference on System Sciences (HICSS), Hawaii, pp 736-744. 1989. [PDF]

The Maximal Subgroups of the Thompson Group. Linton, SA. In: Journal of the London Mathematical Society, Second Series 39, 1, pp 79-88. 1989. [PDF]

Napier88 - A Database Programming Language?. Dearle, A, Connor, RCH, Brown, AL, Morrison, R. In: Proc. 2nd International Workshop on Database Programming Languages, Salishan Lodge, Oregon, Hull, R, Morrison, R, Stemple, D (eds), pp 179-195. Morgan Kaufmann. 1989. [PDF]

The Napier88 Reference Manual. Morrison, R, Brown, AL, Connor, RCH, Dearle, A. Universities of Glasgow and St Andrews Report PPRR-77-89. 1989. [PDF]

Napier88 Release 1.0. Morrison, R, Brown, AL, Connor, RCH, Dearle, A. University of St Andrews. 1989. [PDF]

An Object Addressing Mechanism for Statically Typed Languages with Multiple Inheritance. Connor, RCH, Dearle, A, Morrison, R, Brown, AL. In: Proc. OOPSLA'89, New Orleans, Louisiana. 1989. [PDF]

An Object-Oriented Approach to Window-based Applications. Cutts, QI, Kirby, GNC, Connor, RCH, Dearle, A, Marlin, CD. Universities of Glasgow and St Andrews Report PPRR-72-89. 1989. [PDF]

Persistent Object Stores. Brown, AL. PhD Thesis. Supervisor: Morrison, R. 1989. [PDF]

Polymorphic Names and Iterations. Atkinson, MP, Morrison, R. In: Advances in Database Programming Languages, Bancilhon, F, Buneman, OP (eds), Proc. 1st International Workshop on Database Programming Languages, Roscoff, France (September 1987), pp 241-246. ACM Press. 1989. [PDF]

Problem Solving using S-algol. Carrick, R, Davie, AJT, Dearle, A. Department of Computational Science, University of St Andrews. 1989. [PDF]

WIN: A Persistent Window Management System. Kirby, GNC, Cutts, QI, Dearle, A, Marlin, CD. Universities of Glasgow and St Andrews Report PPRR-73-89. 1989. [PDF]

1988

Adaptive Data Stores. Morrison, R, Dearle, A, Marlin, CD. In: Proc. Second Australian Joint Artificial Intelligence Conference, Adelaide, Australia, Barter, CJ, Brooks, MJ (eds). Springer-Verlag. 1988. [PDF]

Binding and Type Checking in Database Programming Languages. Atkinson, MP, Buneman, OP, Morrison, R. In: Computer Journal 31, 2, pp 99-109. 1988. [PDF]

Bindings in Persistent Programming Languages. Morrison, R, Atkinson, MP, Brown, AL, Dearle, A. In: ACM SIGPLAN Notices 23, 4, pp 27-34. 1988. [PDF]

Data Types and Persistence. Atkinson, MP, Buneman, OP, Morrison, R (eds), Proc. 1st Workshop on Persistent Object Systems, Appin, Scotland. In Series: Topics in Information Systems. Springer-Verlag, ISBN 3-540-18785-5. 1988. [PDF]

The Napier Type-Checking Module. Connor, RCH. In: . 1988. [PDF]

On the Construction of Persistent Programming Environments. Dearle, A. PhD Thesis. Supervisor: Morrison, R. 1988. [PDF]

On the Integration of Object-Oriented and Process-Oriented Computation in Persistent Environments. Morrison, R, Brown, AL, Carrick, R, Connor, RCH, Dearle, A. In: Lecture Notes in Computer Science 334, Dittrich, KR (ed), Proc. 2nd International Workshop on Object-Oriented Database Systems, Bad MŸnster am Stein-Ebernburg, Germany, pp 334-339. Springer-Verlag. 1988. [PDF]

The Persistent Abstract Machine. Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-59-88. 1988. [PDF]

PISA Club Rules and Reference Model. Atkinson, MP, Morrison, R, Lucking, JR, Pratten, GD. Universities of Glasgow and St Andrews Report PPRR-70-88. 1988. [PDF]

Safe Browsing in a Strongly Typed Persistent Environment. Dearle, A, Brown, AL. In: Computer Journal 31, 6, pp 540-544. 1988. [PDF]

A Scheme for Compiling Lazy Functional Languages. McNally, DJ, Davie, AJT, Dearle, A. In: Proc. 2nd International Workshop on Implementation of Functional Programming, AspenŒs, Sweden. 1988. [PDF]

Types, Bindings and Parameters in a Persistent Environment. Atkinson, MP, Morrison, R. In: Data Types and Persistence, Atkinson, MP, Buneman, OP, Morrison, R (eds), Topics in Information Systems, Proc. 1st International Workshop on Persistent Object Systems, Appin, Scotland, pp 3-20. Springer-Verlag, ISBN 3-540-18785-5. 1988. [PDF]

Unification in Boolean Rings. Martin, U, Nipkow, T. In: Journal of Automated Reasoning 4, pp 381-396. 1988. [PDF]

1987

An Architecture for a Strongly Typed Persistent Object Store. Brown, AL, Dearle, A, Morrison, R. In: Proc. Object Oriented Programming Systems, Languages and Applications Workshop (OOPSLA), Orlando, Florida. 1987. [PDF]

Constructing Compilers in a Persistent Environment. Dearle, A. In: Proc. 2nd International Workshop on Persistent Object Systems, Appin, Scotland, Atkinson, MP, Buneman, OP, Morrison, R (eds). 1987. [PDF]

Constructing Database Systems in a Persistent Environment. Cooper, RL, Atkinson, MP, Dearle, A, Abderrahmane, D. In: Proc. 13th International Conference on Very Large Data Bases (VLDB), Brighton, England, pp 117-125. 1987. [PDF]

Delayed Binding and Type Checking in Database Programming Languages. Atkinson, MP, Buneman, OP, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-45-87. 1987. [PDF]

A Distributed Stable Store. Brown, AL. Universities of Glasgow and St Andrews Report PPRR-50-87. 1987. [PDF]

An Event-Driven Software Architecture. Cutts, QI, Kirby, GNC. Universities of Glasgow and St Andrews Report PPRR-48-87. 1987. [PDF]

Exponentiable Morphisms, Partial Products and Pullback Complements. Dyckhoff, R, Tholen, W. In: Journal of Pure and Applied Algebra 49, 1-2, pp 103-116. 1987. [PDF]

Extension Functions for Multiset Orderings. Martin, U. In: Information Processing Letters 26, pp 181-186. 1987. [PDF]

Flexible Incremental Bindings in a Persistent Object Store. Morrison, R, Atkinson, MP, Dearle, A. Universities of Glasgow and St Andrews Report PPRR-38-87. 1987. [PDF]

Generic Tools and Compiler Construction. Dearle, A. In: Proc. 2nd International Workshop on Persistent Object Systems, pp 443-455. 1987. [PDF]

How to Choose the Weights in the Knuth Bendix Ordering. Martin, U. In: Rewriting Techniques and Applications, Lescanne, P (ed), Lecture Notes in Computer Science, pp 42-53. Springer-Verlag. 1987. [PDF]

An Introduction to PS-algol Programming, 3rd edition. Carrick, R, Cole, AJ, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-31-87. 1987. [PDF]

Logic Languages and Relational DBMSs - the Point of Convergence. Bocca, J, Bailey, PJ. In: Proc. 2nd International Workshop on Persistent Object Systems (POS2), Appin, Scotland, pp 346-362. 1987. [PDF]

A Persistent Architecture Intermediate Language. Dearle, A. Universities of Glasgow and St Andrews Report PPRR-35-87. 1987. [PDF]

Persistent Information Architectures. Atkinson, MP, Morrison, R, Pratten, GD. Universities of Glasgow and St Andrews Report PPRR-36-87. 1987. [PDF]

Persistent Information Space Architecture - PISA Club Rules. Atkinson, MP, Lucking, JR, Morrison, R, Pratten, GD. Universities of Glasgow and St Andrews Report PPRR-47-87. 1987. [PDF]

Persistent Object Systems: Their Design, Implementation and Use, Appin 87. Atkinson, MP, Buneman, OP, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-44-87. 1987. [PDF]

PISA - A Persistent Information Space Architecture. Atkinson, MP, Morrison, R, Pratten, GD. In: ICL Technical Journal 5, 3, pp 477-491. 1987. [PDF]

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store. Atkinson, MP, Morrison, R. In: Proc. 2nd International Workshop on Persistent Object Systems, Appin, Scotland, Atkinson, MP, Buneman, OP, Morrison, R (eds), pp 1-12. 1987. [PDF]

Polymorphic Persistent Processes. Morrison, R, Barter, CJ, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Hurst, AJ, Livesey, MJ. Universities of Glasgow and St Andrews Report PPRR-39-87. 1987. [PDF]

Polymorphism, Persistence and Software Reuse in a Strongly Typed Object Oriented Environment. Morrison, R, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Atkinson, MP. In: Software Engineering Journal, December, pp 199-204. 1987. [PDF]

Software Development with Ada. Sommerville, I, Morrison, R. Addison-Wesley, ISBN 0-201-14227-9. 1987. [PDF]

Strong Elimination Rules in Type Theory. Dyckhoff, R. In: Proc. Workshop on Programming Logic, Marstrand Programming Methodology Group Report, University of GŸteborg/Chalmers University of Technology, Dybjer, P, Nordström, B, Petersson, K, Smith, JM (eds), pp 112-115. 1987. [PDF]

A Unification Grammar Development Environment. Gent, IP. MSc Thesis. 1987. [PDF]

1986

Almost All p-groups Have Automorphism Group a p-group. Martin, U. In: Bulletin of the American Mathematical Society 15, pp 78-82. 1986. [PDF]

Designing a Persistent Information Space Architecture. Atkinson, MP, Morrison, R, Pratten, GD. In: Proc. 10th IFIP World Congress, Dublin, pp 115-120. North-Holland. 1986. [PDF]

Implementation Issues in Persistent Graphics. Brown, AL, Dearle, A. In: University Computing 8, 2, pp 101-108. 1986. [PDF]

An Integrated Graphics Programming Environment. Morrison, R, Brown, AL, Dearle, A, Atkinson, MP. In: Computer Graphics Forum 5, 2, pp 147-157. 1986. [PDF]

Integrated Persistent Programming Systems. Atkinson, MP, Morrison, R. In: Proc. 19th International Conference on Systems Sciences, Hawaii, pp 842-854. 1986. [PDF]

Normalisation Techniques in Category Theory and Proof Theory - an Implementation and Applications. Hamza, TTA. PhD Thesis. Supervisor: Dyckhoff, R. 1986. [PDF]

A Persistent Graphics Facility for the ICL Perq. Morrison, R, Brown, AL, Bailey, PJ, Davie, AJT, Dearle, A. In: Software - Practice and Experience 16, 4, pp 351-367. 1986. [PDF]

A Persistent Information Space Architecture. Atkinson, MP, Morrison, R, Pratten, GD. In: Proc. 9th Australian Computing Science Conference, Australia. 1986. [PDF]

A Strongly Typed Persistent Object Store. Atkinson, M, Dearle, A, Morrison, R. In: Proc. 1st International Workshop on Object-Oriented Database Systems, Pacific Grove, Asilomar, California, p 206. 1986. [PDF]

Unification in Boolean Rings. Martin, U, Nipkow, T. In: Proc. 8th International Conference on Computer Aided Deduction (CADE-8). Springer-Verlag. 1986. [PDF]

1985

The CPOMS Persistent Object Management System. Brown, AL, Cockshott, WP. Universities of Glasgow and St Andrews Report PPRR-13-85. 1985. [PDF]

The Persistent Store as an Enabling Technology for Integrated Project Support Environments. Morrison, R, Dearle, A, Bailey, PJ, Brown, AL, Atkinson, MP. In: Proc. 8th IEEE International Conference on Software Engineering, London, pp 166-172. 1985. [PDF]

Procedures as Persistent Data Objects. Atkinson, MP, Morrison, R. In: ACM Transactions on Programming Languages and Systems 7, 4, pp 539-559. 1985. [PDF]

Proceedings of the Persistence and Data Types Workshop, Appin 85. Atkinson, MP, Buneman, OP, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-16-85. 1985. [PDF]

1984

Persistent First Class Procedures are Enough. Atkinson, MP, Morrison, R. In: Lecture Notes in Computer Science 181, Joseph, M, Shyamasundar, R (eds), pp 223-240. Springer-Verlag. 1984. [PDF]

POMS: A Persistent Object Management System. Cockshott, WP, Atkinson, MP, Chisholm, KJ, Bailey, PJ, Morrison, R. In: Software - Practice and Experience 14, 1, pp 49-71. 1984. [PDF]

Progress with Persistent Programming. Atkinson, MP, Bailey, PJ, Chisholm, KJ, Cockshott, WP, Morrison, R. In: Database, Role and Structure, Stocker, PM, Atkinson, MP, Gray, PM (eds), pp 245-310. Cambridge University Press. 1984. [PDF]

Total Reflections, Partial Products and Hereditary Factorisations. Dyckhoff, R. In: Topology and its Applications 17, pp 101-113. 1984. [PDF]

1983

An Approach to Persistent Programming. Atkinson, MP, Bailey, PJ, Chisholm, KJ, Cockshott, WP, Morrison, R. In: Computer Journal 26, 4, pp 360-365. 1983. [PDF]

The Persistent Object Management System. Atkinson, MP, Bailey, PJ, Chisholm, KJ, Cockshott, WP, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-1-83. 1983. [PDF]

PS-algol Papers: a Collection of Related Papers on PS-algol. Atkinson, MP, Bailey, PJ, Cockshott, WP, Chisholm, KJ, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-2-83. 1983. [PDF]

PS-algol: A Language for Persistent Programming. Atkinson, MP, Bailey, PJ, Chisholm, KJ, Cockshott, WP, Morrison, R. In: Proc. 10th Australian National Computer Conference, Melbourne, Australia, pp 70-79. 1983. [PDF]

1982

An Introduction to Programming with S-algol. Cole, AJ, Morrison, R. Cambridge University Press. 1982. [PDF]

Low Cost Computer Graphics for Micro Computers. Morrison, R. In: Software - Practice and Experience 12, 8, pp 767-776. 1982. [PDF]

1981

Recursive Descent Compiling. Davie, AJT, Morrison, R. Ellis-Horwood, ISBN 0-470-27270-8. 1981. [PDF]

1979

On the Development of Algol. Morrison, R. PhD Thesis. 1979. [PDF]

The S-algol Abstract Machine. Bailey, PJ, Maritz, P, Morrison, R. University of St Andrews Report CS/80/2. 1979. [PDF]

S-algol Language Reference Manual. Morrison, R. University of St Andrews Report CS/79/1. 1979. [PDF]

1977

A Method of Implementing Procedure Entry and Exit in Block Structured High Level Language. Morrison, R. In: Software - Practice and Experience 7, p 537. 1977. [PDF]