共 50 条
- [4] Reliability of N-version programming software with testing effort [J]. International Journal of Reliability and Safety, 2020, 14 (04): : 229 - 251
- [5] The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 461 - 462
- [7] An extensible compiler for creating scriptable scientific software [J]. COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS, 2002, 2330 : 824 - 833
- [8] Programming languages and compiler design for realistic quantum hardware [J]. Nature, 2017, 549 : 180 - 187
- [10] OLC, On-Line Compiler to teach programming languages [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING: VIRTUAL LEARNING - VIRTUAL REALITY: MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 2007, : 283 - 290