Type-based protocol conformance and aliasing control in concurrent java programs
Autor(a) principal: | |
---|---|
Data de Publicação: | 2012 |
Tipo de documento: | Dissertação |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10362/8476 |
Resumo: | Dissertação para obtenção do Grau de Mestre em Engenharia Informática |
id |
RCAP_8ce5650f27f06f14a17e2a9dfc516308 |
---|---|
oai_identifier_str |
oai:run.unl.pt:10362/8476 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Type-based protocol conformance and aliasing control in concurrent java programsJavaVerificationType systemsConcurrencySpatial-behavioral typesDissertação para obtenção do Grau de Mestre em Engenharia InformáticaIn an object-oriented setting, objects are modeled by their state and operations. The programmer should be aware of how each operation implicitly changes the state of an object. This is due to the fact that in certain states some operations might not be available, e.g., reading from a file when it is closed. Additional care must be taken if we consider aliasing, since many references to the same object might be held and manipulated. This hinders the ability to identify the source of a modification to an object, thus making it harder to track down its state. These difficulties increase in a concurrent setting, due to the unpredictability of the behavior of concurrent programs. Concurrent programs are complex and very hard to reason about and debug. Some of the errors that arise in concurrent programs are due to simultaneous accesses to shared memory by different threads, resulting in unpredictable outcomes due to the possible execution interleavings. This kind of errors are generally known as race conditions. Software verification and specification are important in software design and implementation as they provide early error detection, and can check conformity to a given specification, ensuring some intended correctness properties. To this end, our work builds on the work of Spatial-Behavioral types formalism providing object ownership support. Our approach consists in the integration of a behavioral type system, developed for a core fragment of the Java programming language, in the standard Java development process.PTDC/EIA-CCO/104583/2008 research scholarshipFaculdade de Ciências e TecnologiaSeco, JoãoVieira, HugoRUNSilva, Sérgio António Inácio da2013-01-09T10:39:13Z20122012-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/8476enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T03:41:07Zoai:run.unl.pt:10362/8476Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:18:13.250981Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Type-based protocol conformance and aliasing control in concurrent java programs |
title |
Type-based protocol conformance and aliasing control in concurrent java programs |
spellingShingle |
Type-based protocol conformance and aliasing control in concurrent java programs Silva, Sérgio António Inácio da Java Verification Type systems Concurrency Spatial-behavioral types |
title_short |
Type-based protocol conformance and aliasing control in concurrent java programs |
title_full |
Type-based protocol conformance and aliasing control in concurrent java programs |
title_fullStr |
Type-based protocol conformance and aliasing control in concurrent java programs |
title_full_unstemmed |
Type-based protocol conformance and aliasing control in concurrent java programs |
title_sort |
Type-based protocol conformance and aliasing control in concurrent java programs |
author |
Silva, Sérgio António Inácio da |
author_facet |
Silva, Sérgio António Inácio da |
author_role |
author |
dc.contributor.none.fl_str_mv |
Seco, João Vieira, Hugo RUN |
dc.contributor.author.fl_str_mv |
Silva, Sérgio António Inácio da |
dc.subject.por.fl_str_mv |
Java Verification Type systems Concurrency Spatial-behavioral types |
topic |
Java Verification Type systems Concurrency Spatial-behavioral types |
description |
Dissertação para obtenção do Grau de Mestre em Engenharia Informática |
publishDate |
2012 |
dc.date.none.fl_str_mv |
2012 2012-01-01T00:00:00Z 2013-01-09T10:39:13Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10362/8476 |
url |
http://hdl.handle.net/10362/8476 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Faculdade de Ciências e Tecnologia |
publisher.none.fl_str_mv |
Faculdade de Ciências e Tecnologia |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799137828315070464 |