共 50 条
- [43] Lazy but Effective Functional Synthesis VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 92 - 113
- [44] Lazy Functional Incremental Parsing HASKELL'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN HASKELL SYMPOSIUM, 2009, : 49 - 60
- [47] A VARIATION OF KNOOP, RUTHING, AND STEFFENS LAZY CODE MOTION SIGPLAN NOTICES, 1993, 28 (05): : 29 - 38
- [49] VERY SIMPLE GENERATOR LANGUAGES RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1979, 13 (01): : 69 - 86
- [50] Adjoint code generator SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 52 (06): : 926 - 941