See this document in CiteSeerX!

An Approach to Multilanguage Persistent Type System (1992)  (Make Corrections)  (1 citation)
Kazuhiko Kato, Atsushi Ohori
Proc. Hawaii International Conference on System Science



  Home/Search   Context   Related

 
View or download:
jaist.ac.jp/~ohori/kato92hicss.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  jaist.ac.jp/~ohori/list (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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