(→Compiladores "Simple" e "Compact") |
(→Compilador Og (2019-2020) com a CDK16) |
||
| (25 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | {{ | + | {{PRJHEADER}} |
| − | |||
| − | |||
{{TOCright}} | {{TOCright}} | ||
<!--'''<font color="red">A DISPONIBILIZAR BREVEMENTE</font>'''--> | <!--'''<font color="red">A DISPONIBILIZAR BREVEMENTE</font>'''--> | ||
| − | == | + | == Compilador "Simple" == |
O compilador Simple exemplifica a utilização das bibliotecas de apoio. Este compilador suporta expressões básicas com inteiros, permite apresentá-los na saída e permite obtê-los a partir do utilizador. Permite ainda a apresentação de cadeias de caracteres. | O compilador Simple exemplifica a utilização das bibliotecas de apoio. Este compilador suporta expressões básicas com inteiros, permite apresentá-los na saída e permite obtê-los a partir do utilizador. Permite ainda a apresentação de cadeias de caracteres. | ||
| Line 12: | Line 10: | ||
O compilador faz uma gestão básica da utilização de variáveis declaradas (i.e., são declaradas na primeira atribuição). | O compilador faz uma gestão básica da utilização de variáveis declaradas (i.e., são declaradas na primeira atribuição). | ||
| − | |||
| − | |||
O código do compilador Simple pode ser obtido aqui: | O código do compilador Simple pode ser obtido aqui: | ||
| − | * Simple: [[media:simple- | + | * Simple: [[media:simple-202403010000.tar.bz2]] <!--(esta versão não inclui suporte para LLVM)--> |
A definição da linguagem Simple pode ser obtida por inspecção do código, especialmente estudando o léxico e a gramática. | A definição da linguagem Simple pode ser obtida por inspecção do código, especialmente estudando o léxico e a gramática. | ||
<!-- | <!-- | ||
{{Aviso|Note-se que a compilação de algumas versões do compilador Simple num ambiente que não o recomendado pode requerer a pré-instalação dos pacotes relativos ao LLVM. O ambiente recomendado já contém todas as dependências necessárias.}}--> | {{Aviso|Note-se que a compilação de algumas versões do compilador Simple num ambiente que não o recomendado pode requerer a pré-instalação dos pacotes relativos ao LLVM. O ambiente recomendado já contém todas as dependências necessárias.}}--> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Compilador "pf2asm" == | == Compilador "pf2asm" == | ||
| Line 35: | Line 25: | ||
Este compilador pode ser obtido aqui: | Este compilador pode ser obtido aqui: | ||
| − | * pf2asm: [[media:pf2asm- | + | * pf2asm: [[media:pf2asm-202403010000.tar.bz2]] |
{{Suggestion|Aconselha-se a consulta do [[Postfix Reference Guide|manual de referência da linguagem Postfix]].}} | {{Suggestion|Aconselha-se a consulta do [[Postfix Reference Guide|manual de referência da linguagem Postfix]].}} | ||
| − | == Compilador GR8 == | + | == Compilador Og (2019-2020) com CDK19 (2024) == |
| + | |||
| + | O compilador Og foi originalmente desenvolvido em 2020 sobre a CDK15, mas foi entretanto actualizado para a CDK19 (alterações de pormenor no sistema de tipos). A implementação está incompleta em algumas partes e pode conter alguns erros. Deixa-se como exercício a adaptação deste compilador para novas características. Note-se que a CDK15 tinha algumas especificidades que foram removidas de versões subsequentes. '''Recorda-se que em 2023-2024 é obrigatório o uso da CDK19'''. Og usa a RTS5. | ||
| + | |||
| + | * [[Compiladores/Projecto de Compiladores/Projecto 2019-2020/Manual de Referência da Linguagem Og|Especificação da linguagem Og]] | ||
| + | * Og - implementação (incompleta) [[media:og-202407150000.tar.bz2]] | ||
| + | * CDK16 - "Compiler Development Kit" [[media:libcdk19-202403010000.tar.bz2]] | ||
| + | * RTS5 - "Run Time System" [[media:librts5-202103031636.tar.bz2]] | ||
| + | |||
| + | == Compilador GR8 (2017-2018) com CDK13 == | ||
| − | O compilador GR8 foi desenvolvido em 2018 sobre a CDK13, continuando dependente dela. A implementação está incompleta em algumas partes e | + | O compilador GR8 foi desenvolvido em 2018 sobre a CDK13, continuando dependente dela. A implementação está incompleta em algumas partes e foram introduzidos alguns erros subtis no código (por forma a potenciar a aprendizagem do seu tratamento). Deixa-se como exercício a adaptação deste compilador para novas características e suporte para novas versões da CDK. Note-se que a CDK13 tinha algumas especificidades que foram removidas de versões subsequentes. '''Recorda-se que em 2022-2023 é obrigatório o uso da CDK18'''. Esta implementação de GR8 é ainda dependente da RTS4. '''Recorda-se que em 2022-2023 é obrigatório o uso da RTS5'''. |
* [[Compiladores/Projecto de Compiladores/Projecto 2017-2018/Manual de Referência da Linguagem GR8|Especificação da linguagem GR8]] | * [[Compiladores/Projecto de Compiladores/Projecto 2017-2018/Manual de Referência da Linguagem GR8|Especificação da linguagem GR8]] | ||
| Line 47: | Line 46: | ||
* CDK13 - "Compiler Development Kit" [[media:libcdk13-201802181144.tar.bz2]] | * CDK13 - "Compiler Development Kit" [[media:libcdk13-201802181144.tar.bz2]] | ||
* RTS4 - "Run Time System" [[media:librts4-201602111900.tar.bz2]] | * RTS4 - "Run Time System" [[media:librts4-201602111900.tar.bz2]] | ||
| + | |||
| + | == Compilador "Compact" (descontinuado -- utilizar o "Simple") == | ||
| + | |||
| + | O compilador Compact suportava uma versão primitiva da linguagem Simple, em que não havia necessidade de verificação de tipos, pois não era possível misturá-los. Esta opção, embora funcional, não é a mais elegante/flexível e foi removida no compilador Simple. Como consequência, em Simple é necessário verificar a coerência dos operadores e dos seus operandos relativamente aos tipos. Além disso, em Compact a atribuição era uma operação e não uma expressão. Em Simple, a atribuição é uma expressão e as noções de left-value e right-value estão definidas de forma mais elegante. | ||
| + | |||
| + | {{Aviso|O código do compilador Compact já não se encontra disponível a partir da CDK12.}} | ||
[[category:Projecto de Compiladores]] | [[category:Projecto de Compiladores]] | ||
[[category:Compiladores]] | [[category:Compiladores]] | ||
[[category:Ensino]] | [[category:Ensino]] | ||
| AVISOS - Avaliação em Época Normal |
|---|
|
Esclarecimento de dúvidas:
|
|
Requisitos para desenvolvimento, material de apoio e actualizações do enunciado (ver informação completa em Projecto de Compiladores):
|
|
Processo de avaliação (ver informação completa em Avaliação do Projecto):
|
| Material de Uso Obrigatório |
|---|
| As bibliotecas CDK e RTS de apoio ao desenvolvimento do projecto são de uso obrigatório: |
|
| A máquina virtual, fornecida para desenvolvimento do projecto, já contém todo o material de apoio. |
| Uso Obrigatório: Repositório GIT |
| Apenas se consideram para avaliação os projectos existentes no repositório GIT oficial. Apenas se considera para avaliação o ramo main.
Trabalhos não presentes no repositório no final do prazo têm classificação 0 (zero) (não são aceites outras formas de entrega). Não são admitidas justificações para atrasos em sincronizações do repositório. A indisponibilidade temporária do repositório, desde que inferior a 24 horas, não justifica atrasos na submissão de um trabalho. |
O compilador Simple exemplifica a utilização das bibliotecas de apoio. Este compilador suporta expressões básicas com inteiros, permite apresentá-los na saída e permite obtê-los a partir do utilizador. Permite ainda a apresentação de cadeias de caracteres.
Apesar de permitir estruturas de controlo, tais como ciclos while e instruções if-then-else, não permite a definição de funções e todas as variáveis são obrigatoriamente inteiras e globais.
O compilador faz uma gestão básica da utilização de variáveis declaradas (i.e., são declaradas na primeira atribuição).
O código do compilador Simple pode ser obtido aqui:
A definição da linguagem Simple pode ser obtida por inspecção do código, especialmente estudando o léxico e a gramática.
O compilador pf2asm permite escrever e compilar directamente código Postfix. É também um exemplo de uso do material de apoio. Este compilador é de utilização opcional (é independente da realização do projecto), mas pode ser útil para a realização de testes de protótipos de geração de código Postfix.
Este compilador pode ser obtido aqui:
O compilador Og foi originalmente desenvolvido em 2020 sobre a CDK15, mas foi entretanto actualizado para a CDK19 (alterações de pormenor no sistema de tipos). A implementação está incompleta em algumas partes e pode conter alguns erros. Deixa-se como exercício a adaptação deste compilador para novas características. Note-se que a CDK15 tinha algumas especificidades que foram removidas de versões subsequentes. Recorda-se que em 2023-2024 é obrigatório o uso da CDK19. Og usa a RTS5.
O compilador GR8 foi desenvolvido em 2018 sobre a CDK13, continuando dependente dela. A implementação está incompleta em algumas partes e foram introduzidos alguns erros subtis no código (por forma a potenciar a aprendizagem do seu tratamento). Deixa-se como exercício a adaptação deste compilador para novas características e suporte para novas versões da CDK. Note-se que a CDK13 tinha algumas especificidades que foram removidas de versões subsequentes. Recorda-se que em 2022-2023 é obrigatório o uso da CDK18. Esta implementação de GR8 é ainda dependente da RTS4. Recorda-se que em 2022-2023 é obrigatório o uso da RTS5.
O compilador Compact suportava uma versão primitiva da linguagem Simple, em que não havia necessidade de verificação de tipos, pois não era possível misturá-los. Esta opção, embora funcional, não é a mais elegante/flexível e foi removida no compilador Simple. Como consequência, em Simple é necessário verificar a coerência dos operadores e dos seus operandos relativamente aos tipos. Além disso, em Compact a atribuição era uma operação e não uma expressão. Em Simple, a atribuição é uma expressão e as noções de left-value e right-value estão definidas de forma mais elegante.