315 search results - page 40 / 63 » Reasoning about Assignments in Recursive Data Structures |
153
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
185
click to vote
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
131
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
128
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
230
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...