(Enter summary)
Abstract: One important concept established through research of persistent programming languages is orthogonal persistence. The techniques so far proposed for this concept are, however, limited to single language systems. This paper proposes a systematic method to achieve orthogonal persistence in a multilanguage system by combining a technique for higher-order remote procedure calls and a mechanism of orthogonal persistence in a single language system. The proposed method can be used to develop a... (Update)
Context of citations to this paper: More
...to a single language system; persistent data must be created and accessed by a single presupposed programming system. As we argued in [KO92] for persistent programming to become a viable approach to represent a shared external database system, we must break this restriction...
Cited by: More
Semantics for Communication Primitives in a Polymorphic Language - Ohori, Kato (1993)
(Correct)
Active bibliography (related documents): More All
0.6: Bulk Types: Built-In or Add-On? - Matthes, Schmidt (1991)
(Correct)
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)
(Correct)
0.3: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (1994)
(Correct)
Similar documents based on text: More All
0.3: Babel: An Eastern European Multi-Language Database - Roach, Arnfield, Barry..
(Correct)
0.3: SvPablo: A Multi-Language Architecture-Independent performance .. - De Rose, Reed (2000)
(Correct)
0.3: A Type System that Reconciles Classes and Extents - Buneman, Ohori
(Correct)
BibTeX entry: (Update)
K. Kato and A Ohori. An approach to multilanguage persistent type system. In Proc. Hawaii International Confernece on System Science, pages 810-819, 1992. http://citeseer.ist.psu.edu/kato92approach.html More
@inproceedings{ kato92approach,
author = "K. Kato and A. Ohori",
title = "An approach to multilanguage persistent type system",
booktitle = "Proc. Hawaii International Conference on System Science",
pages = "810-819",
year = "1992",
url = "citeseer.ist.psu.edu/kato92approach.html" }
Citations (may not include all citations):
1002
programming language (context) - Stroustrup - 1987
476
programming language (context) - Kernighan, Ritchie - 1978
476
Implementing remote procedure calls
- Birrell, Nelson - 1984
315
Dynamic typing in a statically-typed language
- Abadi, Cardelli et al. - 1989
193
An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983
139
Type systems for programming languages (context) - Mitchell - 1990
121
Types and persistence in database programming languages (context) - Atkinson, Buneman - 1987
91
object database and environment): The language and the data .. (context) - Agrawal, Gehani - 1989
87
Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
55
interactive conceptual language (context) - Albano, Cardelli et al. - 1985
45
an object-oriented data model (context) - Lecluse, Richard et al. - 1988
42
database programming language (context) - Lecluse, The - 1989
18
Types and Polymorphism in Persistent Programming Systems
- Connor - 1991
10
Persistence and type abstraction (context) - Cardelli, MacQueen - 1988
9
LFCS Report Series ECS-LFCS (context) - Harper, Milner et al. - 1988
7
bindings and parameters in a persistent environment (context) - Atkinson, Morrison - 1988
4
Department of Computational Science (context) - Morrison, Brown et al. - 1989
2
Typing scheme for objects with locality (context) - Matthes, Ohroi et al. - 1991
1
Higher-order remote procedure calls (context) - Ohori, Kato - 1991
1
implementation experience (context) - Schuh, Carey et al. - 1990
1
UTS: A Type System for Facilitating Data Communication (context) - Hayess - 1989
1
PSalgol reference manual - fourth edition (context) - Research - 1987
1
Database programming in Machiavelli | a polymorphic language.. (context) - Ohori, Buneman et al. - 1989
Documents on the same site (http://www.jaist.ac.jp/~ohori/list.html): More
An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996)
(Correct)
Proof-Directed De-compilation of Low-Level Code - Katsumata, Ohori (2001)
(Correct)
A Curry-Howard Isomorphism for Compilation and Program Execution.. - Ohori (1999)
(Correct)
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