共 50 条
- [22] Integrating discrete controller synthesis into a reactive programming language compiler Discrete Event Dynamic Systems, 2013, 23 : 385 - 418
- [23] A NEW METHODOLOGY FOR GENERATING TEST CASES FOR A PROGRAMMING LANGUAGE COMPILER SIGPLAN NOTICES, 1983, 18 (02): : 46 - 56
- [24] Randomised Testing of the Compiler for a Verification-Aware Programming Language 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024, 2024, : 407 - 418
- [26] An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language Programming and Computer Software, 2004, 30 : 295 - 302
- [27] A high level, algorithmic programming language and compiler for reconfigurable systems PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 135 - 141
- [28] Integrating discrete controller synthesis into a reactive programming language compiler DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (04): : 385 - 418
- [29] Teaching Reform of Advanced Programming Language Course and Its Effect Analysis CONFERENCE ON CREATIVE EDUCATION (CCE2011), 2011, : 20 - +
- [30] Design of a prototype programming language in spanish and its compiler through tools Jflex and Java']Java Cup 2017 IEEE 37TH CENTRAL AMERICA AND PANAMA CONVENTION (CONCAPAN XXXVII), 2017,