4716 search results - page 601 / 944 » Tangible functional programming |
192
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
162
click to vote
IWMM
2007
Springer
16 years 25 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
204
Voted
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
172
Voted
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
216
click to vote
ACMMSP
2004
ACM
16 years 4 days ago
2004
ACM
Feedback-directed optimization has become an increasingly important tool in designing and building optimizing compilers. Recently, reuse-distance analysis has shown much promise i...