共 50 条
- [31] CODACS prototype: CHIARA language and its compiler 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 864 - 870
- [32] IMPLEMENTATION OF A MASK VERIFICATION LANGUAGE AND ITS COMPILER IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1990, 137 (03): : 207 - 217
- [33] Conceptual Graphs as a Visual Programming Language for Teaching Programming 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2009, : 258 - 259
- [34] ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-cores 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 2813 - 2820
- [35] A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2017, 2018, 10795 : 200 - 217
- [36] A NEW METHODOLOGY FOR GENERATING TEST CASES FOR A PROGRAMMING LANGUAGE COMPILER - COMMENTS SIGPLAN NOTICES, 1983, 18 (12): : 6 - 7
- [37] My compiler really understands me: An adaptive programming language tutor ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, PROCEEDINGS, 2006, 4018 : 389 - 392
- [38] Kongruent - A Shader Language and Compiler for Efficient and Approachable GPU-Programming SERIOUS GAMES, JCSG 2024, 2025, 15259 : 142 - 154
- [39] Teaching programming language in grammar schools ANNALES MATHEMATICAE ET INFORMATICAE, 2009, 36 : 163 - 174