17 Jul O exame da época especial será no dia 21 de Setembro às 14h00 na sala 2206.

25 Jul As notas dos exames de recurso foram publicadas na secção de funcionamento. Os exames podem ser consultados na 3ª feira, dia 28 de Julho às 11h00 na sala DI 0.02. As orais para os alunos com notas de 8 e 9 serão no mesmo dia e sala às 14h00.

9 Jul A consulta dos testes será na sala DI 0.02.

Arquivo

Equipa docente

• Manuel Alcino Cunha
• José Bernardo Barros
• Maria João Frade

Avaliação

Os alunos devem escolher um dos seguintes métodos de avaliação:

Método A:

• Prova individual escrita com nota mínima de 8 valores (60%).
• Projecto prático desenvolvido em grupos de 2 alunos (30%).
• Participação nas aulas práticas (10%).
• Presença obrigatória nas aulas teórico-práticas.

Método B:

• Prova individual escrita com nota mínima de 10 valores (100%).

O método de avaliação A só é válido para alunos de primeira inscrição e que não se encontrem enquadrados pelos regimes especiais de frequência referidos no artigo 19º do RIAPA; no entanto, abrimos uma execpção para qualquer outro aluno desde que prescinda do direito de não ter frequência que lhe confere o artigo 9º do RIAPA. O método A só poderá ser escolhido uma vez: quem optar por este método este ano e não obtiver aprovação terá necessariamente que optar pelo método B no próximo ano e seguintes. Os turnos práticos a frequentar são diferentes conforme o método de avaliação escolhido.

Notas

• Notas dos projectos, participação, e faltas.
• Notas finais após a época de recurso.
• Notas da época especial.

Horário

Atendimento

Cálculo point-free

• Programação funcional usando combinadores.
• Álgebra da programação funcional: propriedades universais.
• Técnicas para eliminação de variáveis na definição de funções.

Padrões de recursividade

• Definição genérica de tipos de dados indutivos usando functores.
• Definição de funções recursivas usando folds e unfolds.
• Hilomorfismos: programação com estruturas de dados intermédias.
• Técnicas para eliminação de recursividade explícita usando padrões de recursividade.
• Cálculo com funções recursivas: fusão, tupling, etc.

Monads

• Motivação: funções parciais e o monad Maybe.
• Computações com estado.
• Definição formal de monad.

Enunciado do Projecto0708

Considere o seguinte tipo Haskell para representar uma linguagem de programação imperativa muito simples:

data Exp = Const Int 
         | Var String 
         | Add Exp Exp 
         | Sub Exp Exp

data Cond = Eq Exp Exp 
          | Gt Exp Exp

data Lang = Atrib String Exp 
          | If Cond Lang Lang 
          | While Cond Lang 
          | Seq Lang Lang

Na linguagem Lang seria possível escrever um programa para calcular o máximo de dois números da seguinte forma:

x = 3;
y = 4;
if (x>y) r = x else r = y;

Note que nesta linguagem não existe input/output, sendo o resultado de executar um programa o valor final das suas variáveis. As variáveis de um programa Lang são sempre do tipo inteiro. Em Haskell este programa seria representado pelo seguinte termo:

maximo :: Lang
maximo = Seq (Atrib "x" (Const 4)) $ 
         Seq (Atrib "y" (Const 3)) $ 
         If (Gt (Var "x") (Var "y")) (Atrib "r" (Var "x")) 
                                     (Atrib "r" (Var "y"))

Usando ciclos é possível escrever programas um pouco mais sofisticados, como por exemplo o seguinte que coloca em r o resultado de multiplicar x e y.

x = 4;
y = 3;
r = 0;
while (y>0) {r = r + x; y = y - 1}

Relembre a arquitectura Y86 que é leccionada nas disciplinas de Sistemas de Computação e Arquitectura de Computadores. A descrição simplificada desta arquitectura pode ser encontrada aqui.

É relativamente simples compilar programas escritos em Lang para esta arquitectura. Por exemplo, o seguinte programa em Y86 é um possível resultado de compilar o programa maximo.

  .pos 0
  irmovl stack, %esp
  jmp main
x:
  .long 0
y:
  .long 0
r:
  .long 0
main:
  irmovl 4, %eax
  irmovl x, %ecx
  rmmovl %eax, 0(%ecx)
  irmovl 3, %eax
  irmovl y, %ecx
  rmmovl %eax, 0(%ecx)
  irmovl x, %ecx
  mrmovl 0(%ecx), %ebx
  irmovl y, %ecx
  mrmovl 0(%ecx), %eax
  subl %eax, %ebx
  jle else
  irmovl x, %ecx
  mrmovl 0(%ecx), %eax
  irmovl r, %ecx
  rmmovl %eax, 0(%ecx)
  jmp fim
else:
  irmovl y, %ecx
  mrmovl 0(%ecx), %eax
  irmovl r, %ecx
  rmmovl %eax, 0(%ecx)
fim:
  halt
  .pos 0x100
stack:

Para que o programa acima possa executar na máquina Y86 tem que antes passar por um assembler, que o converte numa sequência de bytes pronta a carregar na memória. Cada instrução é codificada numa sequência de 1 a 6 bytes de acordo com o documento acima referido. Também é necessário converter a tags em endereços de memória absolutos, tendo em atenção não só o comprimento de cada instrução, mas também as directivas pos usadas.

Depois de passado pelo assembler, um programa está finalmente pronto a executar.

Logística

O projecto deverá ser realizado em grupos de 3 alunos. Toda a documentação (vulgo relatório) deve ser desenvolvida em literate Haskell ou afins (Haddock, lhs2TeX, ...).

Para ter aprovação no projecto é necessário executar no mínimo a tarefa 4 mais uma das 3 primeiras tarefas. A tarefa 5 vale 3 valores. Naturalmente, deverão sempre que possível usar monads na resolução das tarefas descritas.

O projecto deverá ser apresentado preferencialmente nos dias 12 e 13 de Maio à tarde. Opcionalmente, poderá ser apresentado no dia 7 de Maio também à tarde. A apresentação terá a duração de 30m. As folhas para marcação da apresentação serão disponibilizadas na recepção do departamento na semana de 7 a 11 de Abril. Não serão permitidas marcações fora deste período.

50 Recent Changes in TWiki Web retrieved at 16:32 (GMT)

See also: RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

Education/CP0809 Web Preferences

The following settings are web preferences of the Education.CP0809 web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Preferences Settings

These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.

Natural Skin configuration

• Set SKIN=nat

• Set SKINSTYLE = Plain
• Set STYLEBORDER = thin
• Set STYLEBUTTONS = off
• Set STYLESIDEBAR = left
• Set STYLEVARIATION = none
• Set STYLESEARCHBOX = off

• Set PAGETITLE= Cálculo de Programas

• Set NATWEBLOGO = Cálculo de Programas

• Set WEBCOPYRIGHT = Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

• List of topics of the Education/CP0809 web:
  • #Set WEBTOPICLIST = Changes | Index | Search | Go

• Web-specific background color: (Pick a lighter one of the StandardColors).
  • Set WEBBGCOLOR = #D0D0D0
  • Note: This setting is automatically configured when you create a web

• Image, URL and alternate tooltip text of web's logo.
  Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.

• Set WEBLOGOURL = WebHome
• Set WEBLOGOIMG =
• Set WEBLOGOALT = Cálculo de Programas

• List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/CP0809.Topic links.
  Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
  
  • Set SITEMAPLIST = on
  • Set SITEMAPWHAT = Cálculo de Programas
  • Set SITEMAPUSETO = Licenciatura em Engenharia Informática
  • Note: Above settings are automatically configured when you create a web

• Exclude web from a web="all" search: (Set to on for hidden webs).
  • Set NOSEARCHALL =
  • Note: This setting is automatically configured when you create a web

• Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
  • #Set NOAUTOLINK =
  • Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

• Default template for new topics for this web:
  • WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
  • TWiki.WebTopicEditTemplate: Site-level default topic template

• Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
  • Set WEBFORMS =

• Users or groups who are not / are allowed to view / change / rename topics in the Education/CP0809 web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
  • #Set DENYWEBVIEW =
  • #Set ALLOWWEBVIEW =
  • #Set DENYWEBCHANGE =
  • #Set ALLOWWEBCHANGE = TWikiAdminGroup
  • #Set DENYWEBRENAME =
  • #Set ALLOWWEBRENAME = TWikiAdminGroup

• Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
  • #Set ALLOWTOPICCHANGE = TWikiAdminGroup
  • Set ALLOWTOPICRENAME = TWikiAdminGroup

• Web preferences that are not allowed to be overridden by user or topic preferences:
  • Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Help on Preferences

• A preference setting is defined by:
  3 or 6 spaces * Set NAME = value
  Example:
  • Set WEBBGCOLOR = #FFFFC0
• A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
  
  • #Set DENYWEBCHANGE = UnknownUser
• Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
  • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
• The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
• You can introduce your own preferences variables and use them in your topics and templates.

Related Topics

• TWiki.TWikiPreferences, Main.TWikiPreferences - site-level preferences
• TWikiUsers - list of user topics. User topics can have optional user preferences
• TWikiVariables - list of common %VARIABLES%
• TWikiAccessControl - explains how to restrict access by users or groups

Tools

• Rename, move or delete this web:
  • Rename/move/delete web..., looking for references in all public webs - See also: ManagingWebs

Web Search

Search: \.*

Tópicos

• Apresentação
• Página principal
• Programa
• Funcionamento
• Calendário
• Material
• Projecto

Avisos