コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
研究期間 1994/04~1996/03
研究課題 構成的プログラミングの新局面の研究
実施形態 科学研究費補助金
研究委託元等の名称 科学研究費補助金
研究種目名 一般研究(C)
科研費研究課題番号 06680333
キーワード 構成的プログラミング、プログラム検証、プログラム論理、形式的方法、型理論、構成的数学
代表分担区分 研究分担者
代表者 林晋
概要 (1)PXのcatch/throw論理による拡張、(2)非決定的キャッチアンドスロー機構、(3)computational monad,evaluation logicとnon-informative quantifier、(4) Common Lispの多値メカニズムに基づく実現可能性解釈を持つPXであるmvPXと、ユーザーインターフェースを飛躍的に改良したP2Xの二つを実現