共 50 条
- [31] Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 787 - 811
- [32] Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude HLPP 11: PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING & APPLICATIONS, 2011, : 19 - 26
- [33] Meta3: a code generator framework for domain-specific languages SOFTWARE AND SYSTEMS MODELING, 2019, 18 (04): : 2421 - 2439
- [34] Meta3: a code generator framework for domain-specific languages Software & Systems Modeling, 2019, 18 : 2421 - 2439
- [35] Verified Validation of Lazy Code Motion PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 316 - 326
- [40] An Universal Resolving Algorithm for inverse computation of lazy languages PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 27 - +