Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference

論文・著書情報

タイトル

和文:
英文:	Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference

著者

和文:	方玲, 佐々政孝.
英文:	Fang, L., Sassa, M..

言語

English

掲載誌/書名

和文:
英文:	Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)

巻, 号, ページ

Vol. 8 CD-ROM

出版年月

2009年3月

出版者

和文:
英文:

会議名称

和文:
英文:	Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)

開催地

和文:
英文:	York, Great Britain