16190 search results - page 392 / 3238 » Applicative programming with effects |
114
click to vote
GRC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
133
click to vote
IJES
2007
15 years 4 months ago
2007
: Compiler support for power and energy management is effective in reducing power and energy consumption of programs. Compilers typically take single programs as input without the ...
139
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
161
click to vote
TLDI
2009
ACM
16 years 1 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...
129
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...