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
N1 - Publisher Copyright:
© 2014 ACM.
Copyright:
Copyright 2015 Elsevier B.V., All rights reserved.
PY - 2014
Y1 - 2014
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
T3 - ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
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
T2 - 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014
Y2 - 15 September 2014 through 19 September 2014
ER -