Compiladores/Pautas 2017-2018/Pauta do Projecto: Entrega Intermédia

From Wiki**3

< Compiladores‎ | Pautas 2017-2018
Revision as of 12:34, 5 May 2018 by Root (talk | contribs) (→‎Pauta)
AVISOS - Avaliação em Época Normal

Esclarecimento de dúvidas:

  • Consultar sempre o corpo docente atempadamente: presencialmente ou através do endereço oficial da disciplina [1].
  • Não utilizar fontes de informação não oficialmente associadas ao corpo docente (podem colocar em causa a aprovação à disciplina).
  • Não são aceites justificações para violações destes conselhos: quaisquer consequências nefastas são da responsabilidade do aluno.

Requisitos para desenvolvimento, material de apoio e actualizações do enunciado (ver informação completa em Projecto de Compiladores):

  • O material de apoio é de uso obrigatório e não pode ser alterado.
  • Verificar atempadamente (mínimo de 48 horas antes do final de cada prazo) os requisitos exigidos pelo processo de desenvolvimento.

Processo de avaliação (ver informação completa em Avaliação do Projecto):

  • Datas: 2018/03/23 17:00 (inicial); 2018/04/20 17:00 (intercalar); 2018/05/21 17:00 (final); 2018/05/21-2018/05/25 (teste prático).
  • A entrega inicial, sendo crucial para o projecto, é obrigatória e sua não realização implica a exclusão da avaliação do projecto e, por consequência, da avaliação da disciplina.
  • Verificar atempadamente (até 48 horas antes do final de cada prazo) os requisitos exigidos pelo processo de avaliação, incluindo a capacidade de acesso ao repositório CVS.
  • Apenas se consideram para avaliação os projectos existentes no repositório CVS oficial.
  • 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.
  • A avaliação do projecto pressupõe o compromisso de honra de que o trabalho correspondente foi realizado pelos alunos correspondentes ao grupo de avaliação.
  • Fraudes na execução do projecto terão como resultado a exclusão dos alunos implicados do processo de avaliação em curso.
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 CVS
Apenas se consideram para avaliação os projectos existentes no repositório CVS oficial.

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.

Prazo de Revisão

PAUTA EM ACTUALIZAÇÃO

A entrega intermédia pode ser revista até à data da entrega final do projecto.

Critérios de Avaliação

LER COM ATENÇÃO

A entrega intermédia vale 6 valores em 20.

A avaliação é realizada sobre a versão existente no CVS no final do prazo para a entrega intermédia. Projectos que não apresentem alterações relativamente ao conteúdo inicial do repositório CVS ou relativamente à entrega inicial não serão considerados.

A avaliação da entrega intermédia considera a execução de intervenções em várias regiões do código do compilador em desenvolvimento, assim como a gestão do projecto correspondente.

Advertem-se os alunos sobre a consulta de colegas de anos anteriores. Estas consultas podem ser positivas, mas comportam algum risco, pois o processo e critérios de avaliação podem ter mudado. Além disso, a proficiência do colega pode majorar negativamente o resultado da avaliação em curso. Não são admitidas quaisquer justificações com base na história da disciplina.

Estas condições são aplicáveis à data da entrega intermédia.

Em caso de dúvidas suscitadas por qualquer elemento neste texto, no projecto, ou na disciplina em geral, os alunos são fortemente encorajados a consultar o corpo docente.

VALORAÇÕES

Existem 6 valores (dos 20 disponíveis para o projecto) associados a esta entrega:

  • gestão do projecto: 1 valor
    • projecto com a estrutura correcta no repositório CVS: 0.5 valores (i.e., código que não apresente a estrutura canónica de um compilador desenvolvido com a CDK é considerado sem a estrutura correcta -- consultar estas páginas sobre o desenvolvimento do projecto com base no repositório CVS)
    • projecto compila e produz compilador "gr8" ("gr8", com letras minúsculas: variações correspondem a "não compilação"): 0.5 valores

Se o projecto compilar, poderão ser atribuídos mais 5 valores (desenvolvimento do compilador), distribuídos como se segue:

  • Flex (completo): 1.5 valores
    • Tokens correspondentes aos símbolos e palavras chave (simples ajuste do Simple)
    • Identificadores (simples ajuste do Simple)
    • Inteiros (deve estar implementada a base 7 -- a base 10 já está implementada no Simple)
    • Reais (extensão dos inteiros)
    • Strings (extensão do Simple)
    • O Flex deve retornar os tokens ao byacc (sobre DEBUG, ver abaixo) -- o não retorno de tokens penaliza fortemente toda a componente Flex (ver penalizações)
  • BYACC (completo): 1 valor
    • Regras correspondentes a literais de reais e strings (simples extensão do Simple)
    • Regras correspondentes a ciclos, etc. (simples extensão e adaptação do Simple)
    • Regras correspondentes a declarações de variáveis
    • Regras correspondentes a declarações/definições de funções
    • As acções correspondentes às regras definidas no BYACC devem estar implementadas (simples criação de nós) -- a não implementação corresponde a penalizações (var abaixo)
  • Nós (nodes) (completo): 1 valor
    • Todos os nós necessários para a linguagem (utilizados na especificação BYACC e em passos subsequentes) devem ser criados
    • A não criação de nós motivada pela ausência de definição de acções no BYACC é penalizada (ver abaixo)
  • Semântica (visitors) (xml_writer completo; postfix_writer ver a seguir): 1.5 valores
    • O "visitor" xml_writer deve estar completamente implementado (ver também DEBUG abaixo)
    • O "visitor" type_checker deve ter todos os métodos (correspondentes aos nós, tal como o xml_writer), embora alguns possam estar ainda vazios (i.e., podem não executar qualquer acção)
    • O "visitor" postfix_writer deve ter todos os métodos (correspondentes aos nós, tal como o xml_writer), embora alguns possam estar ainda vazios (i.e., podem não executar qualquer acção)
    • Métodos correspondentes a acções semelhantes às existentes devem ser modelados nos existentes (mesmo que não modificados numa primeira instância)
    • A presença de implementações de semântica no postfix_writer (tabela de símbolos, validação de tipos, etc.) não é penalizada, mas não será avaliada nesta entrega
PENALIZAÇÕES

Existem penalizações relativas à (deficiente) execução do projecto.

São considerados os seguintes aspectos preliminares:

  1. A linguagem do projecto contém a linguagem Simple, pelo que não há razão para não utilizar completamente o compilador Simple, eventualmente com pequenas alterações.
  2. A semântica da linguagem do projecto contém a da linguagem Simple, pelo que a implementação de alguns aspectos da linguagem do projecto não requer qualquer reimplementação relativamente ao Simple.
  3. O compilador Simple foi fornecido completamente funcional, assim como a versão inicial do compilador do projecto no respositório CVS (igual ao Simple e apenas alterado para ter o nome apropriado).
  4. A criação de novos nós não apresenta quaisquer dificuldades (são classes muito simples)
  5. O código dos métodos do visitor xml_writer corresponde a uma simples impressão dos atributos dos nós, através de uma travessia da árvore que formam e que os contém.
  6. O compilador é obrigatoriamente desenvolvido em C++.

Considerando os aspectos 1. a 6., são aplicadas as seguintes penalizações:

  • Destruição de funcionalidade do compilador Simple sem substituição por funcionalidade equivalente do compilador do projecto: 4 valores

Não definição dos nós para regras BYACC em avaliação (ver acima) ou não utilização de nós definidos para a escrita dessas acções: 2 valores

  • A utilização de funções e estruturas C, quando existem alternativas directas C++ (malloc em lugar de new, por exemplo; strcmp, etc. em lugar da classe std::string; e outras) terá uma penalização máxima de 1 valor
  • Não utilização de qualquer material obrigatório: 6 valores (e considera-se projecto não realizado)

DEBUG

O despiste de problemas em especificações Flex pode ser realizado de forma simples utilizando os métodos descritos em How to Debug a Flex Specification.

O visitor xml_writer foi concebido para produzir uma representação textual hierárquica (árvore XML) correspondente ao programa em compilação. É muito útil para inspeccionar a contrução da árvore de nós por parte do BYACC, permitindo, inclusivamente, a apresentação gráfica.

Legenda

As questões relativas às colunas "Problemas" devem ser resolvidas quanto antes (nos horários de dúvidas ou, sendo possível, por correio electrónico).

Problemas na análise lexical
  • .* - uso indevido do padrão
  • bases - problemas com bases (em falta)
  • chars - definição indevida (não existem na linguagem)
  • comments - problemas com comentários (em excesso ou em falta)
  • floats - problemas com vírgula flutuante (definições incompletas)
  • ids - problems com identificadores
  • ints - problemas com inteiros (definições incompletas ou excessivas)
  • keywords - problemas com palavras chave (a mais ou a menos)
  • negative literals - problemas com valores negativos (não existem)
  • ops - problemas com operadores e afins
  • patterns - problemas genéricos com escrita de padrões lexicais
  • strings - problemas na definição de strings (composição, concatenação indevida, etc.)
  • types - problemas com definição de tipos (e.g., uso do mesmo token dos literais)
  • [outros] - casos específicos (contactar professor responsável)
Problemas na análise sintáctica
  • conflicts - conflitos no analisador LALR(1) (não avaliado nesta entrega)
  • decls - problemas nas declarações (e.g. mistura com expressões ou com instruções)
  • empty rules - regras sem semântica associada
  • exprs - problemas nas expressões (em falta ou com inclusão de casos errados)
  • funcalls - problemas nas chamadas a funções (e.g. não estão definidos como expressões)
  • funcs - problemas (vários) nas declarações/definições de funções
  • lvals - problemas na definição de left-values (e.g. ausência de definições ou incompletas)
  • precs - problemas na definição de precedências (tipicamente, em excesso ou sem correspondência com o manual)
  • tokens - problemas na definição de tokens (tipicamente, em excesso ou sem correspondência com o manual)
  • read - problemas na definição da expressão de leitura (verificar manual de referência)
  • semantics - problemas na definição de acções semânticas
  • (simple) - contém apenas a definição original (linguagem Simple)
  • strings - problemas na definção de cadeias de caracteres
  • syntax - problemas na definição da gramática ou na semântica (nó) correspondente (verificar manual de referência)
  • [outras anotações] - casos específicos (contactar professor responsável)
Problemas na análise semântica e na geração de código (nós e XML)

Nos nós:

  • lvals - problemas na definição ou uso de left-values
  • decls - problemas na definição de declarações/definições de funções/variáveis
  • read_node - uso de left-value no read_node (não é uma atribuição, pelo que não tem left-values); ou derivação de basic_node (mas deve ser uma expressão); ou derivação de unary_expression (mas não tem argumentos); ou remoção do nó
  • [outros nós] - nós com problemas (nós excedentários ou em falta ou com problemas na definição)
  • [outras anotações] - casos específicos (contactar professor responsável)

No visitor xml_writer:

  • ast - o método "ast" do compilador não foi chamado no parser (.y), pelo que a AST está indefinida
  • empty methods - métodos vazios ou funcionalmente vazios
  • [outras anotações] - casos específicos (contactar professor responsável)

Pauta

EM ACTUALIZAÇÃO

<runphp> echo<<<___EOT___

<colgroup width="70"></colgroup> <colgroup span="2" width="43"></colgroup> <colgroup width="37"></colgroup> <colgroup width="62"></colgroup> <colgroup width="37"></colgroup> <colgroup width="69"></colgroup> <colgroup width="37"></colgroup> <colgroup span="3" width="69"></colgroup> <colgroup width="38"></colgroup> <colgroup span="3" width="71"></colgroup> <colgroup width="38"></colgroup> <colgroup width="125"></colgroup> <colgroup width="38"></colgroup> <colgroup width="85"></colgroup> <colgroup width="82"></colgroup> <tbody> </tbody>
  Nota Total CVS Compilação
<a href="https://goo.gl/8VkE5k">https://goo.gl/8VkE5k</a>		 Análise Lexical Análise Sintáctica Nós Semântica OBS.
Número 6.00 6.00 0.50 Problemas 0.50 Problemas 1.50 Problemas (a mais) (a menos) 1.00 Problemas (a mais) (a menos) 1.00 Problemas 1.50 Problemas
001 1.25 1.25 1.00   0.00 (corrigido) 0.50 doubles, strings ops indent   conflicts              
002 1.38 1.38 1.00   1.00   0.25 strings, doubles, ints function patterns indent   conflicts              
003 2.13 2.13 1.00   1.00   0.75   \0, string ignore     conflicts              
004 1.75 1.75 1.00   1.00   0.50 keywords, doubles, strings   string special, indent   conflicts              
005 1.75 1.75 1.00   1.00   0.50 strings, doubles, ints ops, comments string special                  
006 1.38 1.38 1.00   1.00   0.25 strings, ints, idents ops, keywords, covfefe doubles, indent   conflicts              
007 1.38 1.38 1.00   1.00   0.25 strings, ints, idents, etc, (simple) ops, keywords indent, doubles, comments   conflicts              
008      
009 2.50 2.50 1.00   1.00   1.00 strings                      
010 2.13 2.13 1.00   1.00   0.75 doubles, strings       conflicts              
011 2.13 2.13 1.00   1.00   0.75 doubles, strings, idents \0, string ignore     conflicts              
012 1.75 1.75 1.00   1.00   0.50 strings, .* \0, string ignore, strings special     conflicts              
013 1.75 1.75 1.00   1.00   0.50 strings keywords, tCONTINUE, covfefe, \0, string ignore                    
014 2.13 2.13 1.00   1.00   0.75   elsif patterns, \0                    
015 2.13 2.13 1.00   1.00   0.75 doubles, strings, idents \0                    
016 1.75 1.75 1.00   1.00   0.50 doubles, strings, ints, idents \0, string ignore     conflicts              
017 1.75 1.75 1.00   1.00   0.50 doubles, strings keywords, comments, string concat idents, string specials   conflicts              
018 1.75 1.75 1.00   1.00   0.50 doubles tNILL, \0, string ignore     conflicts              
019 2.13 2.13 1.00   1.00   0.75 comments, ..., strings string concat, \0, string ignore     conflicts              
020 1.38 1.38 1.00   1.00   0.25 strings, ints ops doubles, indent, string specials, ints                  
021 2.13 2.13 1.00   1.00   0.75 idents \0, string ignore, \\                    
022 1.75 1.75 1.00   1.00   0.50 strings, ints, indent ops                    
023 NA sem entrega intermédia  
024 2.50 2.50 1.00   1.00   1.00         conflicts              
025 1.00 1.00 1.00   1.00             conflicts              
026 1.00 1.00 1.00   1.00       ops     conflicts              
027 1.00 1.00 1.00   1.00             conflicts              
028 1.00 1.00 1.00   1.00       keywords     conflicts              
029 1.00 1.00 1.00   1.00                            
030 1.00 1.00 1.00   1.00             conflicts              
031 1.00 1.00 1.00   1.00             conflicts              
032 0.50 0.50 1.00   0.00 (corrigido)           conflicts              
033 1.00 1.00 1.00   1.00                            
034 1.00 1.00 1.00   1.00             conflicts              
035 1.00 1.00 1.00   1.00             conflicts              
036 0.50 0.50 1.00   0.00 (corrigido)     ops, keywords                    
037 1.00 1.00 1.00   1.00             conflicts              
038      
039 1.00 1.00 1.00   1.00                            
040 1.00 1.00 1.00   1.00                            
041 1.00 1.00 1.00   1.00       ops, keywords                    
042 1.00 1.00 1.00   1.00             conflicts              
043      
044 1.00 1.00 1.00   1.00                            
045 1.00 1.00 1.00   1.00       ops                    
046 1.00 1.00 1.00   1.00       ops     conflicts              
047 1.00 1.00 1.00   1.00                            
048 1.00 1.00 1.00   1.00       ops, covfefe     conflicts              
049 1.00 1.00 1.00   1.00       ops     conflicts              
050 1.00 1.00 1.00   1.00             conflicts              
051 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
052 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
053 1.00 1.00 1.00   1.00                            
054 1.00 1.00 1.00   1.00                            
055 1.00 1.00 1.00   1.00             conflicts              
056 1.00 1.00 1.00   1.00     macro keywords     conflicts             scanner.h
057 1.00 1.00 1.00   1.00       keywords                    
058 1.00 1.00 1.00   1.00                            
059 1.00 1.00 1.00   1.00       ops     conflicts              
060 1.00 1.00 1.00   1.00                            
061 1.00 1.00 1.00   1.00       keywords     conflicts              
062 NA sem entrega intermédia  
063 1.00 1.00 1.00   1.00             conflicts              
064 1.00 1.00 1.00   1.00       ops     conflicts              
065 1.00 1.00 1.00   1.00       ops     conflicts              
066 1.00 1.00 1.00   1.00                            
067 1.00 1.00 1.00   1.00       covfefe     conflicts              
068 1.00 1.00 1.00   1.00                            
069 1.00 1.00 1.00   1.00       ops     conflicts              
070 1.00 1.00 1.00   1.00                            
071 1.00 1.00 1.00   1.00             conflicts              
072 1.00 1.00 1.00   1.00             conflicts              
073 1.00 1.00 1.00 errors.txt 1.00       ops, keywords     conflicts              
074 1.00 1.00 1.00   1.00             conflicts              
075 1.00 1.00 1.00   1.00             conflicts              
076 1.00 1.00 1.00   1.00                            
077 1.00 1.00 1.00   1.00                            
078 1.00 1.00 1.00   1.00             conflicts              
079 1.00 1.00 1.00   1.00       ops     conflicts              
080 1.00 1.00 1.00   1.00       keywords     conflicts              
081 1.00 1.00 1.00   1.00       ops     conflicts              
082 1.00 1.00 1.00   1.00             conflicts              
083 1.00 1.00 1.00   1.00       ops     conflicts              
084 1.00 1.00 1.00   1.00             conflicts              
085      
086 NA sem entrega intermédia  
087 1.00 1.00 1.00   1.00       covfefe     conflicts              
088 1.00 1.00 1.00   1.00             conflicts              
089 0.50 0.50 1.00 .project 0.00 não compila           conflicts              
090 1.00 1.00 1.00   1.00             conflicts              
091 1.00 1.00 1.00   1.00                            
092 1.00 1.00 1.00   1.00       ops     conflicts              
093 NA sem entrega intermédia  
094 1.00 1.00 1.00   1.00             conflicts              
095 1.00 1.00 1.00   1.00       ops     conflicts              
096 1.00 1.00 1.00   1.00                            
097 NA sem entrega intermédia  
098 1.00 1.00 1.00   1.00             conflicts              
099 1.00 1.00 1.00   1.00             conflicts              
100      
101 1.00 1.00 1.00   1.00       keywords     conflicts              
102 1.00 1.00 1.00   1.00       keywords     conflicts              
103 1.00 1.00 1.00   1.00             conflicts              
104 1.00 1.00 1.00   1.00             conflicts              
105 1.00 1.00 1.00   1.00       keywords                    
106 1.00 1.00 1.00   1.00             conflicts              
107 1.00 1.00 1.00   1.00       keywords                    
108 1.00 1.00 1.00   1.00                            
109 1.00 1.00 1.00   1.00       ops, keywords indent   conflicts              
110 1.00 1.00 1.00   1.00                            
111 1.00 1.00 1.00   1.00             conflicts              
112      
113 NA sem entrega intermédia  
114 1.00 1.00 1.00   1.00             conflicts              
115 1.00 1.00 1.00   1.00             conflicts              
116 1.00 1.00 1.00   1.00       ops     conflicts              
117 0.50 0.50 1.00   0.00 (corrigido)     ops     conflicts              
118 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
119 0.50 0.50 1.00   0.00 não compila     ops, keywords                    
120      
121 1.00 1.00 1.00   1.00                            
122 1.00 1.00 1.00   1.00             conflicts              
123 1.00 1.00 1.00   1.00                            
124      
125 1.00 1.00 1.00   1.00       ops                    
126 1.00 1.00 1.00   1.00             conflicts              
127 1.00 1.00 1.00   1.00             conflicts              
128 1.00 1.00 1.00   1.00       keywords     conflicts              
129 0.50 0.50 1.00   0.00 (corrigido)     ops     conflicts              
130 1.00 1.00 1.00   1.00             conflicts              
131 1.00 1.00 1.00   1.00                            
132 1.00 1.00 1.00   1.00       keywords     conflicts              
133 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
134 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
135 1.00 1.00 1.00   1.00       ops, keywords, covfefe     conflicts              
136 1.00 1.00 1.00   1.00             conflicts              
137 1.00 1.00 1.00   1.00                            
138 1.00 1.00 1.00   1.00       ops     conflicts              
139 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
140 1.00 1.00 1.00   1.00       ops, keywords     conflicts              
141      
142 1.00 1.00 1.00   1.00       keywords     conflicts              
143 1.00 1.00 1.00   1.00                            
144 0.50 0.50 1.00   0.00 não compila   (simple) (simple) (simple)                  
145 1.00 1.00 1.00   1.00             conflicts              
146 1.00 1.00 1.00   1.00   0.00 (simple) (simple) (simple)                  
147 NA sem entrega intermédia  
148 1.00 1.00 1.00   1.00             conflicts              
149 1.00 1.00 1.00   1.00             conflicts              
150 0.50 0.50 1.00   0.00 (corrigido)           conflicts              
151 1.00 1.00 1.00   1.00       ops     conflicts              
152 NA sem entrega intermédia  
153 1.00 1.00 1.00   1.00             conflicts              
154 1.00 1.00 1.00 .directory 1.00             conflicts              
155 1.00 1.00 1.00   1.00                            
156      
157 1.00 1.00 1.00   1.00             conflicts              
158      
159      
160      
161 1.00 1.00 1.00   1.00       ops     conflicts              
162      

___EOT___; </runphp>

Retrieved from "https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Compiladores/Pautas_2017-2018/Pauta_do_Projecto:_Entrega_Intermédia&oldid=9843"