395 search results - page 58 / 79 » Program abstractions for behaviour validation |
115
click to vote
ICFP
2003
ACM
16 years 12 days ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
107
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
104
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
108
Voted
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
101
Voted
SMALLTALK
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...