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

Abstraction-aware verifying compiler for yet another mdd. / Ubayashi, Naoyasu; Ai, Di; Li, Peiyuan; Li, Yu Ning; Hosoai, Shintaro; Kamei, Yasutaka.

ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, 2014. p. 557-562.

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

Ubayashi, N, Ai, D, Li, P, Li, YN, 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. Association for Computing Machinery, Inc, pp. 557-562, 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, Sweden, 9/15/14. https://doi.org/10.1145/2642937.2642952
Ubayashi N, Ai D, Li P, Li YN, Hosoai S, Kamei Y. Abstraction-aware verifying compiler for yet another mdd. In ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc. 2014. p. 557-562 https://doi.org/10.1145/2642937.2642952
Ubayashi, Naoyasu ; Ai, Di ; Li, Peiyuan ; Li, Yu Ning ; Hosoai, Shintaro ; Kamei, Yasutaka. / Abstraction-aware verifying compiler for yet another mdd. ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, 2014. pp. 557-562
@inproceedings{7676e960c8044e4cb2e994f528d151f8,
title = "Abstraction-aware verifying compiler for yet another mdd",
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.",
author = "Naoyasu Ubayashi and Di Ai and Peiyuan Li and Li, {Yu Ning} and Shintaro Hosoai and Yasutaka Kamei",
year = "2014",
month = "1",
day = "1",
doi = "10.1145/2642937.2642952",
language = "English",
pages = "557--562",
booktitle = "ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Abstraction-aware verifying compiler for yet another mdd

AU - Ubayashi, Naoyasu

AU - Ai, Di

AU - Li, Peiyuan

AU - Li, Yu Ning

AU - Hosoai, Shintaro

AU - Kamei, Yasutaka

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84908613050&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84908613050&partnerID=8YFLogxK

U2 - 10.1145/2642937.2642952

DO - 10.1145/2642937.2642952

M3 - Conference contribution

AN - SCOPUS:84908613050

SP - 557

EP - 562

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

PB - Association for Computing Machinery, Inc

ER -