891 search results - page 36 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
186
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
180
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
168
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
141
Voted
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
165
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...