共 50 条
- [1] Source-to-source transformation in the large [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2789 : 254 - 265
- [2] PROGRAM IMPROVEMENT BY SOURCE-TO-SOURCE TRANSFORMATION [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 121 - 145
- [3] Automatic Sparsity Detection implemented as a source-to-source transformation [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 591 - 598
- [5] Source-to-Source Architecture Transformation for Performance Optimization in BIP [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 152 - 160
- [6] Cetus - An extensible compiler infrastructure for source-to-source transformation [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2004, 2958 : 539 - 553
- [7] Exhaustive Execution of CHR Through Source-to-Source Transformation [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 59 - 73
- [9] Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2013, 2014, 8901 : 145 - 163
- [10] Polyhedral Source-to-Source Compiler [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 458 - 463