871 search results - page 175 / 175 » Modular Design of Reactive Systems |
167
click to vote
POPL
2012
ACM
14 years 11 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...