Researchers Information
Photo



Books, Original Papers & Review Papers
Name
Atsushi Ohori
Affiliation
Research Institute of Electrical Communication
Systems & Software Division
Software Construction
Software Construction
Assigned Class
Graduate School of Information Sciences
Department of System Information Sciences

Title
Professor
Date of Birth
1957.01
Academic Degree
Ph.D
Research Fields
  • Software
display all
Activity of Academic Society (Post)
  • The Computer Journal, Editorial Board Member(1993-2008)
  • Higher-Order and Symbolic Computation, Advisary Board Member(2002-)
  • Journal of Information Systems, Associate Editor(1993-2002)
display all
Books

プログラミング言語の基礎理論 情報数学講座9.[共立出版,(1997)]大堀 淳


コンピュータサイエンス入門,アルゴリズムとプログラミング言語..[岩波書店,(1999)]大堀 淳,ジャック・ガリグ,西村 進


プログラミング言語Standard ML入門.[共立出版,(2001)]大堀 淳


ライブラリ 情報学 コア・テキスト 5 計算機システム概論 -基礎から学ぶコンピュータの原理とOSの構造-.[サイエンス社,(2010)]Atsushi Ohori
ISBN978-4-7819-1250-9


display all
Original Papers

A Polymorphic Record Calculus and Its Compilation.[ACM Transactions on Programming Languages and Systems,17(6),(1995),844-895]Atsushi Ohori


Polymorphism and Type Inference in Database Programming.[ACM Transactions on Database Systems,21(1),(1996),30-76]Peter Buneman, Atsushi Ohori


A proof theory for machine code.[ACM Transactions on Programming Languages Systtems,29(6),(2007)]Atsushi Ohori


A static type system for JVM access control.[ACM Transactions on Programming Languages and Systems,29(1),(2007)]Tomoyuki Higuchi, Atsushi Ohori


Using Powerdomains to Generalize Relational Databases.[Theoretical Computer Science,91(1),(1991),23-55]Peter Buneman, Achim Yung, Atsushi Ohori1


display all
Review Papers

display all
Honours, Awards and Prizes
  • 日本IBM科学賞(1996)
display all
Activity of External Organization
    display all
    Updated on
    2016.07.29
    JapaneseTop
    copyright(c)2005 Tohoku University