Nelma Moreira

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

Bibliografia

Semânticas

Stacks Image 167

(PLOS) Maribel Fernandez. Programming languages and operational semantics. 2014

Stacks Image 208

(SWA) Hanne Riis Nielson and Flemming Nielson; Semantics with applications.2007
Capítulos 1 a 4

Stacks Image 147

(FM) Flemming Nielson and Hanne Rils Nielson Formal methods. 2018
Capítulos: 1 e 2

Stacks Image 6953

(CSPL) Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge. Concepts and Semantics of Programming Languages: a semantical approach with Python and Ocaml . 2021
Capítulos 1 a 5

Principios de Programação (Complementar)

Stacks Image 6973

(PLDI)Torben A. Morgensen Programming Language Design and Implementation 2022. Springer

Stacks Image 116

Programação em Lógica (Complementar)

(CPL) Concepts of Programming Languages, 11th Edition
Robert W. Sebesta, University of Colorado, Colorado Springs.
2016

Lógica Computacional Cap 4
DCC-FCUP