6960 search results - page 137 / 1392 » Continuity Analysis of Programs |
201
click to vote
WCFLP
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
125
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
137
click to vote
SAS
2001
Springer
15 years 7 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
245
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
118
click to vote
ATVA
2009
Springer
15 years 9 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...