4880 search results - page 311 / 976 » Manuals as Structured Programs |
132
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
162
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
154
click to vote
FOAL
2009
ACM
15 years 11 months 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...
148
Voted
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
135
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...