Atsushi Ohori
Professor, Ph.D.(
University of Pennsylvania
, 1989)
Research Institute of Electrical Communication
Tohoku University
Katahira 2-1-1, Aobaku, Sendai, 980-8577 JAPAN
[
Home page in Japanese
]
Research Interests
Programming Languages and Databases.
Academic activities
.
Recent papers
, and
list of papers
with pointers to their pdf or ps files.
Recent papers (comments are welcom).
A Proof Theory for Machine Code
(by Ohori, ACM Trans. Program. Lang. Syst. 29(6), (2007))
(pdf file, revised October, 2005)
.
For more details, look at the
recent paper
page.
SML# Development Project
Based on the various results on programming language research, we are now developing a new programming language,
SML#.
SML# version 0.30 has just been released! (2007. 7. 4)
Educations
Lectures
Text books (in Japanese)
Atsushi Ohori / RIEC Room S401 / ohori at riec dot tohoku dot ac dot jp / Tel: 022 217-5510 / FAX: 022 217-5513