On the Role of Non-functional Properties in Compiler Verification

被引：0

作者：

Knoop, Jens ^{[1
]}

Zimmermann, Wolf ^{[2
]}

机构：

[1] TU Wien, Inst Comp Sprachen, A-1040 Vienna, Austria

[2] Martin-Luther Univ Halle-Wittenberg, Dept Informat, D-06099 Halle, Germany

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II | 2010年 / 6416卷

关键词：

D O I：

10.1007/978-3-642-16561-0_46

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Works on compiler verification rarely consider non-functional properties such as time and memory consumption. This article shows that there are situations where the functional correctness of a compiler depends on non-functional properties; non-functional properties that are imposed by the target architecture, not the application. We demonstrate that this demands for an extended new notion of compilation correctness.

引用

页码：491 / +

页数：3

共 50 条

[21] Functional and non-functional properties in a family of embedded operating systems
Lohmann, D
Schröder-Preikschat, W
Spinczyk, O
WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 413 - 420
[22] Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems
Ahmad, Manzoor
Belloir, Nicolas
Bruel, Jean-Michel
JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 107 : 50 - 70
[23] On Describing and Ranking Services based on Non-Functional Properties
Toma, Ioan
Roman, Dumitru
Fensel, Dieter
NWESP 2007: THIRD INTERNATIONAL CONFERENCE ON NEXT GENERATION WEB SERVICES PRACTICES, PROCEEDINGS, 2007, : 61 - 66
[24] Assessment Of Non-Functional Properties For E-services
Al-Dabbous, Naelah
Abdulsalam, Hanady
Al Dallal, Jehad
JOURNAL OF ENGINEERING RESEARCH, 2018, 6 (04):
[25] Capturing Non-functional Properties through Model Interlinking
Noorian, Mahdi
Bagheri, Ebrahim
Du, Weichang
2014 IEEE 27TH CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2014,
[26] Optimization of non-functional properties in Internet of Things applications
Xuan Thang Nguyen
Huu Tam Tran
Baraki, Harun
Geihs, Kurt
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2017, 89 : 120 - 129
[27] A software development process supporting non-functional properties
Röttger, S
Zschaler, S
Proceedings of the IASTED International Conference on Software Engineering, 2004, : 202 - 205
[28] Non-functional phosphorylations?
Lienhard, Gustav E.
TRENDS IN BIOCHEMICAL SCIENCES, 2008, 33 (08) : 351 - 352
[29] A survey on cloud federation architectures: Identifying functional and non-functional properties
Assis, M. R. M.
Bittencourt, L. F.
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016, 72 : 51 - 71
[30] Integrating non-functional properties to architecture specification and analysis
Zhang, Shifeng
Third International Conference on Information Technology: New Generations, Proceedings, 2006, : 112 - 117

← 1 2 3 4 5 →