Abstraction-aware verifying compiler for yet another mdd

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
PublisherAssociation for Computing Machinery, Inc
Pages557-562
Number of pages6
ISBN (Electronic)9781450330138
DOIs
Publication statusPublished - Jan 1 2014
Event29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 - Vasteras, Sweden
Duration: Sep 15 2014Sep 19 2014

Other

Other29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014
CountrySweden
CityVasteras
Period9/15/149/19/14

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Ubayashi, N., Ai, D., Li, P., Li, Y. N., Hosoai, S., & Kamei, Y. (2014). Abstraction-aware verifying compiler for yet another mdd. In ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (pp. 557-562). Association for Computing Machinery, Inc. https://doi.org/10.1145/2642937.2642952