コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 英語
発行・発表の年月 1996
形態種別 研究論文
査読 査読あり
標題 Two Extensions of PX system
執筆形態 共著
掲載誌名 Electronic Notes in Theoretical Computer Science
掲載区分国外
出版社・発行元 Elsevier
巻・号・頁 3,pp.88
著者・共著者 ◎Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki
概要 Two extensions of PX system will be discussed. The extensions are ctPX (catch/throw PX) and mvPX (multiple values PX). ctPX is a PX system extended with Nakano's catch/throw logic. ctPX enables to extract LISP programs with catch/throw mechanism form natural proofs. mvPX is a PX system which uses multiple values rather than lists to keep a finite sequences of data. Programs extracted by ctPX are more efficient than the ones by the original PX.
DOI 10.1016/S1571-0661(05)80406-2