43 search results - page 4 / 9 » Automatic Conflict Detection on Contracts |
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
IPMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An important assessment in patients with ischemic heart disease is whether myocardial contractility may improve after treatment. The prediction of myocardial contractilit...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
SOQUA
2007
13 years 8 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...