Abstraction-aware verifying compiler for yet another MDD

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

Abstract

This paper rethinks both modularity and compilation in the light of abstraction between design and implementation. We propose a new compilation approach called abstraction-aware 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.

BibTeX

@inproceedings{Ubayashi-al:ASE14,
  author    = {Naoyasu Ubayashi and
               Di Ai and
               Peiyuan Li and
               Yu Ning Li and
               Shintaro Hosoai and
               Yasutaka Kamei},
  title     = {Abstraction-aware verifying compiler for yet another {MDD}},
  booktitle = {ASE},
  pages     = {557--562},
  publisher = {{ACM}},
  year      = {2014},
}

Abstraction-aware verifying compiler for yet another MDD

Abstract

Related papers