Вы здесь

Ohori A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Developments in Database Programming Languages 1990 Buneman P., Ohori A. Univ. Glasgow 12.02.1991
СТ Semantics of Types for Database Objects 1990 Ohori A. Theoretical Computer Science 16.03.1991
П Representing Object Identity in a Pure Functional Language 1990 Ohori A. Univ. Glasgow 12.02.1991
П Polymorphism and Type Inference in Database Programming 1990 Buneman P., Ohori A. Univ. Glasgow 12.02.1991
П Persistence and Type Abstraction Revisited 1990 Ohori A., Tabkha I., Connor R., Philbrow P. Univ. Glasgow 12.02.1991
СТ Representing Object Identity in a Pure Fuctional Language 1990 Ohori A. Lecture Notes in Computer Science 16.03.1991
СТ A Calculus for Exploiting Data Parallelism on Recursively Defined Data 1995 Nishimura S., Ohori A. Lecture Notes in Computer Science 19.05.1995
СТ An Equatorial Object-Oriented Data Model and Its Data- Parallel Query Language 1996 Nishimura S., Ohori A., Tajima K. SIGPLAN Notices 20.02.1997
СТ Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML 1999 Ohori A., Yoshida N. SIGPLAN Notices 20.12.1999
СТ Proof-Directed De-compilation of Low-Level Code 2001 Katsumata S., Ohori A. Lecture Notes in Computer Science 28.04.2001
СТ Register Allocation by Proof Transformation 2003 Ohori A. Lecture Notes in Computer Science 16.04.2003