707 search results - page 61 / 142 » Some Comments on the Coding of Programs |
102
click to vote
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
100
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
108
Voted
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
116
click to vote
SAC
2005
ACM
15 years 6 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
120
click to vote
PVM
1997
Springer
15 years 4 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...