Hierarchical control-flow model for system synthesis

被引：0
|
作者：
DIBE - Universita di Genova, Genova, Italy [1 ]
机构：
来源：
Alta Freq Riv Elettron | / 6卷 / 37-40期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Control-Flow Analysis of Functional Programs
    Midtgaard, Jan
    ACM COMPUTING SURVEYS, 2012, 44 (03)
  • [22] Survey on Control-flow Integrity Techniques
    Zhang Z.
    Xue J.-F.
    Zhang J.-C.
    Chen T.
    Tan Y.-A.
    Li Y.-Z.
    Zhang Q.-X.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (01): : 489 - 508
  • [23] KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
    Criswell, John
    Dautenhahn, Nathan
    Adve, Vikram
    2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, : 292 - 307
  • [24] Pushdown Control-Flow Analysis for Free
    Gilray, Thomas
    Lyde, Steven
    Adams, Michael D.
    Might, Matthew
    Van Horn, David
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 691 - 704
  • [25] Tolerance of control-flow testing criteria
    Vilkomir, SA
    Kapoor, K
    Bowen, JP
    27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 182 - 187
  • [26] Control-Flow Integrity: Attacks and Protections
    Sayeed, Sarwar
    Marco-Gisbert, Hector
    Ripoll, Ismael
    Birch, Miriam
    APPLIED SCIENCES-BASEL, 2019, 9 (20):
  • [27] Control-flow analysis in cubic time
    Nielson, F
    Seidl, H
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 252 - 268
  • [28] ReCFA: Resilient Control-Flow Attestation
    Zhang, Yumei
    Liu, Xinzhi
    Sun, Cong
    Zeng, Dongrui
    Tan, Gang
    Kan, Xiao
    Ma, Siqi
    37TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, ACSAC 2021, 2021, : 311 - 322
  • [29] THE SEMANTICS OF SCHEME CONTROL-FLOW ANALYSIS
    SHIVERS, O
    SIGPLAN NOTICES, 1991, 26 (09): : 190 - 198
  • [30] Advanced control-flow and concurrency in C∀
    Delisle, Thierry
    Buhr, Peter A.
    SOFTWARE-PRACTICE & EXPERIENCE, 2021, 51 (05): : 1005 - 1042
12345