469 search results - page 76 / 94 » Language and library support for practical PRAM programming |
119
click to vote
POPL
1993
ACM
15 years 3 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
106
click to vote
IASTEDSEA
2004
15 years 1 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
132
click to vote
NDSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...