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 条

[31] Compositional patterns of non-functional properties for contract negotiation
Université de Nice Sophia Antipolis - Laboratoire I3S, CNRS UMR 6070 Polytech Nice - Sophia, 930 Route des Colles, BP 145, F-06903 Sophia Antipolis, France
J. Softw., 2007, 2 (52-63):
[32] On the Relation of Variability Modeling Languages and Non-Functional Properties
Friesel, Daniel
Mueller, Michael
Ferraz, Matheus
Spinczyk, Olaf
26TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, SPLC 2022, VOL B, 2022, : 140 - 144
[33] A FRAMEWORK FOR MANAGING COMPONENTS USING NON-FUNCTIONAL PROPERTIES
Hufflen, Jean-Michel
KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2009, : 460 - 463
[34] On non-functional requirements
Glinz, Martin
15TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 21 - +
[35] NON-FUNCTIONAL STEREOTAXY
BACKLUND, EO
ACTA NEUROLOGICA SCANDINAVICA, 1985, 72 (01): : 75 - 75
[36] Non-functional computing: Towards a more scientific treatment to non-functional requirements
Cai, Kai-Yuan
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 493 - 494
[37] Reflux esophagitis, functional and non-functional
Bor, Serhat
BEST PRACTICE & RESEARCH CLINICAL GASTROENTEROLOGY, 2019, 40-41
[38] Ranking software components for reuse based on non-functional properties
Kessel, Marcus
Atkinson, Colin
INFORMATION SYSTEMS FRONTIERS, 2016, 18 (05) : 825 - 853
[39] Continuous Certification of Non-functional Properties Across System Changes
Anisetti, Marco
Ardagna, Claudio A.
Bena, Nicola
SERVICE-ORIENTED COMPUTING, ICSOC 2023, PT I, 2023, 14419 : 3 - 18
[40] On the treatment of non-functional properties of dynamic distributed software architectures
Rosa, NS
Cunha, PRF
Justo, GRR
PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2001, : 62 - 67

← 1 2 3 4 5 →