Towards an extrinsic formalization of featherweight Java in Agda.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFeitosa, Samuel da Silva-
Autor(es): dc.creatorRibeiro, Rodrigo Geraldo-
Autor(es): dc.creatorBois, André Rauber Du-
Data de aceite: dc.date.accessioned2025-08-21T15:34:59Z-
Data de disponibilização: dc.date.available2025-08-21T15:34:59Z-
Data de envio: dc.date.issued2022-12-05-
Data de envio: dc.date.issued2022-12-05-
Data de envio: dc.date.issued2019-
Fonte completa do material: dc.identifierhttp://www.repositorio.ufop.br/jspui/handle/123456789/15837-
Fonte completa do material: dc.identifierhttps://doi.org/10.19153/cleiej.24.3.3-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1018926-
Descrição: dc.descriptionFeatherweight Java is one of the most popular calculi which specify object-oriented programming features. It has been used as the basis for investigating novel language functionalities, as well as to specify and understand the formal properties of existing features for languages in this paradigm. However, when considering mechanized formalization, it is hard to find an implementation for languages with complex structures and binding mechanisms as Featherweight Java. In this paper we formalize Featherweight Java, implementing the static and dynamic semantics in Agda, and proving the main safety properties for this calculus.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languageen-
Direitos: dc.rightsaberto-
Direitos: dc.rightsThis work is licensed under a Creative Commons Attribution 4.0 International License. Fonte: Clei Eletronic Journal. <http://www.clei.org/cleiej/index.php/cleiej/article/view/520>. Acesso em: 28 set. 2022.-
Palavras-chave: dc.subjectMechanized semantics-
Palavras-chave: dc.subjectType safety-
Título: dc.titleTowards an extrinsic formalization of featherweight Java in Agda.-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.