FenixEdu™

Dissertação

ECMA-SL - A Platform for Specifying and Running the ECMAScript Standard EVALUATED

Detalhes: ECMAScript, vulgarmente conhecida como JavaScript, é uma das linguagens dinâmicas mais difundidas e é a linguagem de facto para aplicações web que se executam num browser. Devido à sua complexidade, ECMAScript é uma linguagem difı́cil de compreender pelos programadores e um alvo difı́cil para análises estáticas. Apresentamos ECMARef5, um interpretador de referência para ECMAScript que segue a versão 5.1 da linguagem linha-a-linha e que é testado com bastante pormenor usando Test262, a suite de testes oficial para ECMAScript. Para este fim, introduzimos a ECMA-SL: uma linguagem intermédia dedicada à análise e especificação de ECMAScript. Apresentamos também ECMA-SL2English, uma ferramenta para geração da versão em inglês do documento HTML do standard ECMAScript a partir da ECMARef5. O documento HTML resultante é comparado com o documento oficial, sendo os resultados analisados detalhadamente. Em comparação com outros interpretadores de referência existentes, a nossa abordagem facilita a passagem de uma descrição textual do standard para uma executável.
Keywords: ECMAScript, Linguagem de especificação, Interpretadores de referência, Linguagens dinâmicas, Test262, OCaml

Discussão: setembro 23, 2021, 16:30