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 - 2014
Event29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 - Vasteras, Sweden
Duration: Sep 15 2014Sep 19 2014

Publication series

NameASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

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