3311 search results - page 160 / 663 » Deductive Object Programming |
111
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
103
Voted
SIGADA
1998
Springer
15 years 6 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
124
click to vote
EOR
2010
15 years 1 months ago
2010
We consider the unrelated parallel machines scheduling problem where jobs have earliness and tardiness penalties and a common due date. We formulate this problem and some of its v...
151
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...