3713 search results - page 96 / 743 » Constructing a Calculus of Programs |
119
click to vote
ITICSE
2003
ACM
15 years 8 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
118
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
122
click to vote
INFOSCALE
2006
ACM
15 years 9 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
134
click to vote
IWPC
2000
IEEE
15 years 7 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
130
click to vote
ICSM
1998
IEEE
15 years 7 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...