Browse

ftp://ftp-fide.dcs.st-andrews.ac.uk (83)

	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/browsing.gesture.ps.gz, 19930427 This paper should be referenced as: Farkas, A.M., Dearle, A., Kirby, G.N.C., Cutts, Q.I., Morrison, R. & Connor, R.C.H. Persistent Program Construction through Browsing and User Gesture with some Typing . In Proc. 5th International Workshop on Persistent Object Systems, San Miniato, Italy (1992). 2
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/compilers.persistence.ps.gz, 19930429 Syntax analysis This module contains a syntax analyser generator. Sa.gen = proc( options, input.pack, error.pack PStypes, check.types, lex.generator -> proc( symbol.table -> PAIL or error.pack ) ) Type checking This module does all the non-applicative type checking - that is type checking which may
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.ab.ps.gz, 19930429 References Persistent Object Stores Alfred Leonard Brown Department of Computational Science University of St. Andrews October 1988 References
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/environments.ps.gz, 19930429 Burstall & Goguen J.A. The semantics of Clear, a specification language. Lecture Notes in Computer Science, 86, pp. 292-332 (Springer-Verlag, Berlin, 1984). Burstall R. & Lampson B. A kernal language for abstract data types and modules. In Proceedings of the International Symposium on Semantics
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/existential.types.ps.gz, 19930429 1 This paper should be referenced as: Connor, R.C.H., Dearle, A., Morrison, R. & Brown, A.L. Existentially Quantified Types as a Database Viewing Mechanism . In Lecture Notes in Computer Science 416, Bancilhon, F., Thanos, C. & Tsichritzis, D. (ed), Springer-Verlag (1990) pp 301-315. 2 Existentially
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/browsing.nibbling.ps.gz, 19930429 REFERENCES 1. Cockshott P. & Brown A.L. "CPOMS The Persistent Object Management System in C", PPRR-13, Universities of St Andrews and Glasgow, Scotland, 1985. 2. Cutts Q. & Kirby G. "An Event driven Software Architecture", PPRR-48, Universities of St Andrews and Glasgow, Scotland, 1987. 3. Dearle A. "A
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.ad.ps.gz, 19930429 On the Construction of Persistent Programming Environments Alan Dearle Computational Science Department University of St. Andrews St. Andrews March 1988 Acknowledgements A number of people must be thanked for their help during this project. Firstly, Professor Ron Morrison, my supervisor, for his
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.browser.ps.gz, 19930430 This paper should be referenced as: Kirby, G.N.C. & Dearle, A. An Adaptive Graphical Browser for Napier88 . University of St Andrews Technical Report CS/90/16 (1990). An Adaptive Graphical Browser for Napier88 G.N.C. Kirby and A. Dearle University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/object.addressing.ps.gz, 19930430 Page 22 Meyer B. Object-Oriented Software Construction, Prentice Hall (1988). Stroustrup B. The C++ Programming Language, Addison Wesley (1986). Stroustrup B. "Multiple Inheritance for C++", EUUG - European Unix Systems User Group Newsletter, Volume 7 (1987). Skarra A. &
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/integrating.processes.ps.gz, 19930430 Appendix I type general_index is process ( Enter : proc (KEY, VALUE), Lookup : proc (KEY -> VALUE) ) let generate_general_index = proc (less_than : proc (Key, Key -> bool) fail_value : Value -> general_index ) general_index with begin rec type index is
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/pam.ps.gz, 19930430 8. PS-algol Abstract Machine Manual Universities of Glasgow & St Andrews PPRR-11-85, 1985 9. P. Bailey, P. Maritz & R. Morrison The S-algol Abstract Machine University of ST Andrews CS-80-2, 1980 10. A. Goldberg & D. Robson Smalltalk-80. The Language and its Implementation Addison-Wesley, 1983 11. M.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/flexible.concurrency.ps.gz, 19930430 This paper should be referenced as: Stemple, D. & Morrison, R. Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach . In Proc. 15th Australian Computer Science Conference, Hobart, Tasmania (1992) pp 873-891. 2 SPECIFYING FLEXIBLE CONCURRENCY CONTROL SCHEMES: AN ABSTRACT
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/type.equiv.ps.gz, 19930430 Dearle, A., Cutts, Q.I. & Kirby, G. "Browsing, Grazing and Nibbling Persistent Data Structures". 3rd International Conference on Persistent Object Systems, Newcastle, Australia (1989), pp 96-112. Ichbiah et al., The Programming Language Ada Reference Manual. ANSI/MIL- STD-1815A-1983.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/persistent.hyperprograms.ps.gz, 19930430 19. Atkinson MP, Morrison R. Integrated Persistent Programming Systems. In: Proc. 19th International Conference on Systems Sciences, Hawaii, 1986, pp 842-854 20. Dearle A, Cutts QI, Connor RCH. An application architecture using type-safe incremental linking. Submitted for publication, 1992 21. Cooper
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/safe.browsing.ps.gz, 19930430 Safe Browsing in a Strongly Typed Persistent Environment Page 17 References 1. Goldberg A. and Robson D. Smalltalk-80: The language and its implementation. Addison Wesley (1983). 2. Bobrow D. G. and Stefik M. The Loops manual. Tech Rep.KB-VLSI-81-13, Knowledge Systems Area. Xerox Palo Alto Research
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.dbpl.ps.gz, 19930430 Morrison, R. "On the development of algol". Ph.D. thesis, University of St Andrews (1979). Mitchell, J.C. & Plotkin, G.D. "Abstract types have existential type". Proc POPL (1985). "The PS-algol Reference Manual fourth edition", Universities of Glasgow and St Andrews PPRR-12
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/subtyping.ps.gz, 19930430 This paper should be referenced as: Connor, R.C.H. & Morrison, R. Subtyping Without Tears . In Proc. 15th Australian Computer Science Conference, Hobart, Tasmania (1992) pp 209-225. 2 SUBTYPING WITHOUT TEARS R.C.H. CONNOR Department of Mathematical and Computational Sciences, University of St Andrews,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/subtyping.ass.ps.gz, 19930430 24 Atkinson, M.P. & Morrison, R. "Types, bindings and parameters in a persistent environment". Proc of the Appin Workshop on Data Types and Persistence, Universities of Glasgow and St Andrews, PPRR-16, (August 1985),1-25. In Data Types and Persistence (Eds Atkinson, Buneman & Morrison)
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/poly.implementation.ps.gz, 19930430 This paper should be referenced as: Morrison, R., Dearle, A., Connor, R.C.H. & Brown, A.L. An Ad-Hoc Approach to the Implementation of Polymorphism . ACM Transactions on Programming Languages and Systems 13, 3 (1991) pp 342-371. 2 An ad hoc approach to the implementation of polymorphism R. Morrison, A.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/linguistic.reflection.ps.gz, 19930430 1 This paper should be referenced as: Stemple, D., Stanton, R.B., Sheard, T., Philbrow, P., Morrison, R., Kirby, G.N.C., Fegaras, L., Cooper, R.L., Connor, R.C.H., Atkinson, M.P. & Alagic, S. Type-Safe Linguistic Reflection: A Generator Technology . ESPRIT BRA Project 3070 FIDE Technical Report
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/generic.store.ps.gz, 19930430 This paper should be referenced as: Brown, A.L. & Morrison, R. A Generic Persistent Object Store . Software Engineering Journal 7, 2 (1992) pp 161-168. - 2 - A Generic Persistent Object Store A.L. Brown & R.Morrison Department of Mathematical and Computational Sciences, University of St.Andrews, North
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/protection.ps.gz, 19930430 This paper should be referenced as: Morrison, R., Brown, A.L., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C., Dearle, A., Rosenberg, J. & Stemple, D. Protection in Persistent Object Systems . In Security and Persistence, Rosenberg, J. & Keedy, J.L. (ed), Springer-Verlag (1990) pp 48-66. 2 Protection in
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/programming.reflection.ps.gz, 19930430 TemplateNapier exist to allow values from the environment in which the source code is evaluated to be bound into the result code. The programmer must understand several mappings between code categories. These are: between general code and its representation as used in manifest codeRep; between general
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/processes.design.issues.ps.gz, 19930430 1 Langauge Design Issues in Supporting ProcessOriented Computation in Persistent Environments R.Morrison, C.J.Barter++, A.L.Brown, R.Carrick, R.Connor, A.Dearle, A.J.Hurst+ & M.J.Livesey Department of Computational Science, University of St Andrews, North Haugh, St Andrews, Scotland KY16 9SS. Tel 0334
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.types.ps.gz, 19930430 Appendix I type general_index is process ( Enter : proc (KEY, VALUE), Lookup : proc (KEY -> VALUE) ) let generate_general_index = proc (less_than : proc (Key, Key -> bool) ; fail_value : Value -> general_index ) general_index with begin rec type index
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.ref.man.1.ps.gz, 19930511 The Napier88 Reference Manual Ron Morrison Fred Brown Richard Connor Al Dearle This document should be referenced as: "The Napier88 Reference Manual Universities of Glasgow and St Andrews, PPRR-77-89". 2 Contents Chapter 1 Introduction 1.1 Napier88 Overview 2 Syntax Specification 3 Types and Type Rules
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/integrating.reflection.ps.gz, 19930519 1 This paper should be referenced as: Stemple, D., Morrison, R., Kirby, G.N.C., & Connor, R.C.H. Integrating Reflection, Strong Typing and Static Checking . In Proc. 16th Australian Computer Science Conference, Brisbane, Australia (1993) pp 83-92. 2 Integrating Reflection, Strong Typing and Static
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/hyperprogram.implementation.ps.gz, 19930519 1 This paper should be referenced as: Kirby, G.N.C., Cutts, Q.I., Connor, R.C.H. & Morrison, R. The Implementation of a HyperProgramming System . University of St Andrews Technical Report CS/93/5 (1993). 2 The Implementation of a Hyper-Programming System G.N.C. Kirby, Q.I. Cutts, R.C.H. Connor and R.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/evolution.mechanisms.ps.gz, 19930630 This paper should be referenced as: Morrison, R., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C. & Stemple, D. Mechanisms for Controlling Evolution in Persistent Object Systems . Journal of Microprocessors and Microprogramming 17, 3 (1993) pp 173-181. 2 Mechanisms for Controlling Evolution in Persistent
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/approaching.integration.ps.gz, 19930630 1 This paper should be referenced as: Morrison, R., Baker, C., Connor, R.C.H., Cutts, Q.I. & Kirby, G.N.C. Approaching Integration in Software Environments . University of St Andrews Technical Report CS/93/10 (1993). 2 Approaching Integration in Software Environments R. MORRISON, C. BAKER, R.C.H.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/schema.evolution.ps.gz, 19940204 1 To appear in ACM SIGAP conference, Phoenix, Arizona, March 1994. Using Persistence Technology to Control Schema Evolution R.C.H. Connor, Q.I. Cutts, G.N.C. Kirby and R. Morrison Department of Mathematical and Computational Sciences, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/cpoms.ps.gz, 19940418 This paper should be referenced as: Brown, A.L. & Cockshott, W.P. The CPOMS Persistent Object Management System . Universities of Glasgow and St Andrews Technical Report PPRR-13-85 (1985). The CPOMS Persistent Object Management System Persistent Programming Research Group A.L. Brown Department of
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.install.2.ps.gz, 19940628 The Napier88 Release 2.0 Installation Guide June 1994 Graham Kirby Fred Brown Richard Connor Quintin Cutts Alan Dearle Ron Morrison Dave Munro University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland. University of Adelaide, GPO Box 498, Adelaide, South Australia 5001, Australia.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/polymorphism.reuse.ps.gz, 19940629 This paper should be referenced as: Morrison, R., Brown, A.L., Carrick, R., Connor, R.C.H., Dearle, A. & Atkinson, M.P. Polymorphism, Persistence and Software Reuse in a Strongly Typed Object Oriented Environment . Software Engineering Journal, December (1987) pp 199-204. 2 Polymorphism, Persistence and
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/code.optimisation.ps.gz, 19940704 This paper should be referenced as: Cutts, Q.I., Connor, R.C.H., Kirby, G.N.C. & Morrison, R. An Execution Driven Approach to Code Optimisation . In Proc. 17th Australasian Computer Science Conference, Christchurch, New Zealand (1994) pp 83-92. 2 An Execution-Driven Approach to Code Optimisation Quintin
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/joy.ps.gz, 19940704 This paper should be referenced as: Connor, R.C.H., Atkinson, M.P., Berman, S., Cutts, Q.I., Kirby, G.N.C. & Morrison, R. The Joy of Sets . In Database Programming Languages, Beeri, C., Ohori, A. & Shasha, D.E. (ed), Springer-Verlag (1993) pp 417-433. The Joy of Sets Richard Connor, Malcolm Atkinson ,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/start.ps.gz, 19940912 This paper should be referenced as: Kirby, G.N.C., Connor, R.C.H. & Morrison, R. START: A Linguistic Reflection Tool Using Hyper-Program Technology . In Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France (1994) pp 346-365. START: A Linguistic Reflection Tool Using
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/pam.manual.ps.gz, 19940912 This report should be referenced as: Brown, A.L., Carrick, R., Connor, R.C.H., Cutts, Q.I., Dearle, A., Kirby, G.N.C., Morrison, R. & Munro, D.S. The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0) . Universities of St Andrews and Adelaide (1994). The Persistent Abstract Machine Version
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/approach.persistence.ps.gz, 19941014 This paper should be referenced as: Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, W.P. & Morrison, R. An Approach to Persistent Programming . Computer Journal 26, 4 (1983) pp 360-365. An approach to persistent programming M.P.Atkinson+, P.J.Bailey*, K.J.Chisholm+, W.P.Cockshott+ and
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/first.class.procs.ps.gz, 19941128 This paper should be referenced as: Atkinson, M.P. & Morrison, R. Persistent First Class Procedures are Enough . In Lecture Notes in Computer Science 181, Joseph, M. & Shyamasundar, R. (ed), Springer-Verlag (1984) pp 223-240. Persistent first class procedures are enough Malcolm P. Atkinson and Ronald
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/concurrent.shadow.ps.gz, 19941215 Concurrent Shadow Paging in the Flask Architecture D.S. Munro1, R.C.H. Connor1, R. Morrison1, S. Scheuerl1 & D.W. Stemple2 1Department of Mathematical and Computational Sciences, University of St Andrews, North Haugh, St Andrews, Fife, KY16 9SS, Scotland 2Department of Computer Science, University of
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/unifying.interaction.ps.gz, 19950216 This paper should be referenced as: Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C., Moore, V.S. & Morrison, R. Unifying Interaction with Persistent Data and Program . In Interfaces to Database Systems, Sawyer, P. (ed), Springer-Verlag, Proc. 2nd International Workshop on User Interfaces to Databases,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/pail.ps.gz, 19950324 A Persistent Architecture Intermediate Language 1 This document should be referenced as: Dearle, A. A Persistent Architecture Intermediate Language . Universities of Glasgow and St Andrews Technical Report PPRR-35-87 (1987). A Persistent Architecture Intermediate Language 2 A Persistent Architecture
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/designing.pisa.ps.gz, 19950330 This paper should be referenced as: Atkinson, M.P., Morrison, R. & Pratten, G.D. Designing a Persistent Information Space Architecture . In Proc. 10th IFIP World Congress, Dublin (1986) pp 115-120. DESIGNING A PERSISTENT INFORMATION SPACE ARCHITECTURE Malcolm P. Atkinson, Ronald Morrison and Graham D.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/store.ipse.ps.gz, 19950330 This paper should be referenced as: Morrison, R., Dearle, A., Bailey, P.J., Brown, A.L. & Atkinson, M.P. The Persistent Store as an Enabling Technology for Integrated Project Support Environments . In Proc. 8th IEEE International Conference on Software Engineering, London (1985) pp 166-172. The
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/stability.largevm.ps.gz, 19950330 This paper should be referenced as: Rosenberg, J., Henskens, F., Brown, A.L., Morrison, R. & Munro, D. Stability in a Persistent Store Based on a Large Virtual Memory . In Security and Persistence, Rosenberg, J. & Keedy, J.L. (ed), Springer-Verlag (1990) pp 229-245. 2 Stability in a Persistent Store
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/delivering.benefits.ps.gz, 19950330 This paper should be referenced as: Morrison, R., Baker, C., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C. & Munro, D. Delivering the Benefits of Persistence to System Construction and Execution . In Proc. 17th Australasian Computer Science Conference, Christchurch, New Zealand (1994) pp 711-719. 2
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/languages.architectures.ps.gz, 19950330 This paper should be referenced as: Morrison, R. & Atkinson, M.P. Persistent Languages and Architectures . In Security and Persistence, Rosenberg, J. & Keedy, J.L. (ed), Springer-Verlag (1990) pp 9-28. Persistent Languages and Architectures R Morrison University of St Andrews M P Atkinson University of
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/integrated.systems.ps.gz, 19950330 This paper should be referenced as: Atkinson, M.P. & Morrison, R. Integrated Persistent Programming Systems . In Proc. 19th International Conference on Systems Sciences, Hawaii (1986) pp 842-854. Integrated Persistent Programming Systems Malcolm P. Atkinson and Ronald Morrison University of Glasgow,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/persistent.possibilities.ps.gz, 19950330 This paper should be referenced as: Morrison, R., Connor, R.C.H., Cutts, Q.I. & Kirby, G.N.C. Persistent Possibilities for Software Environments . In The Intersection between Databases and Software Engineering, IEEE Computer Society Press (1994) pp 78-87. 2 Persistent Possibilities for Software
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/boundaries.safety.ps.gz, 19950330 This paper should be referenced as: Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C. & Morrison, R. Extending the Limits of Static Typing in Persistent Programming Systems . In Proc. 18th Australian Computer Science Conference, Adelaide, Australia (1995) pp 99-107. 2 Exploring the Boundaries of Static Safety
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/bindings.ps.gz, 19950330 This paper should be referenced as: Morrison, R., Atkinson, M.P., Brown, A.L. & Dearle, A. Bindings in Persistent Programming Languages . ACM SIGPLAN Notices 23, 4 (1988) pp 27-34. Bindings in Persistent Programming Languages R.Morrison, M.P.Atkinson+, A.L.Brown & A.Dearle Department of Computational
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/persistent.hols.ps.gz, 19950330 This paper should be referenced as: Connor, R.C.H., Morrison, R., Atkinson, M.P., Matthes, F. & Schmidt, J. Programming in Persistent Higher-Order Languages . In Euro-ARCH'93, Spies, P.P. (ed), Springer-Verlag (1993) pp 288-300. Programming in Persistent Higher-Order Languages Connor R.C.H., Morrison
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/polymorphic.names.ps.gz, 19950331 This paper should be referenced as: Atkinson, M.P. & Morrison, R. Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store . In Proc. 2nd International Workshop on Persistent Object Systems, Appin, Scotland (1987). Polymorphic Names, Types, Constancy and Magic in a Type
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/integrated.graphics.ps.gz, 19950406 This paper should be referenced as: Morrison, R., Brown, A.L., Dearle, A. & Atkinson, M.P. An Integrated Graphics Programming Environment . Computer Graphics Forum 5, 2 (1986) pp 147-157. 2 An Integrated Graphics Programming Environment Ronald Morrison, Alfred L. Brown, Alan Dearle and Malcolm P.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/types.bindings.ps.gz, 19950407 This paper should be referenced as: Atkinson, M.P. & Morrison, R. Types, Bindings and Parameters in a Persistent Environment . In Data Types and Persistence, Atkinson, M.P., Buneman, O.P. & Morrison, R. (ed), Springer-Verlag (1988) pp 3-20. Types, Bindings and Parameters in a Persistent Environment
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/ps-algol.ps.gz, 19950413 This paper should be referenced as: Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, W.P. & Morrison, R. PS-algol: A Language for Persistent Programming . In Proc. 10th Australian National Computer Conference, Melbourne, Australia (1983) pp 70-79. PS-algol : a language for persistent programming
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/persistent.graphics.ps.gz, 19950417 This paper should be referenced as: Morrison, R., Brown, A.L., Bailey, P.J., Davie, A.J.T. & Dearle, A. A Persistent Graphics Facility for the ICL PERQ Computer . Software Practice and Experience 16, 4 (1986) pp 351-367. A Persistent Graphics Facility for the ICL Perq R. Morrison, A.L. Brown, P.J.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/exploiting.linkage.ps.gz, 19950621 1 This paper should be referenced as: Morrison, R., Connor, R.C.H., Cutts, Q.I., Dunstan, V.S. & Kirby, G.N.C. Exploiting Persistent Linkage in Software Engineering Environments . Computer Journal 38, 1 (1995) pp 1-16. 2 Exploiting Persistent Linkage in Software Engineering Environments Morrison, R.,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/orth.systems.ps.gz, 19950920 Orthogonally Persistent Object Systems Malcolm Atkinson and Ronald Morrison Department of Computer Science, University of Glasgow, Glasgow G12 8QQ, Scotland mpa@dcs.glasgow.ac.uk School of Mathematical and Computational Sciences, University of St Andrews, North Haugh, St Andrews KY16 9SS, Scotland
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/trace.format.ps.gz, 19951002 1 The MaStA I/O Trace Format S.J.G. Scheuerl , R.C.H. Connor , R. Morrison , J.E.B. Moss & D.S. Munro School of Mathematical and Computational Sciences, University of St Andrews, North Haugh, St Andrews, Fife, KY16 9SS, Scotland Email: {stephan, richard, ron, dave}@dcs.st-and.ac.uk Department of
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/masta.oopsla95.ps.gz, 19951123 1 Validating the MaStA I/O Cost Model for DB Crash Recovery Mechanisms D.S. Munro , R.C.H. Connor , R. Morrison , J.E.B. Moss & S.J.G. Scheuerl School of Mathematical and Computational Sciences, University of St Andrews, North Haugh, St Andrews, Fife, KY16 9SS, Scotland Department of Computer Science,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/datasafe.acsc96.ps.gz, 19960208 Proceedings of the 19th ACSC Conference, Melbourne, Australia, January 31-February 2 1996. The DataSafe Failure Recovery Mechanism in the Flask Architecture S.J.G. Scheuerl, R.C.H. Connor, R. Morrison & D.S. Munro School of Mathematical and Computational Sciences University of St Andrews North Haugh, St
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.rc.ps.gz, 19960212 1 This thesis should be referenced as: Connor, R.C.H. Types and Polymorphism in Persistent Programming Systems . Ph.D. Thesis, University of St Andrews (1990). 2 Types and Polymorphism in Persistent Programming Systems Richard C. H. Connor Department of Mathematical and Computational Sciences University
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.qc.ps.gz, 19960212 This thesis should be referenced as: Cutts, Q.I. Delivering the Benefits of Persistence to System Construction and Execution . Ph.D. Thesis, University of St Andrews (1992). Delivering the Benefits of Persistence to System Construction and Execution Quintin I. Cutts Department of Mathematical and
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.gk.ps.gz, 19960212 This thesis should be referenced as: Kirby, G.N.C. Reflection and Hyper-Programming in Persistent Programming Systems . Ph.D. Thesis, University of St Andrews (1992). Reflection and Hyper-Programming in Persistent Programming Systems Graham N. C. Kirby Department of Mathematical and Computational
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.install.221.ps.gz, 19960809 Napier88 Installation Guide Release 2.2.1 August 1996 Graham Kirby Richard Connor Quintin Cutts* Ron Morrison Dave Munro University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland. *University of Glasgow, Lilybank Gardens, Glasgow G12 8QQ, Scotland. This document should be referenced as:
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.lib.man.221.ps.gz, 19960809 Napier88 Standard Library Reference Manual Release 2.2.1 July 1996 Graham Kirby Fred Brown* Richard Connor Quintin Cutts Alan Dearle Vivienne Dunstan Ron Morrison Dave Munro University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland. *Department of Computer Science, University of
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.ref.man.221.ps.gz, 19960809 Napier88 Reference Manual Release 2.2.1 July 1996 Ron Morrison Fred Brown* Richard Connor Quintin Cutts Alan Dearle Graham Kirby Dave Munro University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland. *Department of Computer Science, University of Adelaide, South Australia 5005,
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/reflection.evolution.ps.gz, 19960906 This paper should be referenced as: Kirby, G.N.C., Connor, R.C.H., Morrison, R. & Stemple, D. Using Reflection to Support Type-Safe Evolution in Persistent Systems . University of St Andrews Technical Report CS/96/10 (1996). 1 Using Reflection to Support Type-Safe Evolution in Persistent Systems G.N.C.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/java.persistence.ps.gz, 19961205 This paper should be referenced as: Morrison, R., Connor, R.C.H., Kirby, G.N.C. & Munro, D.S. Can Java Persist . In Proc. 1st International Workshop on Persistence for Java, Glasgow (1996) pp 34-41. 1 Can Java Persist Ron Morrison, Richard Connor, Graham Kirby and David Munro School of Mathematical and
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/pmos.ps.gz, 19970128 PMOS: A Complete and Coarse-Grained Incremental Garbage Collector for Persistent Object Stores J. Eliot B. Moss1, David S. Munro2, and Richard L. Hudson1 Department of Computer Science1 Department of Computer Science2 University of Massachusetts University of St. Andrews Amherst, MA 01003-4610, USA St.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/hyperprog.implementation.ps.gz, 19971006 1 This paper should be referenced as: Kirby, G.N.C., Cutts, Q.I., Connor, R.C.H. & Morrison, R. The Implementation of a HyperProgramming System . University of St Andrews Technical Report CS/93/5 (1993). 2 The Implementation of a Hyper-Programming System G.N.C. Kirby, Q.I. Cutts, R.C.H. Connor and R.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/flask.ps.gz, 19971006 This paper should be referenced as:Kirby, G.N.C., Connor, R.C.H., Cutts, Q.I., Morrison, R., Munro, D.S. & Scheuerl, S. Flask: AnArchitecture Supporting Concurrent Distributed Persistent Applications . University of St Andrews TechnicalReport CS/97/4 (1997). 1Flask: An Architecture SupportingConcurrent
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/ocb.ps.gz, 19971006 OCB: An Object/Class Browser for JavaGraham N.C. Kirby and Ron MorrisonSchool of Mathematical and Computational Sciences,University of St Andrews, North Haugh, St Andrews KY16 9SS, Scotland{graham, ron}@dcs.st-and.ac.ukAbstractThis paper describes an interactive browser used for exploring the structure
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/adbis97.ps.gz, 19971006 fgfflfflffl222Evolving Persistent Applications on Commercial PlatformsAbstract1Intro duction2Supp orting Evolution in Persistent ApplicationSystemsGraham Kirby, Ron Morrison and David MunroScho ol of Mathematical and Computational Sciences,University of St Andrews, St Andrews, Fife, Scotland KY16
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/dmos.pointers.ps.gz, 19971006 Where have all the pointers gone :A story of distributed pointer trackingRichard L. Hudson, Ron Morrison, J. Eliot B. Moss, &David S. Munro Department of Computer Science, University of Massachusetts,Amherst, MA 01003, U.S.A.Email: {hudson, moss}@cs.umass.edu School of Mathematical and Computational
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/dmos.oopsla97.ps.gz, 19971006 Garbage Collecting the World: One Car at a TimeRichard L. Hudson, Ron Morrison, J. Eliot B. Moss, &David S. Munro Department of Computer Science, University ofMassachusetts,Amherst, MA 01003, U.S.A.Email: {hudson, moss}@cs.umass.edu School of Mathematical and Computational Sciences,University of St
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/dmos.ps.gz, 19971006 Training Distributed Garbage:The DMOS CollectorRichard L. Hudson, Ron Morrison, J. Eliot B. Moss, &David S. Munro Department of Computer Science, University of Massachusetts,Amherst, MA 01003, U.S.A.Email: {hudson, moss}@cs.umass.edu School of Mathematical and Computational Sciences,University of St
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.dm.ps.gz, 19971006 This thesis should be referenced as:Munro, D.S. On the Integration of Concurrency, Distribution and Persistence .Ph.D. Thesis, University of St Andrews (1993). On the Integration of Concurrency,Distribution and PersistenceDavid S. MunroDepartment of Mathematical and Computational SciencesUniversity of
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/evolving.databases.ps.gz, 19971006 This paper should be referenced as:Kirby, G.N.C., Morrison, R., Connor, R.C.H. & Zdonik, S.B. Evolving Database Systems:A Persistent View . University of St Andrews Technical Report CS/97/5 (1997). Evolving Database Systems: A Persistent ViewG.N.C. Kirby, R. Morrison, R.C.H. Connor* & S.B. Zdonik School
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/sde.ps.gz, 19971006 This paper should be referenced as:Kirby, G.N.C. & Morrison, R. Orthogonal Persistence as an Implementation Platform forSoftware Development Environments . University of St Andrews Technical Report CS/97/6(1997). Orthogonal Persistence as an Implementation Platformfor Software Development EnvironmentsG.
	ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/napier.lib.man.2.ps.gz, 19971006 The Napier88 Standard Library Reference ManualVersion 2.2Compatible With Napier88 Release 2.0June 1994Graham KirbyFred Brown Richard ConnorQuintin CuttsAlan Dearle Vivienne MooreRon MorrisonDave MunroUniversity of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland. University of Adelaide, GPO