共 50 条
- [11] Implementation of proof search in the imperative programming language pizza AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 313 - 319
- [12] FIPS - A FUNCTIONAL-IMPERATIVE LANGUAGE FOR EXPLORATIVE PROGRAMMING SIGPLAN NOTICES, 1993, 28 (05): : 39 - 48
- [13] Integrating a General Search Agent into an Imperative Programming Language 2021 IEEE FOURTH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING (AIKE 2021), 2021, : 54 - 61
- [14] THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 223 - 230
- [15] AN AUTOMATICALLY GENERATED, REALISTIC COMPILER FOR AN IMPERATIVE PROGRAMMING LANGUAGE SIGPLAN NOTICES, 1988, 23 (07): : 222 - 232
- [16] A Stratified View of Programming Language Parallelism for Undergraduate CS Education SIGCSE 12: PROCEEDINGS OF THE 43RD ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2011, : 81 - 82
- [17] Alma-0: An imperative language that supports declarative programming ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 1014 - 1066
- [18] Skil: An imperative language with algorithmic skeletons for efficient distributed programming PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE DISTRIBUTED COMPUTING, 1996, : 243 - 252
- [20] Toward a New Constraint Imperative Programming Language for Interactive Graphics COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16), 2016, : 34 - 35