共 50 条
- [1] Test Generation for Higher-Order Functions in Dynamic Languages [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [3] Higher-Order Test Generation [J]. PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 258 - 269
- [4] Static and dynamic processor allocation for higher-order concurrent languages [J]. TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 590 - 604
- [5] Environmental Bisimulations for Higher-Order Languages [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 33 (01):
- [6] Coinductive techniques for higher-order languages [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 1 - +
- [8] Environmental bisimulations for higher-order languages [J]. 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 293 - +
- [9] Higher-Order Operator Precedence Languages [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (252): : 86 - 100
- [10] GENERATION AND EVALUATION OF HIGHER-ORDER PLASMA DIELECTRIC FUNCTIONS BY COMPUTER [J]. BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1973, 18 (10): : 1278 - 1278