A carregar...
Publicação
Verifying real-world software with contracts for concurrency
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 230.34 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
In this paper we present Contracts for Concurrency. A contract for concurrency specifies the protocol to access the services provided by a software module or library. A program that respects a (well-defined and complete) contract for a module is safe from high-level atomicity violations with respect to that module. On the other hand, violations of a contract may denote errors in the program, and the application of contracts for concurrency to some real-world open source software packages did uncover a few latent bugs.
Descrição
NOVA LINCS (UID/CEC/ 04516/2013) (FCT/MEC) in the framework of the HiPsTr research project (02/SAICT/2017– 032456)
Palavras-chave
Theoretical Computer Science General Computer Science
Contexto Educativo
Citação
Editora
Springer