Linguagem concurrent Contract-Java

Detalhes bibliográficos
Autor(a) principal: Barros, Pedro Loura
Data de Publicação: 2016
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10773/21754
Resumo: Resumo não disponivel
id RCAP_68b253e4d5879d4f2579fe1f6b544358
oai_identifier_str oai:ria.ua.pt:10773/21754
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 Linguagem concurrent Contract-JavaEngenharia de computadores e telemáticaProgramação orientada para o objectoLinguagem de programaçãoProgramação de computadoresResumo não disponivelThe goal of this thesis is the study on the integration of mechanisms from concurrent programming, objected-oriented languages, and Designby- Contract. We propose a new language, Concurrent Contract-Java (CCJava), that's an extension of Contract-Java, a language that has extended Java with Design-by-Contract language mechanisms. CCJava aims to ease object-oriented concurrent programming, ensuring safety (no race conditions will occur) and abstracting away lower level concurrent realizations such as the choice for shared object synchronization schemes. It reuses the semantics of Java mechanisms, together with the semantics of objects and Design-by-Contract constructs, providing simple and expressive language mechanisms for concurrency. CCJava guarantees all aspects of a shared object's concurrent utilization and thread creation, using only two new language keywords: shared, and remote. A compiler was developed implementing the more important language mechanisms, and used as a proof of concept of our proposalsUniversidade de Aveiro2018-01-24T10:24:39Z2016-12-21T00:00:00Z2016-12-21info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/21754TID:201934345porBarros, Pedro Lourainfo: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-02-22T11:42:43Zoai:ria.ua.pt:10773/21754Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:56:08.225945Repositó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 Linguagem concurrent Contract-Java
title Linguagem concurrent Contract-Java
spellingShingle Linguagem concurrent Contract-Java
Barros, Pedro Loura
Engenharia de computadores e telemática
Programação orientada para o objecto
Linguagem de programação
Programação de computadores
title_short Linguagem concurrent Contract-Java
title_full Linguagem concurrent Contract-Java
title_fullStr Linguagem concurrent Contract-Java
title_full_unstemmed Linguagem concurrent Contract-Java
title_sort Linguagem concurrent Contract-Java
author Barros, Pedro Loura
author_facet Barros, Pedro Loura
author_role author
dc.contributor.author.fl_str_mv Barros, Pedro Loura
dc.subject.por.fl_str_mv Engenharia de computadores e telemática
Programação orientada para o objecto
Linguagem de programação
Programação de computadores
topic Engenharia de computadores e telemática
Programação orientada para o objecto
Linguagem de programação
Programação de computadores
description Resumo não disponivel
publishDate 2016
dc.date.none.fl_str_mv 2016-12-21T00:00:00Z
2016-12-21
2018-01-24T10:24:39Z
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/10773/21754
TID:201934345
url http://hdl.handle.net/10773/21754
identifier_str_mv TID:201934345
dc.language.iso.fl_str_mv por
language por
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 Universidade de Aveiro
publisher.none.fl_str_mv Universidade de Aveiro
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_ 1799137615516008448

Registros relacionados