Abstraction-aware verifying compiler for yet another mdd

Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

7 被引用数 (Scopus)

抄録

This paper rethinks both modularity and compilation in the light of abstraction between design and implementation. We propose a new compilation approach called abstractionaware verifying compiler, in which abstraction is the target of compilation. Both a design model and its code are inputted as the first-class software modules to the compiler.

本文言語英語
ホスト出版物のタイトルASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
出版社Association for Computing Machinery, Inc
ページ557-562
ページ数6
ISBN(電子版)9781450330138
DOI
出版ステータス出版済み - 1 1 2014
イベント29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 - Vasteras, スウェーデン
継続期間: 9 15 20149 19 2014

その他

その他29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014
Countryスウェーデン
CityVasteras
Period9/15/149/19/14

All Science Journal Classification (ASJC) codes

  • Software

引用スタイル