LANDFALL Vol.67

λ計算の可能性を追求する

コンピュータプログラムの最適化や安全性を高めるという目的で、プログラムがどのような構造を持ち、動作をしているのかということを解析する必要がでてきた。この解析をするために、プログラミング言語がどのような構造を持つのかを知る必要がある。西崎研究室では、プログラミング言語を解析するための基礎を研究している。プログラミング言語の文法や、文法に従って記述されたプログラムの意味の定義の方法を定義することにより、プログラムの動作を解析することが可能になる。