Person: Atsushi Ohori

DBLP: Ohori:Atsushi

Contributed to:

2014

2014

2011

2007

2006

2003

2003

2002

2002

2001

2001

1999

1999

1999

1996

1994

1993

1992

1989

1989

1989

1988

2016

Wrote 25 papers:

FLOPS-2014-MorihataKO #programming

Dynamic Programming via Thinning and Incrementalization (AM, MK, AO), pp. 186–202.

ICFP-2014-OhoriUHNSMI #development #enterprise #industrial

SML# in industry: a practical ERP system development (AO, KU, KH, SN, TS, TM, YI), pp. 167–173.

ICFP-2011-OhoriU #database #ml #programming language #standard

Making standard ML a practical database programming language (AO, KU), pp. 307–319.

ICFP-2011-UenoOO #functional #garbage collection #performance

An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.

POPL-2007-OhoriS #fixpoint #lightweight

Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.

PPDP-2006-MatsunoO #type system

A type system equivalent to static single assignment (YM, AO), pp. 249–260.

PPDP-2006-NguyenO #compilation #layout #ml #morphism #polymorphism

Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.

ESOP-2003-Ohori #proving

Register Allocation by Proof Transformation (AO), pp. 399–413.

ICFP-2003-HiguchiO #data access #static typing #type system #virtual machine

A static type system for JVM access control (TH, AO), pp. 227–237.

ICFP-2002-OhoriY #calculus

An interoperable calculus for external object access (AO, KY), pp. 60–71.

PPDP-2002-HiguchiO #bytecode #calculus #java

Java bytecode as a typed term calculus (TH, AO), pp. 201–211.

ESOP-2001-KatsumataO #decompiler #low level

Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.

WCRE-2001-MycroftOK #decompiler #type system

Comparing Type-Based and Proof-Directed Decompilation (AM, AO, SyK), pp. 362–367.

FLOPS-1999-Ohori #automaton #logic #morphism

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code (AO), pp. 300–318.

ICFP-1999-OhoriY #compilation #ml #morphism #polymorphism #rank #type inference

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.

TLCA-1999-Ohori #compilation #execution #morphism

A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.

OOPSLA-1996-NishimuraOT #equation #object-oriented #query

An Equational Object-Oriented Data Model and its Data-Parallel Query Language (SN, AO, KT), pp. 1–17.

PODS-1994-OhoriT #calculus #polymorphism

A Polymorphic Calculus for Views and Object Sharing (AO, KT), pp. 255–266.

POPL-1993-OhoriK #communication #polymorphism #semantics

Semantics for Communication Primitives in an Polymorphic Language (AO, KK), pp. 99–112.

POPL-1992-Ohori #calculus #compilation #polymorphism

A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.

FPCA-1989-Ohori #ml #morphism #polymorphism #semantics

A Simple Semantics for ML Polymorphism (AO), pp. 281–292.

OOPSLA-1989-OhoriB #parametricity #static typing #type inference

Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.

SIGMOD-1989-OhoriBT #database #polymorphism #programming #static typing #type inference

Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference (AO, PB, VT), pp. 46–57.

LFP-1988-OhoriB #database #programming language #type inference

Type Inference in a Database Programming Language (AO, PB), pp. 174–183.

ECOOP-2016-OhoriUSK #calculus

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects (AO, KU, TS, DK), p. 25.