2231 search results - page 253 / 447 » Alternation as a programming paradigm |
171
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
209
click to vote
BIRTHDAY
2007
Springer
16 years 26 days ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
167
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
163
click to vote
SARA
2007
Springer
16 years 24 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
155
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...