共 50 条
- [4] BullFrog: Online Schema Evolution via Lazy Evaluation SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2021, : 194 - 206
- [5] An improvement in the code evaluation of flawed pipes PROCEEDINGS OF THE ASME PRESSURE VESSELS AND PIPING CONFERENCE 2007, VOL 1: CODES AND STANDARDS, 2007, 1 : 23 - 29
- [6] Verified Validation of Lazy Code Motion PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 316 - 326