3713 search results - page 258 / 743 » Constructing a Calculus of Programs |
152
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
109
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
138
click to vote
ICPP
1998
IEEE
15 years 8 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
167
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
107
click to vote
GRC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...