2004 search results - page 154 / 401 » Interaction nets: programming language design and implementa... |
215
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
162
click to vote
JSS
2008
15 years 6 months ago
2008
This paper focuses on the proposal, design, and implementation of AWL, the Adaptive Web Language. Also, an example application named PENS is explained and implemented in AWL. AWL ...
178
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
188
click to vote
ASPLOS
1992
ACM
15 years 10 months ago
1992
ACM
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match today's high-performance processors. While prefet...
176
click to vote
FOAL
2009
ACM
16 years 27 days ago
2009
ACM
Aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is cri...