Type-based alias analysis

被引：0
|
作者：
Stanford Univ, Stanford, CA, United States [1 ]
机构：
来源：
Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI | 1600年 / 106-117期
关键词：
Compendex;
D O I：
Proceedings of the 1998 Annual ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI
中图分类号：
学科分类号：
摘要：
Algorithms - Computational complexity - Computer programming languages - Computer simulation - Optimization - Redundancy - Response time (computer systems) - Sensitivity analysis - Storage allocation (computer)
引用
收藏
相关论文
共 50 条
  • [21] Type-Based HPSG Analysis of Arabic Verbal Declension
    Masum, Mahmudul Hasan
    Islam, Muhammad Sadiqul
    Rahman, M. Sohel
    Ahmed, Reaz
    2012 7TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (ICECE), 2012,
  • [22] Scaling Type-Based Points-to Analysis with Saturation
    Wimmer, Christian
    Stancu, Codrut
    Kozak, David
    Wurthinger, Thomas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
  • [23] Type-based analysis of deadlock for a concurrent calculus with interrupts
    Suenaga, Kohei
    Kobayashi, Naoki
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 490 - +
  • [24] Practical Program Modularization with Type-Based Dependence Analysis
    Lu, Kangjie
    2023 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, 2023, : 1256 - 1270
  • [25] Type-Based Amortized Resource Analysis with Integers and Arrays
    Hoffmann, Jan
    Shao, Zhong
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 152 - 168
  • [26] Type-based amortized resource analysis with integers and arrays
    Hoffmann, Jan
    Shao, Zhong
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2015, 25
  • [27] Type-Based Analysis of Generic Key Management APIs
    Adao, Pedro
    Focardi, Riccardo
    Luccio, Flaminia L.
    2013 IEEE 26TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2013, : 97 - 111
  • [28] Type-Based Cost Analysis for Lazy Functional Languages
    Steffen Jost
    Pedro Vasconcelos
    Mário Florido
    Kevin Hammond
    Journal of Automated Reasoning, 2017, 59 : 87 - 120
  • [29] Type-based Termination Analysis for Parsing Expression Grammars
    Cardoso, Elton M.
    Pereira, Daniel F.
    de Paula, Regina S. M. A.
    Reis, Leonardo V. S.
    Ribeiro, Rodrigo G.
    38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, 2023, : 1372 - 1379
  • [30] Type-Based Analysis for Session Inference (Extended Abstract)
    Spaccasassi, Carlo
    Koutavas, Vasileios
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), 2016, 9688 : 248 - 266
12345