9626 search results - page 62 / 1926 » Invariant Based Programming |
126
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
The aim of the contribution is the discussion of some types and classes of means on ordinal scales, especially kernel and shift invariant ordinal means, weighted ordinal means bas...
145
Voted
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
147
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
164
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
156
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...