56 search results - page 1 / 12 » Complete Monitors for Behavioral Contracts |
123
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
101
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of t...
102
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
192
Voted
DLS
2009
15 years 11 days ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
109
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...