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 条
  • [41] Analysis of Woman Garment Sleeve Type-based Influencing Factors
    SUN Renbao CHEN SuyingQingdao UniversityQingdao Shandong
    科技信息, 2013, (07) : 285 - 286+308
  • [42] Type-Based Taint Analysis for Java']Java Web Applications
    Huang, Wei
    Dong, Yao
    Milanova, Ana
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 140 - 154
  • [43] Type error slicing for type-based information flow analysis of imperative programs
    Kuwabara, Hiroaki
    Computer Software, 2010, 27 (04) : 221 - 227
  • [44] Type-based termination of generic programs
    Abel, Andreas
    SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (08) : 550 - 567
  • [45] Type-based detection for spread spectrum
    Lee, YK
    Johnson, DH
    Kelly, OE
    ICC'97: 1997 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS - TOWARDS THE KNOWLEDGE MILLENNIUM, CONFERENCE RECORD - VOLS 1-3, 1997, : 1212 - 1217
  • [46] Type-Based Termination with Sized Products
    Barthe, Gilles
    Gregoire, Benjamin
    Riba, Colin
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 493 - +
  • [47] Secure Type-Based Multiple Access
    Jeon, Hyoungsuk
    Hwang, Daesung
    Choi, Jinho
    Lee, Hyuckjae
    Ha, Jeongseok
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2011, 6 (03) : 763 - 774
  • [48] Implementing Type-Based Constructive Negation
    Lu, Lunjin
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1299 - 1306
  • [49] Type-based optimization for regular patterns
    Levin, MY
    Pierce, BC
    DATABASE PROGRAMMING LANGUAGES, 2005, 3774 : 184 - 198
  • [50] Type-based Search of Idiomatic Expression
    Busta, Jan
    RASLAN 2013: RECENT ADVANCES IN SLAVONIC NATURAL LANGUAGE PROCESSING, 2013, : 93 - 96
12345