6740 search results - page 495 / 1348 » Using Classification as a Programming Language |
129
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
138
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
139
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
123
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
141
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...