6381 search results - page 1152 / 1277 » Alternative Implementation of the C |
304
Voted
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
323
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
306
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
229
Voted
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...