<学術雑誌論文>
Categorical Assertion Semantics in Toposes

作成者
本文言語
出版者
発行日
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 A categorical interpretation of assertion(axiomatic) semantics of programming languages is proposed. All of the preconditions, postconditions and programs are interpreted as (binary) relations in toposes by making use of relational calculus, and several fundamental properties of Dijkstra's weakest preconditions are proved. Assertions in the semantics depend on the intuitionistic logic, so this is an extension of the assertion semantics due to E.G. Manes and M.A. Arbib.

本文情報を非表示

cas-jssst pdf 229 KB 142  

詳細

レコードID
査読有無
権利関係
NCID
登録日 2012.10.24
更新日 2015.11.18

この資料を見た人はこんな資料も見ています