Graded Hoare Logic and its Categorical Semantics

論文・著書情報

タイトル

和文:
英文:	Graded Hoare Logic and its Categorical Semantics

著者

和文:	Marco Gaboardi, 勝股審也, Dominic Orchard, 佐藤哲也.
英文:	Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato.

言語

English

掲載誌/書名

和文:
英文:	Lecture Notes in Computer Scienece (LNCS)

巻, 号, ページ

Volume 2648 pp. 234-263

出版年月

2021年3月23日

出版者

和文:
英文:	Springer International Publishing

会議名称

和文:
英文:	30th European Symposium on Programming (ESOP 2021)

開催地

和文:
英文: