Sciweavers

12 search results - page 3 / 3
» Eliminating Dead Code on Recursive Data
Sort
View

Book
301views
16 years 7 months ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper
ISLPED
1997
ACM
108views Hardware» more  ISLPED 1997»
15 years 1 months ago
Techniques for low energy software
The energy consumption of a system depends upon the hardware and software component of a system. Since it is the software which drives the hardware in most systems, decisions take...
Huzefa Mehta, Robert Michael Owens, Mary Jane Irwi...