共 50 条
- [31] Termination analysis of higher-order functional programs PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 281 - 297
- [33] INTRODUCTION TO HIGHER-ORDER ANALYSIS OF THE ELECTROWEAK INTERACTION ACTA PHYSICA POLONICA B, 1986, 17 (12): : 1037 - 1084
- [36] Higher-order spectral analysis of complex signals SIGNAL PROCESSING, 2006, 86 (11) : 3321 - 3333
- [37] Modular Heap Analysis for Higher-Order Programs STATIC ANALYSIS, SAS 2012, 2012, 7460 : 370 - 387