Research Publications
2010
On the Selection of Connectivity-based Metrics for WSNs using a Classification of Application Behaviour.Boyd A. W. F., Balasubramaniam D., Dearle A., Morrison R.Tto appear in IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, Newport Beach, California, USA June 2010.
A Collaborative Wireless Sensor Network Routing Scheme for Reducing Energy Wastage.
Boyd A. W. F., Balasubramaniam D., Dearle A.
To appear in ICC’10 Workshop on Energy Efficiency in Wireless Networks & Wireless Networks for Energy Efficiency, Cape Town, South Africa May 2010.
2009
Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin.
Sharma O. Lewis J., Miller A., Dearle A.,Balasubramaniam D.,Morrison R. & Sventek J. In
In Proceedings Spin09 June 26-28, 2009, Grenoble, France, LNCS Volume 5578/2009, Springer Berlin / Heidelberg, DOI 10.1007/978-3-642-02652-2, ISSN 0302-9743 (Print) 1611-3349 (Online).
[PDF]
Orthogonal Persistence Revisited. Dearle, A, Kirby, GNC, Morrison, R. In: Proc. International Conference on Object Databases (ICOODB 2009), Zurich, Switzerland, Norrie, MC (ed). 2009. [details] [PDF]
2008
Applying Constraint Solving to the Management of Distributed Applications. McCarthy, AJ, Dearle, A, Kirby, GNC. University of St Andrews Report CS/08/1. 2008. [details] [PDF]
An Approach to Extending the Lifetime of Wireless Sensor Networks. Boyd, AWF, Balasubramaniam, D, Dearle, A, Morrison, R. In: Proc. 9th Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting, Liverpool, UK, pp 123-128. 2008. [details] [PDF]
A Component-Based Model and Language for Wireless Sensor Network Applications. Dearle, A, Balasubramaniam, D, Lewis, J, Morrison, R. In: Proc. 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, pp 1303-1308. IEEE Computer Society 2008. [details]
A Composition-Based Approach to the Construction and Dynamic Reconfiguration of Wireless Sensor Network Applications. Balasubramaniam, D, Dearle, A, Morrison, R. In: Proc. 7th International Symposium on Software Composition (SC 2008), Budapest, Hungary, pp 206-214. Springer Verlag. 2008. [details]
Design, Implementation and Deployment of State Machines Using a Generative Approach. Kirby, GNC, Dearle, A, Norcross, SJ. In: LNCS 5135, Architecting Dependable Systems V, de Lemos, R, Di Giandomenico, F, Gacek, C, Muccini, H, Vieira, M (eds), pp 175-198. Springer, ISBN 978-3-540-85570-5. 2008. [details] [PDF]
Self-managed Distributed Mediation Networks. Johnston-Watt, D, Heneveld, A, Dearle, A, Connor, RCH. Patent: 2008. [details]
Self-managed Mediated Information Flow. Johnston-Watt, D, West, A, Dearle, A, Connor, RCH. Patent: 2008. [details]
2007
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. [details] [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. [details] [PDF]
Software Deployment, Past, Present and Future. Dearle, A. In: Proc. International Conference on Software Engineering, pp 269-284. IEEE Computer Society. 2007. [details] [PDF]
2006
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. [details] [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. [details] [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. [details] [PDF]
2005
Mediated Information Flow. Dearle, A, Connor, RCH. Patent: 2005. [details]
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. [details] [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. [details] [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. [details]
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. [details] [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. [details] [PDF]
Self-managed Mediated Information Flow. Johnston-Watt, D, West, A, Martin, A, Dearle, A, Connor, RCH, Sheenan, D. Patent: 2005. [details]
2004
Exposing Application Components as Web Services. Walker, SM, Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/04/3. 2004. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [PDF]
A Generic Storage API. Kirby, GNC, Zirintsis, E, Dearle, A, Morrison, R. University of St Andrews Report CS/03/2. 2003. [details] [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. [details] [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. [details] [PDF]
Report on the XBase Project. Zirintsis, E, Kirby, GNC, Dearle, A, Morrison, R. University of St Andrews Report CS/03/1. 2003. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [PDF]
2001
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. [details]
2000
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. [details] [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. [details] [PDF]
1999
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. [details] [PDF]
The Efficacy of Persistent Operating Systems in Supporting Persistent Application Systems. Dearle, A, Hulse, D. University of Stirling Report Pastel RT1R2. 1999. [details] [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. [details] [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. [details] [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. [details] [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. [details]
1998
Orthogonally Persistent Support for Persistent CORBA Objects. O’Lenskie, A, Dearle, A, Hulse, D. University of Stirling Report TR-151. 1998. [details] [PDF]
Towards Ubiquitous Environments for Mobile Users. Dearle, A. In: IEEE Internet Computing 2, 1, pp 22-31. 1998. [details] [PDF]
Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel. Hulse, D, Dearle, A. University of Stirling Report Pastel RT1R4. 1998. [details] [PDF]
1997
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. [details] [PDF]
1996
A Log-Structured Persistent Store. Hulse, D, Dearle, A. In: Proc. 19th Australasian Computer Science Conference, Melbourne, Australia, pp 563-572. 1996. [details] [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. [details] [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. [details]
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. [details] [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. [details] [PDF]
Operating System Support for Java. Dearle, A, Hulse, D, Farkas, A. In: Proc. 1st International Workshop on Persistence for Java, Drymen, Scotland. 1996. [details] [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. [details] [PDF]
1995
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. [details] [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. [details]
Napier88 Release 2.2. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews. 1995. [details]
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. [details] [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. [details] [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. [details]
1994
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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details]
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. [details] [PDF]
The Persistent Abstract Machine (Version 8.0). Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Morrison, R, Munro, DS. Report 1994. [details]
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. [details] [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. [details] [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. [details] [PDF]
1993
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. [details] [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. [details] [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. [details] [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. [details] [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. [details]
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. [details] [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. [details] [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. [details] [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. [details] [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. [details] [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. [details]
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. [details] [PDF]
1990
An Adaptive Graphical Browser for Napier88. Kirby, GNC, Dearle, A. University of St Andrews Report CS/90/16. 1990. [details] [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. [details] [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. [details] [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. [details] [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. [details]
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. [details]
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. [details] [PDF]
On the Classification of Binding Mechanisms. Morrison, R, Brown, AL, Dearle, A, Atkinson, MP. In: Information Processing Letters 34, pp 51-55. 1990. [details] [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. [details] [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. [details]
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. [details] [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. [details] [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. [details]
WIN Programmers’ Manual. Cutts, QI, Dearle, A, Kirby, GNC. University of St Andrews Report CS/90/17. 1990. [details]
1989
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. [details]
Environments: A Flexible Binding Mechanism to Support System Evolution. Dearle, A. In: Proc. 22nd International Conference on Systems Sciences, Hawaii, pp 46-55. 1989. [details] [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. [details] [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. [details] [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. [details] [PDF]
The Napier88 Reference Manual. Morrison, R, Brown, AL, Connor, RCH, Dearle, A. Universities of Glasgow and St Andrews Report PPRR-77-89. 1989. [details] [PDF]
Napier88 Release 1.0. Morrison, R, Brown, AL, Connor, RCH, Dearle, A. University of St Andrews. 1989. [details]
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. [details] [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. [details]
Problem Solving using S-algol. Carrick, R, Davie, AJT, Dearle, A. Department of Computational Science, University of St Andrews. 1989. [details]
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. [details] [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. [details] [PDF]
Bindings in Persistent Programming Languages. Morrison, R, Atkinson, MP, Brown, AL, Dearle, A. In: ACM SIGPLAN Notices 23, 4, pp 27-34. 1988. [details] [PDF]
On the Construction of Persistent Programming Environments. Dearle, A. PhD Thesis. Supervisor: Morrison, R. 1988. [details] [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. [details] [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. [details]
Safe Browsing in a Strongly Typed Persistent Environment. Dearle, A, Brown, AL. In: Computer Journal 31, 6, pp 540-544. 1988. [details] [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. [details]
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. [details]
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. [details] [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. [details]
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. [details]
Generic Tools and Compiler Construction. Dearle, A. In: Proc. 2nd International Workshop on Persistent Object Systems, pp 443-455. 1987. [details] [PDF]
A Persistent Architecture Intermediate Language. Dearle, A. Universities of Glasgow and St Andrews Report PPRR-35-87. 1987. [details] [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. [details]
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. [details] [PDF]
1986
Implementation Issues in Persistent Graphics. Brown, AL, Dearle, A. In: University Computing 8, 2, pp 101-108. 1986. [details]
An Integrated Graphics Programming Environment. Morrison, R, Brown, AL, Dearle, A, Atkinson, MP. In: Computer Graphics Forum 5, 2, pp 147-157. 1986. [details] [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. [details] [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. [details]
1985
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. [details] [PDF]