Jianjiang Ceng, Weihua Sheng, Manuel Hohenauer, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Gunnar Braun. Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting. In Andy D. Pimentel, Stamatis Vassiliadis, editors, Computer Systems: Architectures, Modeling, and Simulation, Third and Fourth International Workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings. Volume 3133 of Lecture Notes in Computer Science, pages 463-473, Springer, 2004. [doi]
Abstract is missing.