DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Dissertações de mestrado >
 Fundamentos matemáticos da programação funcional
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/3869

title: Fundamentos matemáticos da programação funcional
authors: Abreu, Alexandra Isabel Fernandes Espinha
advisors: Hofmann, Dirk
keywords: Matemática
Programação funcional
Cálculo lambda
Programação matemática
Computação matemática
Semântica de computadores
issue date: 2009
publisher: Universidade de Aveiro
abstract: O objectivo desta tese é estudar os contributos matemáticos que estiveram na origem da, agora tão falada, programação funcional. Este trabalho está organizado em duas fases. Numa primeira fase irá estudarse o cálculo-λ como sendo a primeira linguagem de programação funcional, especialmente no que diz respeito à notação utilizada por ela, e a sua contribuição nas ciências da computação. Na segunda fase irá estudar-se a linguagem de programação de funções computáveis, PCF, inicialmente desenvolvida por Dana Scott e posteriormente estudada por Gordon Plotkin. A sua sintaxe e outras propriedades serão alvo de estudo neste trabalho.

The aim of this thesis is to study the mathematical contributions that resulted in the functional programming. This work is organized in two phases. Initially it will examine the λ-calculus as the first functional programming language, especially in what concerns to the notation used by it and its contribution in the Computer Science. In the second phase it will study the programming language of computable functionals, PCF, originally developed by Dana Scott and later studied by Gordon Plotkin. Its syntax and other properties will be subject of study in this work.
description: Mestrado em Matemática
URI: http://hdl.handle.net/10773/3869
appears in collectionsMAT - Dissertações de mestrado
UA - Dissertações de mestrado

files in this item

file description sizeformat
4363.pdf453.03 kBAdobe PDFview/open
statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2