共 50 条
- [23] Formal verification of an optimizing compiler MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 25 - 25
- [26] Formal verification of an optimizing compiler TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 1 - 1
- [28] Optimizing Complex Adaptive Systems INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2022, 22 (03): : 467 - 476
- [30] Integrated technology streamlines exploitation JOURNAL OF PETROLEUM TECHNOLOGY, 1997, 49 (01): : 42 - 44