Nelma Moreira

... all those moments will be lost, in time, like tears in rain.

Práticas

Prática 1 - 20/09/2022

Conceitos e Paradigmas de Linguagens de Programação

Bibliografia e Ligações

PLOS: Cap 1
CLP: Cap1-3

Prática 2 - 27/09/2022

Grafos de programa e semântica simples da linguagem de comandos guardados

Bibliografia e Ligações

FM: Cap 1 e 2
SWA: Cap 1

Formal Methods Learning Environment

Prática 3 - 4/10/2022

Semânticas natural e operacional estrutural para a linguagem While

Bibliografia e Ligações

SWA: Cap 2
Tabelas das regras semânticas

Prática 4- 11/10/2022

Semânticas naturais para a linguagem Proc

Bibliografia e Ligações

SWA: Cap 3.2

Prática 5- 18/10/2022

Máquina abstracta AM para a linguagem While

Bibliografia e Ligações

SWA: Cap 4

Prática 6- 24/10/2022

Primeiro Teste

Prática 7- 8/11/2022

Introdução ao lambda-calculus e sistema de tipos simples. Conceitos básicos de linguagens funcionais

Bibliografia e Ligações

https://plato.stanford.edu/entries/lambda-calculus/
https://en.wikipedia.org/wiki/Lambda_calculus
https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus
https://brilliant.org/wiki/lambda-calculus/
The programming languages zoo
https://www.haskell.org
https://en.wikibooks.org/wiki/Haskell
http://learnyouahaskell.com/

Prática 8- 15/11/2022

Sistema de tipos e semânticas operacionais da linguagem funcional SFUN

Bibliografia e Ligações

PLOS Cap. 6.1-6.3

Prática 9- 22/11/2022

Sistema de tipos e semânticas operacionais da linguagem funcional FUN

Bibliografia e Ligações

PLOS Cap. 6.4

CSPL Cap 3

Prática 10 - 29/11/2022

Conceitos básicos de linguagens funcionais usando o Haskell. Implementação das semânticas operacionais em Haskell

Bibliografia e Ligações

https://www.haskell.org
https://en.wikibooks.org/wiki/Haskell
http://learnyouahaskell.com/

Prática 11-6/12/2022

Semântica da Programação em Lógica

Bibliografia e Ligações

PLOS Cap. 7,8
Prolog
Lógica Computacional Cap. 4
Foundations of logic programming