Índice

Notas

(Inclui já notas do exame)

Aqui

Programa Resumido

• Estudo de uma linguagem imperativa simples
  • Definição
  • Provas por indução
  • Semântica operacional: semântica de transições (estrutural, ou small-step) e semântica de avaliação (natural, ou big-step)
  • Equivalência semântica
  • Semântica axiomática

• O λ-calculus:
  • Definição
  • Redução, igualdade e normalização
  • O sistema de tipos simples. Tipos intrínsecos e extrínsecos
  • Estudo de uma linguagem de programação estrita. Semântica de avaliação
  • Estudo de uma linguagem de programação não-estrita. Semântica de avaliação

• Introdução à semântica denotacional

• Outros tópicos
  • Notas sobre linguagens realistas com características imperativas e funcionais (ISWIM, ALGOL)
  • Tratamento semântico dos arrays

Material de Apoio

• Slides (serão actualizados ao longo do semestre)

Bibliografia

Livros

• Reynolds, J.C. Theories of Programming Languages. Cambridge Univ. Press, 1998
• Winskel, G. The Formal Semantics of Programming Languages. MIT Press, 1993
• Hennessy, M. The Semantics of Programming Languages. Wiley, 1990 (disponível online aqui)

Textos

• Pitts A. M. Lecture Notes on Semantics of Programming Languages. Univ Cambridge, 1997-2002
• Mycroft A. Foundations of Functional Programming. Univ. Cambridge, 2007
• Winskel F. Lecture Notes on Denotational Semantics. Univ. Cambridge, 1997-2002

Avaliação

Terá as seguintes componentes:

• periódica, nas aulas TP, com peso de 20%
• teste ou exame, com peso de 80%

-- JorgeSousaPinto - 09 Mar 2009

[aqui aparecerá ... em devido tempo!]

-- LuisSoaresBarbosa - 08 Apr 2008

29 Junho As notas do teste estão disponíveis aqui.

25 Junho O teste realiza-se amanhã, dia 26 de Junho, às 10h, na sala 2207

18 Junho Estão disponíveis nesta página os sumários e guia das aulas (em versão definitiva). Este documento poderá ser consultado durante as provas de avaliação.

1 Junho Segunda-feira, dia 2 de Junho, NÃO haverá aulas. Motivo: participação do docente na reunião extraordinária da Assembleia da Universidade por convocação do Senhor Reitor.

6 Junho Notas práticas e do teste disponíveis nesta página.

2 Março Foi criado este tópico.

Programa

• Introdução. Sintaxe e semântica. Semântica Operacional, Denotacional e Axiomática.
• Esquemas de definição e prova por indução.
• Introdução à semântica operacional.
• Introdução à semântica denotacional e teoria dos domínios.
• Linguagens funcionais: $\lambda$-calculus e semânticas.

Luís Soares Barbosa

-- LuisSoaresBarbosa - 07 Apr 2008

50 Recent Changes in TWiki Web retrieved at 17:43 (GMT)

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

Education/SEM Web Preferences

The following settings are web preferences of the Education.SEM 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=Semântica da Programação

• Set NATWEBLOGO = Semântica da Programação

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

• List of topics of the Education/SEM 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 = http://wiki.di.uminho.pt/twiki/pub/Education/PeC/WebHome/petri.tiff
• Set WEBLOGOIMG =
• Set WEBLOGOALT = Semântica da Programação

• 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/SEM.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 = Semântica da Programação
  • Set SITEMAPUSETO = Licenciatura em Ciências da Computação
  • 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/SEM 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 = LuisSoaresBarbosa, JorgeSousaPinto
  • #Set DENYWEBRENAME =
  • Set ALLOWWEBRENAME = LuisSoaresBarbosa, JorgeSousaPinto

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

• 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: \.*

Avisos

Edicões

• 09/10
• 08/09
• 07/08
• 06/07

Create New Topic in Education/SEM Web

Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.