|
СТ |
Register Allocation by Proof Transformation |
2003 |
Ohori A. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Proof-Directed De-compilation of Low-Level Code |
2001 |
Katsumata S., Ohori A. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML |
1999 |
Ohori A., Yoshida N. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
An Equatorial Object-Oriented Data Model and Its Data- Parallel Query Language |
1996 |
Nishimura S., Ohori A., Tajima K. |
|
|
|
SIGPLAN Notices |
20.02.1997 |
|
СТ |
A Calculus for Exploiting Data Parallelism on Recursively Defined Data |
1995 |
Nishimura S., Ohori A. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
|
СТ |
Semantics of Types for Database Objects |
1990 |
Ohori A. |
|
|
|
Theoretical Computer Science |
16.03.1991 |
|
СТ |
Representing Object Identity in a Pure Fuctional Language |
1990 |
Ohori A. |
|
|
|
Lecture Notes in Computer Science |
16.03.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 Functional Language |
1990 |
Ohori A. |
|
|
Univ. Glasgow |
|
12.02.1991 |
|
П |
Developments in Database Programming Languages |
1990 |
Buneman P., Ohori A. |
|
|
Univ. Glasgow |
|
12.02.1991 |
|
П |
Polymorphism and Type Inference in Database Programming |
1990 |
Buneman P., Ohori A. |
|
|
Univ. Glasgow |
|
12.02.1991 |
