Richard Connor  Home/Search
Context Related
| ppg.dcs.stand.ac.uk/...thesis.rc.ps.gz ppg.dcs.stand.ac.uk/Pu...thesis.rc.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ppg.dcs.stand.ac.uk/Publi...1990 (more) From: ppg.dcs.stand.ac.uk/Publi...1990 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a type secure persistent programming system, all data is governed for its entire lifetime by a single type system. The universality of the persistent type system has implications in terms of both the modelling and protection provided by the type system itself, and also presents some new challenges in terms of implementation. With respect to modelling, the persistent type system must be sufficiently flexible to allow the modelling of activities normally provided by untyped support systems.... (Update)
Context of citations to this paper: More
...type, is used for the key to the Map. The construction of an appropriate structure to hold type representations is discussed at length in [22]. Cooper and Kirby 11 Type Safe Linguistic Run time Reflection 4.2 A Reflective Program Generator This section tackles the problem of...
.... the research and experimentation of persistent programming languages, most notably PS algol [5] The approaches so far proposed [4, 3, 19, 8, 2, 23, 10] are however restricted to a single language system persistent data must be created and Appeared in 25th Hawaii...
Cited by: More
Design and Implementation of Generics for the .NET Common.. - Kennedy, Syme (Correct)
Paradigms for Global Computation - an Overview of the Hippo.. - Richard Connor And (1998) (Correct)
On the Unification of Persistent Programming and the.. - Connor, Sibson, Manghi (1998) (Correct)
Active bibliography (related documents): More All
2.5: Reflection and Hyper-Programming in Persistent Programming Systems - Kirby (1992) (Correct)
1.8: Delivering the Benefits of Persistence to System Construction and.. - Cutts (1992) (Correct)
1.6: On the Construction of Persistent Programming Environments - Dearle (1988) (Correct)
Similar documents based on text: More All
0.3: Architectural Support for Global Smart Spaces - Dearle, Kirby, Morrison.. (2003) (Correct)
0.2: Type I Membranes, Phase Resetting Curves, and Synchrony - Ermentrout (1995) (Correct)
0.2: Building Persistent Application Systems in Fully Integrated.. - Schmidt, Matthes (1993) (Correct)
Related documents from co-citation: More All
14: An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983
9: Reflection and Hyper-Programming in Persistent Programming Systems - - 1992
9: PS-algol: An algol with a persistent heap (context) - Atkinson, Chisholm et al. - 1982
BibTeX entry: (Update)
* Connor, R.C.H. "Types and Polymorphism in Persistent Programming Systems". Ph.D. Thesis, University of St Andrews (1990). http://citeseer.ist.psu.edu/178005.html More
@book{ connor90types,
author = "R. C. H. Connor",
title = "Types and Polymorphism in Persistent Programming Systems",
publisher = "University of St Andrews",
year = "1990",
url = "citeseer.ist.psu.edu/178005.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988 ACM
369 A Semantics of Multiple Inheritance - Cardelli - 1984 ACM DBLP
325 Towards a Theory of Type Structure (context) - Reynolds - 1974 ACM DBLP
311 Abstract Types have Existential Type (context) - Mitchell, Plotkin - 1988 ACM DBLP
257 Report on the Programming Language Haskell (context) - Hudak - 1990 ACM
202 Make -- A Program for Maintaining Computer Programs - Feldman - 1979
193 An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983 ACM DBLP
190 How to Make Ad-Hoc Polymorphism Less Ad Hoc - Wadler, Blott - 1989 ACM
101 The Multics System: an Examination of its Structure (context) - Organick - 1972
100 Smalltalk-80: the Language and its Implementation (context) - Goldberg, Robson - 1983
100 Programming Semantics for Multiprogrammed Computations - Dennis, van Horn - 1966 ACM DBLP
95 Hope: an Experimental Applicative Language - Burstall, McQueen et al. - 1980 DBLP
90 On Understanding Types, Data Abstraction and Polymorphism - Cardelli, Wegner - 1985
85 PS-algol: an Algol with a Persistent Heap (context) - Atkinson, Chisholm et al. - 1981 DBLP
82 Typeful Programming - Cardelli - 1989
81 A Proposal for Standard ML (context) - Milner - 1983 ACM DBLP
79 CLU Reference Manual (context) - Liskov - 1981 ACM
51 Fundamental Concepts in Programming Languages (context) - Strachey - 1967 ACM DBLP
50 The C Programming Language (context) - Kernighan, Ritchie - 1978 ACM
50 Galileo: a Strongly Typed, Interactive Conceptual Language - Albano, Cardelli et al. - 1985
48 Some High-Level Language Constructs for Data of Type Relatio.. (context) - Schmidt - 1977 ACM
46 SIMULA BEGIN (context) - Birtwistle, Dahl et al. - 1973
46 The Napier88 Reference Manual (context) - Morrison, Brown et al. - 1989
42 An Ad Hoc Approach to the Implementation of Polymorphism - Morrison, Dearle et al. - 1991 ACM DBLP
38 Procedures as Persistent Data Objects (context) - Atkinson, Morrison - 1985 ACM DBLP
37 A Kernel Language for Abstract Data Types and Modules (context) - Burstall, Lampson - 1984 DBLP
30 Safe Browsing in a Strongly-Typed Persistent Environment - Dearle, Brown - 1988
29 The Functional Abstract Machine (context) - Cardelli - 1983
27 The Persistent Abstract Machine (context) - Brown, Carrick et al. - 1988 ACM DBLP
26 Programming Languages and Databases (context) - Atkinson - 1978 DBLP
26 Environments: a Flexible Binding Mechanism to Support System.. - Dearle - 1989
21 The CPOMS Persistent Object Management System (context) - Brown, Cockshott - 1985
20 Static Type Inference for Parametric Classes - Ohori, Buneman - 1989 ACM DBLP
18 An Object Server for an Object-Oriented Database System (context) - Skarra, Zdonik - 1986 ACM DBLP
15 The Type System of DBPL - Matthes, Schmidt - 1989 ACM DBLP
15 Exceeding the Limits of Polymorphism in Database Programming.. (context) - Stemple, Fegaras et al. - 1990 ACM DBLP
13 the Classification of Binding Mechanisms - Morrison, Atkinson et al. - 1990
13 Binding and Typechecking in Database Programming Languages (context) - Atkinson, Buneman et al. - 1988
12 Protection in Persistent Object Systems (context) - Morrison, Brown et al. - 1990
12 Miranda System Manual (context) - Turner - 1987
12 the Construction of Persistent Programming Environments - Dearle - 1988
12 The Design and Implementation of O 2 , an Object-Oriented Da.. (context) - Bancilhon, Barbedette et al. - 1988
11 Recursive Descent Compiling (context) - Davie, Morrison - 1981
11 Designing a Persistent Information Space Architecture (context) - Atkinson, Morrison et al. - 1986 DBLP
10 Providing Uniform Access to Heterogeneous Information Bases (context) - Connors, Lyngbaek - 1988 ACM DBLP
10 Existentially Quantified Types as a Database Viewing Mechani.. (context) - Connor, Dearle et al. - 1990 ACM
10 An Object Addressing Mechanism for Statically Typed Language.. (context) - Connor, Dearle et al. - 1989 ACM
10 Type Definitions with Parameters (context) - Solomon - 1978 ACM DBLP
10 Persistence and Type Abstraction (context) - Cardelli, McQueen - 1988 ACM DBLP
9 The Persistent Store as an Enabling Technology for Integrate.. (context) - Morrison, Bailey et al. - 1985
9 The Napier Type-Checking Module (context) - Connor - 1988
9 Polymorphism, Persistence and Software Reuse in a Strongly T.. (context) - Morrison, Brown et al. - 1987
9 Poly Manual (context) - Matthews - 1985 ACM
8 The Lisp Programmers' Manual (context) - McCarthy, Abrahams et al. - 1962
6 The Main Features of CPL (context) - Barron, Buxton et al. - 1963
6 Models of Inheritance (context) - Wegner, Zdonik - 1989 ACM DBLP
6 Types, Bindings and Parameters in a Persistent Environment (context) - Atkinson, Morrison - 1988 ACM DBLP
6 Can Object-Oriented Databases be Statically Typed (context) - Breazu-Tannen, Buneman et al. - 1989
4 Ponder and its Type System (context) - Fairbairn - 1982
4 A Persistent Architecture Intermediate Language (context) - Dearle - 1987
4 Report on the Algorithmic Language ALGOL 68 (context) - van Wijngaarden, Mailloux et al. - 1969
4 How ML Evolved (context) - Milner - 1983
4 A New Type-Checker for a Functional Language (context) - Fairbairn - 1988 ACM DBLP
3 White Plains (context) - VS - 1978
3 Protection and Process Management in the CAP Computer (context) - Needham, Walker - 1974
3 System R: A Relational Approach to Data Management (context) - Astrahan - 1976
3 Persistence and Type Abstraction Revisited (context) - Ohori, Tabkha et al. - 1990 DBLP
3 Leibniz - a Language to Support Software Engineering (context) - Evered - 1985
3 Modules and Persistence in Standard ML (context) - Harper - 1988 ACM DBLP
3 Revised Report on Russell (context) - Demers, Donahue - 1979
2 ison "The S-algol Abstract Machine (context) - Bailey, Maritz et al. - 1980
2 Technical Report ATT (context) - Amber, AT et al. - 1985
2 ison "S-algol: a Simple Algol (context) - Morr - 1982
2 Adding Programming Facilities to an Abstract Data Store (context) - Powell DBLP
2 Persistent Prolog: A Searching Storage Manager for Prolog (context) - Gray, Moffat et al. - 1988
2 The Design and Implementation of INGRES (context) - Stonebreaker, Wong et al. - 1976 ACM DBLP
1 Dearle Private communication (context) - Cutts
1 Richard Discussion with other collaborators at FIDE Types Cl.. (context) - Atkinson, Lecluse - 1990
1 The Meaning of Life, and what we are Doing Here (context) - Morrison
1 Formalizing Objects for Databases (context) - Stemple, Socorro et al. - 1988
1 The Staple Language Reference Manual (context) - Davie, McNally - 1990
1 Parametric Overloading in Polymorphic Programming Languages (context) - Keas - 1988 ACM DBLP
1 Burroughs B6500/B7500 Stack Mechanism (context) - Hauck, Dent - 1968
1 Orsini Discussion with other collaborators at FIDE Types Clu.. (context) - Albano, Ghelli - 1990
1 Type Equivalence Checking in Persistent Systems (context) - Connor, Brown et al. - 1990
1 the Implementation of Constants (context) - Gunn, Morrison - 1979
1 Une extension de l'interpretation de Gödel ā l'analyse, et s.. (context) - Girard - 1972
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC