{"id":744,"date":"2018-07-16T15:35:00","date_gmt":"2018-07-16T18:35:00","guid":{"rendered":"https:\/\/wp.ufpel.edu.br\/notcc\/?p=744"},"modified":"2018-07-16T15:35:00","modified_gmt":"2018-07-16T18:35:00","slug":"banca-de-tcc-erico-alves-grehs","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/notcc\/banca-de-tcc-erico-alves-grehs\/","title":{"rendered":"Banca de TCC – \u00c9rico Alves Grehs"},"content":{"rendered":"

UNIVERSIDADE FEDERAL DE PELOTAS<\/strong>
\n CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO<\/strong>
\n TRABALHO DE CONCLUS\u00c3O DE CURSO<\/strong><\/p>\n

Apresenta\u00e7\u00f5es Finais (2018\/1)<\/p>\n

Um Compilador para Featherweight Java e sua Extens\u00e3o com Interfaces
\npor
\n\u00c9rico Alves Grehs\n<\/p>\n

Curso:
\nCi\u00eancia da Computa\u00e7\u00e3o<\/p>\n

Banca:
\nProf. Andr\u00e9 Rauber Du Bois (orientador(a))
\nProf. Samuel da Silva Feitosa
\nProf. Rafael Iankowski Soares<\/p>\n

Data: 25 de julho de 2018<\/p>\n

Hora: 13:30<\/p>\n

Local: Sala 120<\/p>\n

Resumo do Trabalho:\n<\/p>\n

Java \u00e9 uma linguagem de programa\u00e7\u00e3o utilizada por milh\u00f5es de pessoas diariamente, em universidades, empresas e ind\u00fastrias. Para atender novas demandas e a r\u00e1pida evolu\u00e7\u00e3o do setor tecnol\u00f3gico, a linguagem deve adicionar novas funcionalidades. Por ser uma linguagem extensa e complexa, \u00e9 trabalhoso fazer provas formais de propriedades do Java. O Featherweight Java \u00e9 um modelo formal m\u00ednimo do Java que mant\u00e9m a sua identidade. Por serem linguagens equivalentes, as funcionalidades implementadas, e provadas, em Featherweight Java podem ser transportadas para o Java. Como exemplo desta t\u00e9cnica, tem-se os tipos gen\u00e9ricos, que foram desenvolvidos no modelo formal m\u00ednimo e, ap\u00f3s, foram validados e implementados em Java. O Featherweight Java possui um grande potencial de explora\u00e7\u00e3o, pois sua simplicidade possibilita a extens\u00e3o e prova de novas funcionalidades, al\u00e9m de ser ponto de partida para linguagens que estendem o Java. O objetivo principal deste trabalho \u00e9 desenvolver um compilador para Featherweight Java que gerar\u00e1 em bytecode para ser executado na M\u00e1quina Virtual do Java. Isto possibilitar\u00e1 que os programas em Featherweight Java possam ser executados e testados, e seus resultados sejam analisados de forma did\u00e1tica, al\u00e9m disso, ser\u00e1 poss\u00edvel estender novas funcionalidades ao compilador, aumentando sua \u00e1rea de atua\u00e7\u00e3o. Para exemplificar isto, este trabalho visa, tamb\u00e9m estender o compilador com interfaces, tanto de maneira formal, como pr\u00e1tica. Assim novos exemplos de programas mais complexos pode ser criados e testados, al\u00e9m de que novas propriedades podem ser provadas com esta extens\u00e3o.
\nPara mais informa\u00e7\u00f5es acesse: http:\/\/wp.ufpel.edu.br\/notcc\/bancas\/historico\/2018_1\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO TRABALHO DE CONCLUS\u00c3O DE CURSO Apresenta\u00e7\u00f5es Finais (2018\/1) Um Compilador para Featherweight Java e sua Extens\u00e3o com Interfaces por \u00c9rico Alves Grehs Curso: Ci\u00eancia da Computa\u00e7\u00e3o Banca: Prof. Andr\u00e9 Rauber Du Bois (orientador(a)) Prof. Samuel da Silva Feitosa Prof. Rafael Iankowski Soares Data: 25 de julho de […]<\/p>\n","protected":false},"author":800,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-744","post","type-post","status-publish","format-standard","hentry","category-bancas"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts\/744","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/users\/800"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/comments?post=744"}],"version-history":[{"count":2,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts\/744\/revisions"}],"predecessor-version":[{"id":747,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts\/744\/revisions\/747"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/media?parent=744"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/categories?post=744"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/tags?post=744"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}