Sciweavers

SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
14 years 6 months ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft