Dissertação
A Sound Type System for the Meta Language of the JavaScript Standard EVALUATED
JavaScript é a linguagem de programação mais utilizada para scripting do lado do cliente na world wide web e tem também ganho popularidade em outros tipos de aplicações através de Node.js. A complexidade da semântica do JavaScript torna-a um alvo difícil para análise estática. Consequentemente e de forma a auxiliar a análise e especificação de programas em JavaScript, foi desenvolvida uma nova linguagem intermédia não tipada denominada ECMA-SL. Nesta tese introduzimos a Typed ECMA-SL, uma versão tipada da ECMA-SL, juntamente com um sistema de tipos sensível ao fluxo para a linguagem. Definimos ainda duas semânticas operacionais, uma de grande passo e outra de pequeno passo, para a Typed ECMA-SL e provámos a correção do sistema de tipos proposto com respeito a ambas as semânticas.
dezembro 22, 2021, 14:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
José Faustino Fragoso Femenin dos Santos
Departamento de Engenharia Informática (DEI)
Professor Auxiliar
