Masahiko Sakai

Professor

email: sakai at is.nagoya-u.ac.jp

Department of Computer Science and Mathematical Informatics,
Graduate School of Information Science,
Nagoya University

Research Interests(link to Comprehensive List of Researchers)

• Term rewriting
• Program transformation and/or generation
• Specification verification and automtic theorem proving

Publications DBLP

Profile

A TRS compiler: Cdimple

Misc.

• RTA2012 - 23rd International Conference on Rewriting Techniques and Applications (May.28-Jun.2, 2012 at Nagoya)



• Rewritng Home Page
• Term Rewriting Meeting, Japan
• List of TRS researchers (Aart Middeldorp's page)

Old info.

• 35th TRS meeting (Sep 12-14, 2011 at Nagoya Univ.)
• 2nd Mini-Workshop on Rewriting Techniques (Oct.14, 2009 at Nagoya Univ.)
• 23rd TRS meeting (Sep.24-26, 2003 at Nagoya Univ.)
• 12th TRS meeting (Nov.4-5, 1997 at Nagoya Univ.)