871 search results - page 175 / 175 » Modular Design of Reactive Systems |
POPL
2012
ACM
12 years 27 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...