Type System for the ComponentJ Programming Language

Bibliographic Details
Main Author: Piriquito, Maria Margarida Lameira da Cunha
Publication Date: 2009
Format: Master thesis
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10362/2015
Summary: Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.
id RCAP_fcfe76bbdaa419f5402a0aa74ae4dc2d
oai_identifier_str oai:run.unl.pt:10362/2015
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Type System for the ComponentJ Programming LanguageComponent orientationType systemsDynamic reconfigurationSubtypingType inferenceDissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.With the constant evolution of software systems need arises for more structured implementations, where processes like software updates and changes in systems can be easily made, with no need to change what had previously been implemented. One possible solution to this problem is the use of component-based programming languages. This kind of programming languages tries to promote not only code reuse but also a black-box discipline where it is not needed how a service is implemented, but only its interface so that it can be used. The ComponentJ programming language seeks to provide a simple way to perform component creation and composition, making this new programming paradigm somewhat easy to use. Because ComponentJ is meant to be an extension to the Java programming language it becomes possible to implement components using the whole expressiveness of this language. It is also possible, in ComponentJ, to dynamically change components and the object structure based on runtime decisions. This dynamic reconfiguration process allows, for instance, to perform changes/updates to a certain software system without having to stop its execution. The goal for this project is to implement a type system for the ComponentJ programming language, based on the work presented in [32, 28]. Type verification is syntax driven, and uses structural equivalence of types. Advanced techniques such as subtyping and type inference are also included in order to make the language more flexible. Besides the static type checker, a dynamic checker is also included, allowing the type safe application of runtime changes to the system (dynamic reconfiguration of objects) before their application.FCT - UNLSeco, JoãoRUNPiriquito, Maria Margarida Lameira da Cunha2009-07-28T10:45:41Z20092009-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/2015enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-22T17:06:39Zoai:run.unl.pt:10362/2015Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T16:37:50.082211Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Type System for the ComponentJ Programming Language
title Type System for the ComponentJ Programming Language
spellingShingle Type System for the ComponentJ Programming Language
Piriquito, Maria Margarida Lameira da Cunha
Component orientation
Type systems
Dynamic reconfiguration
Subtyping
Type inference
title_short Type System for the ComponentJ Programming Language
title_full Type System for the ComponentJ Programming Language
title_fullStr Type System for the ComponentJ Programming Language
title_full_unstemmed Type System for the ComponentJ Programming Language
title_sort Type System for the ComponentJ Programming Language
author Piriquito, Maria Margarida Lameira da Cunha
author_facet Piriquito, Maria Margarida Lameira da Cunha
author_role author
dc.contributor.none.fl_str_mv Seco, João
RUN
dc.contributor.author.fl_str_mv Piriquito, Maria Margarida Lameira da Cunha
dc.subject.por.fl_str_mv Component orientation
Type systems
Dynamic reconfiguration
Subtyping
Type inference
topic Component orientation
Type systems
Dynamic reconfiguration
Subtyping
Type inference
description Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.
publishDate 2009
dc.date.none.fl_str_mv 2009-07-28T10:45:41Z
2009
2009-01-01T00:00:00Z
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/2015
url http://hdl.handle.net/10362/2015
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 FCT - UNL
publisher.none.fl_str_mv FCT - UNL
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833596066272903168

Similar Items