共 50 条
- [1] Control Generation for QR Decomposition based on the Polytope Model [J]. 2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 481 - 486
- [2] Code generation using an orthogonal model [J]. Software - Practice and Experience, 1990, 20 (03) : 301 - 320
- [3] Framework for model transformation and code generation [J]. SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2002, : 181 - 189
- [4] Verified Code Generation for the Polyhedral Model [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
- [5] CODE GENERATION USING AN ORTHOGONAL MODEL [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (03): : 301 - 320
- [6] GENERATION OF ADMISSIBLE BOUNDARY OF A CONVEX POLYTOPE [J]. OPERATIONS RESEARCH, 1974, 22 (01) : 151 - 159
- [8] Model-Driven Test Code Generation [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2011, 2013, 275 : 155 - 168
- [10] Metamodel code generation for a model driven architecture [J]. COMPUTERS AND THEIR APPLICATIONS, 2004, : 109 - 112