Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/21754
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Silva, Miguel Augusto Mendes Oliveira e | pt |
dc.contributor.author | Barros, Pedro Loura | pt |
dc.date.accessioned | 2018-01-24T10:24:39Z | - |
dc.date.available | 2018-01-24T10:24:39Z | - |
dc.date.issued | 2016-12-21 | - |
dc.identifier.uri | http://hdl.handle.net/10773/21754 | - |
dc.description | Mestrado em Engenharia de Computadores e Telemática | pt |
dc.description.abstract | Resumo não disponivel | pt |
dc.description.abstract | The 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 proposals | pt |
dc.language.iso | por | pt |
dc.publisher | Universidade de Aveiro | pt |
dc.rights | openAccess | por |
dc.subject | Engenharia de computadores e telemática | pt |
dc.subject | Programação orientada para o objecto | pt |
dc.subject | Linguagem de programação | pt |
dc.subject | Programação de computadores | pt |
dc.title | Linguagem concurrent Contract-Java | pt |
dc.type | masterThesis | pt |
thesis.degree.level | mestrado | pt |
thesis.degree.grantor | Universidade de Aveiro | pt |
dc.identifier.tid | 201934345 | - |
Appears in Collections: | UA - Dissertações de mestrado DETI - Dissertações de mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Dissertação.pdf | 1.15 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.