Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting

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]

@inproceedings{CengSHLAMB04,
  title = {Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting},
  author = {Jianjiang Ceng and Weihua Sheng and Manuel Hohenauer and Rainer Leupers and Gerd Ascheid and Heinrich Meyr and Gunnar Braun},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3133&spage=463},
  tags = {semantics, modeling, C++, compiler, process modeling},
  researchr = {https://researchr.org/publication/CengSHLAMB04},
  cites = {0},
  citedby = {0},
  pages = {463-473},
  booktitle = {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},
  editor = {Andy D. Pimentel and Stamatis Vassiliadis},
  volume = {3133},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22377-0},
}