@inbook{f0dabd9bf81848e3887a4e141978810d,
title = "A programming language based analysis of operand forwarding",
abstract = "We outline a programming language based analysis of forwarding. Abstractions of processor behaviour are modelled as operational semantics for a language which captures the hardware resources for forwarding explicitly. Unsafe usage of the forwarding mechanism is eliminated by static semantics. These type systems may be linked to static program analysis frameworks but also characterise the instruction stream entering the datapath from other processor components.",
author = "Lennart Beringer",
year = "2003",
doi = "10.1007/978-3-540-39724-3_24",
language = "English (US)",
isbn = "354020363X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "270--276",
editor = "Daniel Geist and Enrico Tronci",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}