Sciweavers

163
Voted
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
15 years 11 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