 | 2007 |
|---|
| 53 |       | Atsushi Ohori,
Isao Sasano:
Lightweight fusion by fixed point promotion.
POPL 2007: 143-154 |
| 52 | | Tomoyuki Higuchi,
Atsushi Ohori:
A static type system for JVM access control.
ACM Trans. Program. Lang. Syst. 29(1): (2007) |
| 51 | | Atsushi Ohori:
A proof theory for machine code.
ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 2006 |
|---|
| 50 | | Huu-Duc Nguyen,
Atsushi Ohori:
Compiling ML polymorphism with explicit layout bitmap.
PPDP 2006: 237-248 |
| 49 | | Yutaka Matsuno,
Atsushi Ohori:
A type system equivalent to static single assignment.
PPDP 2006: 249-260 |
| 2004 |
|---|
| 48 | | Kwanghoon Choi,
Atsushi Ohori:
A Type Theory for Krivine-Style Evaluation and Compilation.
APLAS 2004: 213-228 |
| 47 | | Atsushi Ohori:
Register allocation by proof transformation.
Sci. Comput. Program. 50(1-3): 161-187 (2004) |
| 2003 |
|---|
| 46 |  | Atsushi Ohori:
Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
Springer 2003 |
| 45 | | Atsushi Ohori:
Register Allocation by Proof Transformation.
ESOP 2003: 399-413 |
| 44 | | Tomoyuki Higuchi,
Atsushi Ohori:
A static type system for JVM access control.
ICFP 2003: 227-237 |
| 43 | | Tomoyuki Higuchi,
Atsushi Ohori:
A static type system for JVM access control.
SIGPLAN Notices 38(9): 227-237 (2003) |
| 2002 |
|---|
| 42 | | Atsushi Ohori,
Kiyoshi Yamatodani:
An Interoperable Calculus for External Object Access.
APLAS 2002: 127 |
| 41 | | Atsushi Ohori,
Kiyoshi Yamatodani:
An interoperable calculus for external object access.
ICFP 2002: 60-71 |
| 40 | | Tomoyuki Higuchi,
Atsushi Ohori:
Java bytecode as a typed term calculus.
PPDP 2002: 201-211 |
| 2001 |
|---|
| 39 | | Atsushi Ohori:
Proof-Directed Compilation for Inter-operable Languages.
APLAS 2001: 301-311 |
| 38 | | Shin-ya Katsumata,
Atsushi Ohori:
Proof-Directed De-compilation of Low-Level Code.
ESOP 2001: 352-366 |
| 37 | | Alan Mycroft,
Atsushi Ohori,
Shin-ya Katsumata:
Comparing Type-Based and Proof-Directed Decompilation.
WCRE 2001: 362-367 |
| 36 | | Masatomo Hashimoto,
Atsushi Ohori:
A typed context calculus.
Theor. Comput. Sci. 266(1-2): 249-272 (2001) |
| 2000 |
|---|
| 35 | | Atsushi Ohori:
Logical Analysis of Assembly Language.
APLAS 2000: 179 |
| 1999 |
|---|
| 34 | | Atsushi Ohori:
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code.
Fuji International Symposium on Functional and Logic Programming 1999: 300-318 |
| 33 | | Atsushi Ohori,
Nobuaki Yoshida:
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.
ICFP 1999: 160-171 |
| 32 | | Atsushi Ohori:
A Curry-Howard Isomorphism for Compilation and Program Execution.
TLCA 1999: 280-294 |
| 31 | | Atsushi Ohori:
Type-Directed Specialization of Polymorphism.
Inf. Comput. 155(1-2): 64-107 (1999) |
| 30 | | Susumu Nishimura,
Atsushi Ohori:
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.
J. Funct. Program. 9(4): 427-462 (1999) |
| 1998 |
|---|
| 29 | | Xavier Leroy,
Atsushi Ohori:
Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings
Springer 1998 |
| 28 | | Jieh Hsiang,
Atsushi Ohori:
Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
Springer 1998 |
| 1997 |
|---|
| 27 | | Atsushi Ohori:
Type System for Specializing Polymorphism.
TACS 1997: 107-137 |
| 26 | | Atsushi Ohori,
Tomonobu Takamizawa:
An Unboxed Operational Semantics for ML Polymorphism.
Lisp and Symbolic Computation 10(1): 61-91 (1997) |
| 1996 |
|---|
| 25 | | Susumu Nishimura,
Atsushi Ohori,
Keishi Tajima:
An Equational Object-Oriented Data Model and its Data-Parallel Query Language.
OOPSLA 1996: 1-17 |
| 24 | | Peter Buneman,
Atsushi Ohori:
Polymorphism and Type Inference in Database Programming.
ACM Trans. Database Syst. 21(1): 30-76 (1996) |
| 1995 |
|---|
| 23 | | Atsushi Ohori:
A Polymorphic Record Calculus and Its Compilation.
ACM Trans. Program. Lang. Syst. 17(6): 844-895 (1995) |
| 1994 |
|---|
| 22 | | Catriel Beeri,
Atsushi Ohori,
Dennis Shasha:
Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993
Springer 1994 |
| 21 | | Atsushi Ohori,
Keishi Tajima:
A Polymorphic Calculus for Views and Object Sharing.
PODS 1994: 255-266 |
| 20 | | Susumu Nishimura,
Atsushi Ohori:
A Calculus for Exploiting Data Parallelism on Recursively Defined Data.
Theory and Practice of Parallel Programming 1994: 413-432 |
| 1993 |
|---|
| 19 | | Atsushi Ohori,
Kazuhiko Kato:
Semantics for Communication Primitives in an Polymorphic Language.
POPL 1993: 99-112 |
| 1992 |
|---|
| 18 | | Atsushi Ohori:
A Compilation Method for ML-Style Polymorphic Record Calculi.
POPL 1992: 154-165 |
| 17 | | Richard C. H. Connor,
Malcolm P. Atkinson,
Giorgio Ghelli,
Atsushi Ohori:
Keynote Discussion Session on Persistent Type Systems.
POS 1992: 216-221 |
| 1991 |
|---|
| 16 | | Peter Buneman,
Atsushi Ohori:
A Type System that Reconsiles Classes and Extents.
DBPL 1991: 191-202 |
| 15 | | Val Tannen,
Peter Buneman,
Atsushi Ohori:
Data Structures and Data Types for Object-Oriented Databases.
IEEE Data Eng. Bull. 14(2): 23-27 (1991) |
| 14 | | Peter Buneman,
Achim Jung,
Atsushi Ohori:
Using Powerdomains to Generalize Relational Databases.
Theor. Comput. Sci. 91(1): 23-55 (1991) |
| 1990 |
|---|
| 13 | | Florian Matthes,
Atsushi Ohori,
Joachim W. Schmidt:
Typing Schemes for Objects with Locality.
East/West Database Workshop 1990: 106-123 |
| 12 | | Atsushi Ohori:
Representing Object Identity in a Pure Functional Language.
ICDT 1990: 41-55 |
| 11 | | Atsushi Ohori,
Ivan Tabkha,
Richard C. H. Connor,
Paul Philbrow:
Persistence and Type Abstraction Revisited.
POS 1990: 141-153 |
| 10 | | Atsushi Ohori:
Semantics of Types for Database Objects.
Theor. Comput. Sci. 76(1): 53-91 (1990) |
| 1989 |
|---|
| 9 | | Val Tannen,
Peter Buneman,
Atsushi Ohori:
Can Object-Oriented Databases be Statically Typed?
DBPL 1989: 226-237 |
| 8 | | Atsushi Ohori:
A Simple Semantics for ML Polymorphism.
FPCA 1989: 281-292 |
| 7 | | Atsushi Ohori,
Peter Buneman:
Static Type Inference for Parametric Classes.
OOPSLA 1989: 445-456 |
| 6 | | Atsushi Ohori,
Peter Buneman,
Val Tannen:
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.
SIGMOD Conference 1989: 46-57 |
| 5 | | Val Tannen,
Peter Buneman,
Atsushi Ohori:
Static Type-checking in Object-Oriented Databases.
IEEE Data Eng. Bull. 12(3): 5-12 (1989) |
| 1988 |
|---|
| 4 | | Atsushi Ohori:
Semantics of Types for Database Objects.
ICDT 1988: 239-251 |
| 3 | | Atsushi Ohori,
Peter Buneman:
Type Inference in a Database Programming Language.
LISP and Functional Programming 1988: 174-183 |
| 1987 |
|---|
| 2 | | Atsushi Ohori:
Orderings and Types in Databases.
DBPL 1987: 97-116 |
| 1986 |
|---|
| 1 | | Peter Buneman,
Atsushi Ohori:
A Domain Theoretic Approach to Higher-Order Relations.
ICDT 1986: 91-104 |
