9626 search results - page 152 / 1926 » Invariant Based Programming |
118
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
134
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
138
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
153
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
150
click to vote
ML
2006
ACM
15 years 11 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...