共 50 条
- [31] Compiler Construction: Foreword Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4420 LNCS
- [32] Natural Language Interface Construction Using Semantic Grammars PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE, 2008, 5351 : 728 - 739
- [34] THE EQUATIONAL SPECIFICATION OF EFFICIENT COMPILER CODE GENERATION COMPUTER LANGUAGES, 1991, 16 (01): : 81 - 95
- [35] Optimal partitioning of formal specification in protocol compiler Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, Vols 1and 2, 2004, : 829 - 832
- [36] SpecTest: Specification-Based Compiler Testing FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 269 - 291
- [38] jS']jShio - A customization language compiler-compiler OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 345 - 354
- [40] A Statecharts Interpreter and Compiler With Semantic Variability ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 722 - 727