共 50 条
- [3] Simple Type-Based Alias Analysis for a VLIW Processor TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 102 - 113
- [6] Type-based analysis of neural ensembles COMPUTATIONAL NEUROSCIENCE: TRENDS IN RESEARCH, 1997, 1997, : 561 - 566
- [7] Type-Based Resource Analysis on Haskell ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (298): : 47 - 60
- [8] Type-based analysis of uncaught exceptions ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (02): : 340 - 377
- [9] Type-Based Analysis of PIN Processing APIs COMPUTER SECURITY - ESORICS 2009, PROCEEDINGS, 2009, 5789 : 53 - +
- [10] Type-Based Parametric Analysis of Program Families ICFP'14: PROCEEDINGS OF THE 2014 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2014, : 39 - 51