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 条
  • [1] Verification of non-functional properties of a composable architecture with Petrinets
    Richling, J
    Popova-Zeugmann, L
    Werner, M
    FUNDAMENTA INFORMATICAE, 2002, 51 (1-2) : 185 - 200
  • [2] Type-Driven Verification of Non-functional Properties
    Brown, Christopher
    Barwell, Adam D.
    Marquer, Yoann
    Minh, Celine
    Zendra, Olivier
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [3] Enforcement FSMs - Specification and Verification of Non-Functional Properties of Program Executions on MPSoCs
    Esper, Khalil
    Wildermann, Stefan
    Teich, Juergen
    2021 19TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2022, : 21 - 31
  • [4] Understanding multidimensional verification: Where functional meets non-functional
    Lai, Xinhui
    Balakrishnan, Aneesh
    Lange, Thomas
    Jenihhin, Maksim
    Ghasempouri, Tara
    Raik, Jaan
    Alexandrescu, Dan
    MICROPROCESSORS AND MICROSYSTEMS, 2019, 71
  • [5] Towards Multidimensional Verification: Where Functional Meets Non-Functional
    Jenihhin, Maksim
    Lai, Xinhui
    Ghasempouri, Tara
    Raik, Jaan
    2018 IEEE NORDIC CIRCUITS AND SYSTEMS CONFERENCE (NORCAS): NORCHIP AND INTERNATIONAL SYMPOSIUM OF SYSTEM-ON-CHIP (SOC), 2018,
  • [6] Verification of Functional and Non-functional Requirements of Web Service Composition
    Chen, Manman
    Tan, Tian Huat
    Sun, Jun
    Liu, Yang
    Pang, Jun
    Li, Xiaohong
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 313 - 328
  • [7] Model-based verification of quantitative non-functional properties for software product lines
    Ghezzi, Carlo
    Sharifloo, Amir Molzam
    INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (03) : 508 - 524
  • [8] A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation
    Xu Biao
    Lu Minyan
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, INFORMATION AND MEDICINE (EMIM 2015), 2015, 8 : 738 - 754
  • [9] CDLVT: A Formal Verification Tool of Non-Functional Properties for WS-CDL specification
    Rebai, Sirine
    Kacem, Hatem Hadj
    Karaa, Mohamed
    Pomares, Saul E.
    Kacem, Ahmed Hadj
    2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 191 - 196
  • [10] Are "Non-functional" Requirements really Non-functional?
    Eckhardt, Jonas
    Vogelsang, Andreas
    Fernandez, Daniel Mendez
    2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, : 832 - 842
12345