Prova. t ::= t t. t 1 t 4 t 2 t 3 (t 1 t 2 ) (t 3 t 4 ) (t 2 t 1 ) (t 4 t 3 )
|
|
- Bruna Fialho Brandt
- 5 Há anos
- Visualizações:
Transcrição
1 Sistema de Tipos - II/UFRGS 1 1. Marque verdadeiro ou falso: Prova ( ) A relação de avaliação small-step deve ser determinística (ou seja para qualquer termo deve existir somente uma maneira para ele progredir em um passo) para que o teorema da preservação seja verdadeiro. ( ) A propriedade de unicidade de tipo (ou seja, em um dado contexto, um termo deve ter no máximo um tipo T) deve ser verdadeira para que se possa provar o teorema da preservação para uma linguagem. ( ) Se o teorema da preservação é verdade para uma linguagem, removendo uma regras de tipo pode torná-lo falso. ( ) Se o teorema do progresso é verdadeiro para uma linguagem removendo uma regra de tipo pode torná-lo falso. ( ) No cálculo lambda tipado puro todo os termos fechados (ou seja, sem variáveis livres) ou vão divergir ou vão avaliar para uma valor. ( ) As regras algorítmicas para o cáculo lambda com subtipos possuem a propriedade de unicidade de tipos. ( ) As regras (não algorítmicas) para o cálculo lambda com subtipos possuem a propriedade de unicidade de tipos. 2. Considere a linguagem de termos dada pela gramática abaixo: t ::= t t Considere também a seguinte relação binária entre os termos dessa linguagem especificada pelas regras de inferência abaixo: (AX1) (AX2) t 1 t 4 t 2 t 3 (t 1 t 2 ) (t 3 t 4 ) (t 2 t 1 ) (t 4 t 3 ) (t 1 t 2 ) (t 3 t 4 ) (AMP1) (AMP2) (a) Construa uma derivação para ( ) ( ) (b) O conjunto de regras acima não é dirigido a sintaxe. Mostre uma derivação diferente da apresentada na questão anterior para: ( ) ( ) (c) Podemos remover exatamente uma regra e produzir uma relação que (i) é dirigida a sintaxe e (ii) é equivalente a relação anterior. Qual regra devemos eliminar? (d) Para todo x existe pelo menos um y tal que x y? Se for o caso, prove esse fato. Se não, mostre um contra-exemplo.
2 Sistema de Tipos - II/UFRGS 2 3. A seguinte questão se refere ao cálculo lambda tipado. A sintaxe e as regras de avaliação para esse sistema são apresentadas abaixo: t ::= termos: x variável λx.t abstração t t aplicação v ::= λx. t t 1 t 1 t 1 t 2 t 1 t 2 (APP1) t 2 t 2 v t 2 v t 2 (λx.t) v [x v] t (APP2) (β) Marque as formas normais dos seguintes termos do cálculo lambda, se houver (a forma normal de um termo t é um termo u tal que t u e u ) (a) (λy.(λz.xy))(λx.z) i. (λy.(λz.xy))(λx.z) ii. (λz.x(λx.z)) iii. (λw.(λx.z)(λx.z)) iv. (λw.x(λx.z)) (b) (λy.(λz.zz)y)(λx.x) i. (λy.(λz.zz)y)(λx.x) ii. (λz.zz)(λx.x) iii. (λx.x) iv. (λy.yy)(λz.z) (c) (λx.xxx)(λx.xxx) i. (λx.xxx)(λx.xxx) ii. (λx.xxx) iii. (λx.xxx)(λx.xxx)(λx.xxx) iv. xxx (d) (λx.(λy.yy)(λz.zz)) i. (λx.(λy.yy)(λz.zz)) ii. (λx.(λy.yy)) iii. (λy.(λz.zz)) iv. (λy.yy)(λz.zz)
3 Sistema de Tipos - II/UFRGS 3 4. A seguinte questão se refere ao cálculo lambda tipado simples com produtos e booleanos. A sintaxe, regras de tipo e de avalição estão no anexo. Os seguintes teoremas são verdadeiros para essa linguagem: Progresso: se t : T, então, ou t é um valor ou existe t tal que t t. Preservação: Se Γ t : T e t t, então Γ t : T. Unicidade de tipos: todo termo t tem no máximo um tipo e, se t tem um tipo, então existe exatamente uma derivação de tipo. Suponha que a regra em (a) abaixo é adicionada a essa linguagem. Verifique se os teoremas acima permanecem verdadeiros após essa adição e, para cada teorema que fica falso, explique o porque através de um contra-exemplo. Repita o mesmo execício considerando a adição da regra em (b) ao sistema original e idem considerando a regra em (c): (a) Γ {t 1, t 2 } : Nat (T-PARNAT) (b) pred {t 1, t 2 } t 1 (E-PREDPAR) (c) Γ t 1 : T 1 Γ t 2 : T 2 Γ fst {t 1, t 2 } : Nat (T-FSTNAT)
4 Sistema de Tipos - II/UFRGS 4
5 Sistema de Tipos - II/UFRGS 5 t ::= termos: x variável λx : T.t abstração t t aplicação true constante true false constante false if t then t 1 else t 2 condicional {t, t} pares t.1 projeção 1.o componente t.2 projeção 2.o componente v ::= λx : T. t true false {v, v} Semântica Operacional T ::= Bool T 1 T 2 T 1 T 2 t 1 t 1 t 1 t 2 t 1 t 2 (E-APP1) t 2 t 2 v t 2 v t 2 (λx : T.t) v [x v] t (E-APP2) (E-β) t 1 t 1 if t 1 then t 2 else t 3 if t 1 then t 2 else t 3 if true then t 2 else t 3 t 2 if false then t 2 else t 3 t 3 (E-IF) (E-IF-TRUE) (E-IF-FALSE) t 1 t 1 {t 1, t 2 } {t 1, t 2 } (E-PAIR1) t 2 t 2 {v, t 2 } {v, t 2} (E-PAIR2) t 1 t 1 t 1.1 t 1.1 (E-PROJ1) {v 1, v 2 }.1 v 1 (E-BETAPROJ1) t 1 t 1 t 1.2 t 1.2 (E-PROJ2) {v 1, v 2 }.2 v 2 (E-BETAPROJ2) Sistema de Tipos
6 Sistema de Tipos - II/UFRGS 6 x : T Γ Γ x : T (T-VAR) Γ, x : T 1 t 2 : T 2 Γ λx : T 1. t 2 : T 1 T 2 (T-ABS) Γ t 1 : T 11 T 12 Γ t 2 : T 11 Γ t 1 t 2 : T 12 Γ true : Bool Γ false : Bool Γ t 1 : Bool Γ t 2 : T Γ t 3 : T Γ if t 1 then t 2 else t 3 : T (T-APP) (T-TRUE) (T-FALSE) (T-IF) Γ t 1 : T 1 Γ t 2 : T 2 Γ {t 1, t 2 } : T 1 T 2 (T-PAIR) Γ t 1 : T 1 T 2 Γ t 1.1 : T 1 (T-PROJ1) Γ t 1 : T 1 T 2 Γ t 1.2 : T 2 (T-PROJ2)
Programas em L1 pertencem ao conjunto de árvores de sintaxe abstrata definido pela gramática abstrata abaixo:
1 Semântica Operacional e Sistemas de Tipos Vamos definir a semântica operacional de uma série de linguagens no estilo conhecido por semântica operacional estrutural chamado também de semântica operacional
Leia maisINF Semântica Formal - Prova II /1
INF05516 - Semântica Formal - Prova II - 2009/1 Nome: Número: Instruções: Todas as questões são relativas a linguagem L3 sem subtipos, exceto quando explicitamente mencionado. A duração da prova é de 100
Leia maisSistemas de Tipos. Cristiano Damiani Vasconcellos.
1 / 24 Sistemas de Tipos Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Departamento de Ciência da Computação Universidade do Estado de Santa Catarina Tipos 2 / 24 Tipos: Coleção de valores
Leia maisNelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 2. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 2 2 / 12
Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 2 Nelma Moreira (DCC-FC) Fundamentos de Linguagens de
Leia maisTipos de Polimorfismo
Subtipos Tipos de Polimorfismo Uma construção que pode assumir diferentes tipos, de acordo com o contexto, é dita polimórfica. três formas de polimorfismo em linguagens modernas: polimorfismo paramétrico
Leia maisIntuição da sintaxe de L2 (35)
2.2 A Linguagem L2 2.2 A Linguagem L2 A linguagem L2 é uma extensão de L1 com funções recursivas, memória (acesso e atualização de variáveis), sequência de comandos ( ; ) e laço de repetição while. Primeiro,
Leia maisCálculo Lambda Sem Tipos
Cálculo Lambda Sem Tipos Cálculo lambda sem tipos Peter Landin (60 s) observou que uma linguagem de programação pode ser compreendida formulando-a em um pequeno núcleo capturando suas características essenciais
Leia maisSistemas de Tipos. Cristiano Damiani Vasconcellos.
1 / 35 Sistemas de Tipos Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Departamento de Ciência da Computação Universidade do Estado de Santa Catarina Tipos 2 / 35 Tipos: Coleção de valores
Leia maisProgramação Funcional
Programação Funcional Lucília Camarão de Figueiredo Universidade Federal de Ouro Preto lucilia@dcc.ufmg.br Aula 04: Definição de funções 1 DEFINIÇÃO DE FUNÇÕES f x1 x2...xn = E Define uma função f de tipo
Leia maisSistemas de Tipos. Cristiano Damiani Vasconcellos.
1 / 39 Sistemas de Tipos Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Departamento de Ciência da Computação Universidade do Estado de Santa Catarina Tipos 2 / 39 Tipos: Coleção de valores
Leia maisPedro Vasconcelos DCC/FCUP. Programação Funcional 3 a Aula Definição de funções
Programação Funcional 3 a Aula Definição de funções Pedro Vasconcelos DCC/FCUP 2014 Definição de funções Podemos definir novas funções simples usando funções pré-definidas. minuscula :: Char -> Bool minuscula
Leia maisIntrodução à Programação. Uma Abordagem Funcional
Introdução à Programação Uma Abordagem Funcional Tipos em Haskell Linguagem fortemente tipada Em Haskell, conhecendo-se o tipo das operações e funções que compõem uma expressão podemos determinar o tipo
Leia maisIntegridade e Completude Para o sistema dedutivo de Hoare, vamos considerar duas propriedades usuais em sistemas lógicos:
Integridade e Completude Para o sistema dedutivo de Hoare, vamos considerar duas propriedades usuais em sistemas lógicos: Integridade: Cada regra deve preservar validade. O que implica (por indução nas
Leia maisINF Semântica formal N
INF05516 - Semântica formal N Ciência da Computação - UFRGS 2006-2 Marcus Ritt mrpritt@inf.ufrgs.br 23/08/2006 Introdução 2 Agenda............................................................... 3 Semântica
Leia maisintrodução de um novo valor semântico de erro; e A[E 2 ]s 0 erro erro se B [b]s = erro
Propriedades de segurança Na semântica que consideramos todas as expressões avaliam para um determinado valor e os comandos executam sem provocarem s. Vamos considerar algumas alterações que aproximem
Leia maisOrganização de Computadores
Organização de Computadores Aula #5.1 EBS 111 ICC Prof. Luiz Fernando S. Coletta luizfsc@tupa.unesp.br Campus de Tupã Exercício 3 (correção) 1. Converta as sequências binárias em números de base 10: (a)
Leia maisProgramação Funcional - Introdução a Cálculo Lambda
Programação Funcional - Introdução a Cálculo Lambda Cristiano Damiani Vasconcellos Universidade do Estado de Santa Catarina 1. Definição Cálculo lambda (λ-cálculo) é um modelo matemático capaz de ilustrar
Leia maisSobre Equações Recursivas e Construções de Ponto Fixo Parte I
Sobre Equações Recursivas e Construções de Ponto Fixo Parte I Alfio Martini www.inf.pucrs.br/alfio Clube de Lógica em Ciência da Computação Faculdade de Informática - PUCRS 19 de setembro de 2013 Sumário
Leia maisProcessamento da Informação Teoria. Desvio Condicional
Processamento da Informação Teoria Desvio Condicional Semana 03 Prof. Jesús P. Mena-Chalco 08/05/2013 Operador módulo O operador módulo trabalha com inteiros e produz o resto quando o primeiro operando
Leia maisFunções Recursivas. Prof.: Edson Holanda Teoria da computação - Diverio e Menezes
Funções Recursivas Prof.: Edson Holanda edsonholanda@gmail.com Teoria da computação - Diverio e Menezes Tipos de Formalismos Operacional Define-se uma máquina abstrata, baseada em estados, em instruções
Leia maisAula 03 Introdução à Programação com a Linguagem Python
Aula 03 Introdução à Programação com a Linguagem Python Gilberto Ribeiro de Queiroz Thales Sehn Körting Fabiano Morelli 26 de Março de 2018 Tópicos Tipo Lógico e Operadores Lógicos. Operadores Relacionais.
Leia maisParadigmas de Programação
Paradigmas de Programação Fabrício Olivetti de França 14 de Junho de 2018 1 λ-cálculo 2 Computabilidade Computabilidade é uma área de estudo central da Ciência da Computação. Ela estuda a possibilidade
Leia maisExpressões Condicionais
Programação Funcional Capítulo 4 Expressões Condicionais José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2012.1 1/39 1 Combinando funções 2 Expressão condicional 3
Leia maisProcessamento da Informação Estruturas de seleção simples e composta
Processamento da Informação Estruturas de seleção simples e composta Prof. Jesús P. Mena-Chalco CMCC/UFABC Q1/2017 1 Expressões Booleanas 2 Fonte: http://pt.wikipedia.org/wiki/george_boole Expressões Booleanas
Leia maisIntrodução à Programação Funcional
Introdução à Programação Funcional PPGIA - PUCPR Prof. Fabrício Enembreck 1 Conteúdo Introdução ao Cálculo Lambda e à Programação Funcional Introdução ao LISP e ao CLisp Funções Lambda e binding Funções
Leia maisFolha 4.2 Análise sintática ascendente
Folha 4.2 Análise sintática ascendente 1. Considere a gramática G = (S, T, P, S) que representa o cabeçalho de métodos na linguagem Java (sem os modificadores de acesso), onde T = {S, Type, Param, Exception,
Leia maisTeoria da Computação e Algoritmos. Introdução à Linguagem Pascal. ALGORITMO <Nome do algoritmo>; <definições>; INÍCIO <Comandos>; FIM.
Teoria da Computação e Algoritmos Introdução à Linguagem Pascal 1 Estrutura de um programa INÍCIO FIM. PROGRAM END.
Leia maisLógica de Hoare. Abordagem que usaremos: aplicar o método de Hoare sobre uma linguagem de programação imperativa simplificada.
Lógica de Hoare Método axiomático para provar que determinados programas são corretos. Introduzido em 1969 por Charles Antony Richard Hoare. Também utilizado para especificar a semântica de linguagens
Leia maisIntrodução à Programação uma Abordagem Funcional
Universidade Federal do Espírito Santo Introdução à Programação uma Abordagem Funcional Programação I Prof.ª Claudia Boeres boeres@inf.ufes.br CT VII - Sala 34 Departamento de Informática Centro Tecnológico
Leia maisElementos básicos das linguagens de programação
Elementos básicos das linguagens de programação Objetivos: Apresentar os últimos elementos básicos das linguagens de programação Elementos básicos já estudados Entrada (read, readln) Saída (write, writeln)
Leia maisTipos e Provas Matemáticas
Grupo de Teoria da Computação - GTC/UnB Departamento de Matemática, Universidade de Brasília Escola de Verão 2007 Brasília, 9 de fevereiro de 2007 GTC/UnB: www.mat.unb.br/ ayala/tcgroup Plano da Apresentação
Leia maisComo podemos provar que este programa termina com x = 100. Correr o programa seguindo a sua semântica operacional é uma opção.
Verificação Automática de Programas Consideremos o seguinte programa para calcular 100 m=1 m: x:=0; y:=1; (while y!=101 do x:=x+y;y:=y+1) Como podemos provar que este programa termina com x = 100 m=1 m.
Leia maisExpressões Condicionais
Programação Funcional Capítulo 4 Expressões Condicionais José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2013.1 1/38 1 Combinando funções 2 Expressão condicional 3
Leia maisPrimeira Prova de Linguagens de Programação - DCC024W - Sistemas de Informação
Primeira Prova de Linguagens de Programação - DCC024W - Sistemas de Informação Nome: Eu dou minha palavra de honra que não trapacearei neste exame. Número de matrícula: As regras do jogo: A prova é sem
Leia maisPrimeira Prova de Linguagens de Programação - DCC024 - Sistemas de Informação
Primeira Prova de Linguagens de Programação - DCC024 - Sistemas de Informação Nome: Eu dou minha palavra de honra que não trapacearei neste exame. Número de matrícula: As regras do jogo: A prova é sem
Leia maisINF Semântica Formal N. Universidade Federal do Rio Grande do Sul
INF05516 - Semântica Formal N Ciência da Computação Universidade Federal do Rio Grande do Sul Álvaro Moreira, Marcus Ritt {afmoreira,mrpritt}@inf.ufrgs.br 21 de Junho de 2009 Conteúdo 1 Semântica Operacional
Leia maisUma gramática é ambígua se existe alguma cadeia para qual ela tem mais de uma árvore sintática
Ambiguidade Uma gramática é ambígua se existe alguma cadeia para qual ela tem mais de uma árvore sintática De maneira equivalente, se existe mais de uma derivação mais à esquerda para uma cadeia Ou se
Leia maisLinguagem C++ Estruturas de controle Parte II Estruturas de repetição
Fundamentos de Programação Linguagem C++ Estruturas de controle Parte II Estruturas de repetição Prof. Bruno E. G. Gomes IFRN 1 Estruturas de Controle Permitem o controle da sequência de execução de um
Leia maisLógica Proposicional
Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28
Leia maisAnálise semântica. Função, interação com o compilador Tabela de símbolos Análise semântica. Prof. Thiago A. S. Pardo
Análise semântica Função, interação com o compilador Tabela de símbolos Análise semântica Prof. Thiago A. S. Pardo 1 Estrutura geral de um compilador programa-fonte analisador léxico Tabela de símbolos
Leia maisNelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 12
Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 12 Nelma Moreira (DCC-FC) Fundamentos de Linguagens
Leia maisEstruturas de dados. Pedro Vasconcelos. 3 de Março de 2014
Estruturas de dados Pedro Vasconcelos 3 de Março de 2014 Estruturas de dados Nesta aula vamos extender a linguagem FUN com estruturas de dados: pares e tuplos; variantes; records. Bibliografia: Capítulo
Leia maisGramáticas Livres de Contexto Parte 1
Universidade Estadual de Feira de Santana Engenharia de Computação Gramáticas Livres de Contexto Parte 1 EXA 817 Compiladores Prof. Matheus Giovanni Pires O papel do Analisador Sintático É responsável
Leia maisINSTITUTO FEDERAL CATARINENSE Campus Ibirama
INSTITUTO FEDERAL CATARINENSE Campus Ibirama Estruturas de Decisão Professor Eduardo Stahnke Estruturas de Decisão As estruturas de decisão são utilizadas quando existe a necessidade de verificar condições
Leia maisCompiladores - Gramáticas
Compiladores - Gramáticas Fabio Mascarenhas 2015.2 http://www.dcc.ufrj.br/~fabiom/comp Ambiguidade Uma gramática é ambígua se existe alguma cadeia para qual ela tem mais de uma árvore sintática De maneira
Leia maisLinguagens de Programação Aula 13
Linguagens de Programação Aula 13 Celso Olivete Júnior olivete@fct.unesp.br Na aula passada Suporte para a programação orientada a objetos 2 Na aula de hoje Programação Funcional Linguagem Haskell 3 Roteiro
Leia maisFolha 4.1 Análise sintática descendente
1. Dada a seguinte gramática G = (Σ, T, P, S), onde : Σ = { S, A, B } T = { a, b, c } S a b A c A A a S b S c B B a B b S b) Verifique que G é do tipo LL(1). c) Construa a tabela sintática predicativa
Leia maisCIT Aula 02 Variáveis e Estruturas de desvio condicional. Autor: Max Rodrigues Marques Carga Horária: 2 h 22/07/15 1
CIT 2015.2 Aula 02 Variáveis e Estruturas de desvio condicional Autor: Max Rodrigues Marques Carga Horária: 2 h 22/07/15 1 Variáveis Uma variável nada mais é que um nome que damos a uma determinada posição
Leia maisLINGUAGENS FORMAIS E AUTÔMATOS
LINGUAGENS FORMAIS E AUTÔMATOS O objetivo deste curso é formalizar a idéia de linguagem e definir os tipos de sintaxe e semântica. Para cada sintaxe, analisamos autômatos, ue são abstrações de algoritmos.
Leia maisLinguagens de Programação Aula 14
Linguagens de Programação Aula 14 Celso Olivete Júnior olivete@fct.unesp.br Na aula passada Linguagem Haskell Funções Tipos básicos Expressões 2 Na aula de hoje Linguagem Haskell Listas 3 Listas e Tuplas
Leia maisConceitos básicos de programação
Constantes class Exemplo { static void Main() { float fahr, celsius; int lower, upper, step; lower = 0; /* limite inferior da tabela de temperaturas */ upper = 300; /* limite superior */ step = 20; /*
Leia maisNelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 20
Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 20 Nelma Moreira (DCC-FC) Fundamentos de Linguagens
Leia maisExpressão Condicional
Programação Funcional UFOP DECOM 2014.1 Aula prática 4 Expressão Condicional Resumo Expressões condicionais permitem a escolha entre duas alternativas na obtenção do valor da expressão, com base em uma
Leia maispuras um ou mais apenas mesmos
Funções Relembrando um dos objetivos do paradigma de programação funcional: Escrever funções puras Na prática, uma função pura apresenta as seguintes características: Possui um ou mais parâmetros; Realiza
Leia maisSemântica Axiomática
Semântica Axiomática O estilo axiomático presta-se particularmente à prova e raciocínio sobre propriedades dos programas, e à sua verificação, i.e. à prova de correcção dos programas face às suas especificações.
Leia maisTRANSFORMAÇÃO DE GRAMÁTICAS LIVRES DO CONTEXTO PARA EXPRESSÕES REGULARES ESTENDIDAS
TRANSFORMAÇÃO DE GRAMÁTICAS LIVRES DO CONTEXTO PARA EXPRESSÕES REGULARES ESTENDIDAS Acadêmico: Cleison Vander Ambrosi Orientador: José Roque Voltolini da Silva Roteiro da Apresentação Introdução Motivação
Leia maisIV Gramáticas Livres de Contexto
IV Gramáticas Livres de Contexto Introdução Definições de GLC 1 G = (Vn, Vt, P, S) onde P = {A α A Vn α (Vn Vt) + } 2 GLC ε - LIVRE : S ε pode pertencer a P, desde que: S seja o símbolo inicial de G S
Leia maisTEORIA DE COMPLEXIDADE
TEORIA DE COMPLEXIDADE Fundamentos: classes P e N P Mauricio Ayala-Rincón Grupo de Teoria da Computaç~ao http://ayala.mat.unb.br/tcgroup Instituto de Ciências Exatas Universidade de Brasília, Brasília
Leia maisTipo. Tipo de uma variável: especificação de
Checagem de Tipos O que é tipo? Erros de Tipos em FRANKIE não capturados pela gramática Tarefas de um Type Checker e Conversões de Tipos Sistema de Tipos Checagem Estática X Dinâmica Linguagens Fortemente
Leia maisFUNÇÕES SOBRECARREGADAS COMO OBJETOS DE PRIMEIRA CLASSE
FUNÇÕES SOBRECARREGADAS COMO OBJETOS DE PRIMEIRA CLASSE ELTON MÁXIMO CARDOSO FUNÇÕES SOBRECARREGADAS COMO OBJETOS DE PRIMEIRA CLASSE Dissertação apresentada ao Programa de Pós-Graduação em Ciência da
Leia maisAula Prática 3. Paradigmas da Programação I / Programação Funcional. ESI/MCC 1 o ano (2005/2006)
Aula Prática 3 Paradigmas da Programação I / Programação Funcional ESI/MCC 1 o ano (2005/2006) Nesta aula pretende-se que os alunos: consolidem os conceitos de expressão, tipo e redução; compreendam a
Leia maisCompiladores. Simão Melo de Sousa. Computer Science Department University of Beira Interior, Portugal. S. Melo de Sousa Compiladores
Compiladores Verificação e inferência dos Tipos Simão Melo de Sousa Computer Science Department University of Beira Interior, Portugal Problema Permitir evitar declarar o tipo das variáveis, das assinaturas
Leia maisLinguagens de programação funcional
Linguagens de programação funcional Linguagens de Programação Marco A L Barbosa cba Este trabalho está licenciado com uma Licença Creative Commons - Atribuição-CompartilhaIgual 4.0 Internacional. http://github.com/malbarbo/na-lp-copl
Leia maisUma memória é uma função total de identificadores para valores inteiros: se x=y σ(y) caso contrário
4 Semântica Denotacional 4 Semântica Denotacional Semântica denotacional é um estilo de semântica que visa dar modelos matemáticos para linguagens de programação (por isso ela também é chamada semântica
Leia maisIntrodução à Linguagem C++
Introdução à Linguagem C++ C++: Definição C++ C A Linguagem de Programação C++ pode ser definida como uma extensão da Linguagem C; Todo código de programação em Linguagem C pode a priori ser compilado
Leia maisPuca Huachi Vaz Penna
Aula 3 C++: variáveis e expressões aritméticas 2017/1 BCC201 Introdução à Computação Turmas 61, 62, 63, 64, 65 e 66, 32 e 33 Puca Huachi Vaz Penna Departamento de Computação Universidade Federal de Ouro
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Sistemas Dedutivos Um Sistema Dedutivo (SD) tem por objetivo obter, a partir de um conjunto
Leia maisProjeto de Linguagem. Linguagens de Programação
Projeto de Linguagem Renato Ferreira Linguagens de Programação Linguagens são adotadas para preencher uma demada Facilitar uma aplicação outrora difícil/impossível Independente da qualidade da linguagem
Leia maisSintaxe e Semântica. George Darmiton da Cunha Cavalcanti.
Sintaxe e Semântica George Darmiton da Cunha Cavalcanti (gdcc@cin.ufpe.br) Tópicos Introdução O problema de descrever a sintaxe Métodos formais para descrever a sintaxe Gramáticas de atributos Descrevendo
Leia maisMAC425/5739 Inteligência Artificial 6. Agentes lógicos
MAC425/5739 Inteligência Artificial 6. Agentes lógicos Denis Deratani Mauá (largamente baseado no material de aula dos Profs. Edileri de Lima e Leliane de Barros) REPRESENTAÇÃO DE CONHECIMENTO Busca (cega,
Leia maisLinguagens de Programação
Linguagens de Programação Fabio Mascarenhas - 2015.2 http://www.dcc.ufrj.br/~fabiom/lp fun - uma mini-linguagem funcional Agora que vimos como se usa uma linguagem funcional como Scala, vamos estudar como
Leia maisSimplificando expressões condicionais
Simplificando expressões condicionais Expressões condicionais podem ser difíceis de serem entendidas na medida em que vão se tornando mais elaboradas. Há um grupo de refatorações capazes de lidar com essa
Leia maisPROGRAMAÇÃO ESTRUTURADA E ORIENTADA A OBJETOS
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE PROGRAMAÇÃO ESTRUTURADA E ORIENTADA A OBJETOS Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com eberton.marinho@gmail.com
Leia maisLinguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da
istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação
Leia maisTeoria da Computação Ficha de exercícios
Teoria da Computação Ficha de exercícios Simão Melo de Sousa Ano lectivo 2004/2005 1 Conjuntos, Relações, Ordens e Conjuntos ordenados Exercício 1 Considere o conjunto Sal dos ordenados duma empresa X.
Leia maisTipos de Dados Algébricos
Programação Funcional BCC222 Aulas 11,12 Tipos de Dados Algébricos Lucília Camarão de Figueiredo Departamento de Ciência da Computação Universidade Federal de Ouro Preto Parte I Revisão Diferenças quatro
Leia maisSintaxe e Semântica. George Darmiton da Cunha Cavalcanti.
Sintaxe e Semântica George Darmiton da Cunha Cavalcanti (gdcc@cin.ufpe.br) Tópicos Introdução O problema de descrever a sintaxe Métodos formais para descrever a sintaxe Gramáticas de atributos Descrevendo
Leia maisConceitos de Linguagens de Programação
Conceitos de Linguagens de Programação Aula 09 Programação Funcional (Haskell) Edirlei Soares de Lima Programação Funcional A programação funcional modela um problema computacional
Leia maisIntrodução O problema geral de descrever sintaxe Métodos formas de descrever sintaxe Gramática de atributos Semântica dinâmica
Capítulo 3 Descrevendo sintaxe e semântica ISBN 0-321-19362-8 Tópicos Introdução O problema geral de descrever sintaxe Métodos formas de descrever sintaxe Gramática de atributos Semântica dinâmica Copyright
Leia maisPascal. -Cabeçalho do programa. - label - const - type - var - procedure - function. - integer - real - byte - boolean - char - string
Pascal -Cabeçalho do programa Áreas do programa -Área de declarações -Corpo do programa - label - const - type - var - procedure - function - integer - real - byte - boolean - char - string Program
Leia maisAula de hoje. Expressões. Expressões. Expressões. Exemplos. Programa em Python. SCC Introdução à Programação para Engenharias
SCC 124 - Introdução à Programação para Engenharias Expressões Professor: André C. P. L. F. de Carvalho, ICMC-USP Pos-doutorando: Isvani Frias-Blanco Monitor: Henrique Bonini de Britto Menezes Aula de
Leia maisPara instalar o Visual Basic 2010 Express.
Para instalar o Visual Basic 2010 Express http://www.microsoft.com/express/downloads/ O Visual Basic (VB) é uma linguagem de Programação, pelo que inclui: 1. Estruturas de dados 2. Variáveis 3. Gramática
Leia maisSintaxe do Pascal Simplificado Estendido de 12 novas construções em Notação EBNF (BNF estendida)
Sintaxe do Pascal Simplificado Estendido de 12 novas construções em Notação EBNF (BNF estendida) Não-terminais são nomes mnemônicos colocados entre parênteses angulares. Vocabulário terminal formado por
Leia maisPrimeira Prova de Linguagens de Programação - DCC024 -
Primeira Prova de Linguagens de Programação - DCC024 - Ciência da Computação Nome: Eu dou minha palavra de honra que não trapacearei neste exame. Número de matrícula: As regras do jogo: A prova é sem consulta.
Leia maisUm algoritmo deve conter passos não ambíguos, executáveis e que sejam terminados quando seguidos.
Programação Um programa é uma sequência de instruções de uma linguagem de programação (VB no nosso caso). Cada instrução representa uma qualquer acção que nós pretendemos ver executada. Programar consiste
Leia maisErros de Tipo em Pascal Simplifificado
Checagem de Tipos Erros de Tipos em Pascal Simplificado não capturados pela gramática Tarefas de um Type Checker e Conversões de Tipos Sistema de Tipos Checagem Estática X Dinâmica Linguagens Fortemente
Leia maisTÉCNICO DE INFORMÁTICA - SISTEMAS
782 - Programação em C/C++ - estrutura básica e conceitos fundamentais Linguagens de programação Linguagem de programação são conjuntos de palavras formais, utilizadas na escrita de programas, para enunciar
Leia maisLinguagem de Programação
Linguagem de Programação Operadores de Condição if() / else if() / else{} / switch() Gil Eduardo de Andrade Introdução Operadores de condição permitem, ao programador, efetuar testes que determinam quais
Leia maisProcessamento da informação. Prof. Fabrício Olivetti de França
Processamento da informação Prof. Fabrício Olivetti de França Média Ponderada Dados três números m, n, w, calcule a média de m e n ponderado por w. 1. [Aplique o peso] Faça w*m e (1-w)*n 2. [Soma] Some
Leia maisCompiladores Aula 12. Celso Olivete Júnior.
Aula 12 Celso Olivete Júnior olivete@fct.unesp.br Na aula de hoje Análise léxica Tabela de símbolos Análise sintática Análise semântica Geração de código intermediário Manipulação de erros Tabela de palavras
Leia maisComputação 1 - Python Aula 3 - Teórica: Tipos de dados, Strings, Estrutura Condicional 1/ 28
Computação 1 - Python Aula 3 - Teórica: Tipos de dados, Strings, Estrutura Condicional 1/ 28 Tipos de Dados Dados Numéricos Números Inteiros: Int/Long Ponto Flutuante: Float Números Complexos: Complex
Leia mais4 Conceito de Herança
4 Conceito de Herança Hierarquia de classes e mecanismo de ligação Herança Uma classe pode herdar operações de uma superclasse e as suas operações podem ser herdadas por subclasses. O mecanismo de herança
Leia maisAnálise semântica. Função, interação com o compilador Tabela de símbolos Análise semântica. Prof. Thiago A. S. Pardo
Análise semântica Função, interação com o compilador Tabela de símbolos Análise semântica Prof. Thiago A. S. Pardo taspardo@icmc.usp.br 1 Estrutura geral de um compilador programa-fonte analisador léxico
Leia maisV Teoria de Parsing. Termos Básicos: Parser Analisador Sintático Parsing Analise Sintática Parse Representação da analise efetuada
V Teoria de Parsing Termos Básicos: Parser Analisador Sintático Parsing Analise Sintática Parse Representação da analise efetuada Ascendentes: S + x (* Seq. Invertida Reducao *) dir Exemplo: Descendentes:
Leia maisLinguagens de Programação Funcional
Linguagens de Programação Funcional George Darmiton da Cunha Cavalcanti (gdcc@cin.ufpe.br) Introdução O projeto de linguagem imperativas é baseado na arquitetura de von Neumann Eficiência é o objetivo
Leia maisCONDICIONAL / de SELEÇÃO / de DECISÃO
ESTRUTURA de CONTROLE CONDICIONAL / de SELEÇÃO / de DECISÃO LPI 1. Expressões Expressões Aritméticas As expressões aritméticas são formadas por operadores aritméticos (+, -, *, /) e por operandos (as constantes
Leia maisEstruturas de Dados. Parte dos slides a seguir são adaptações, extensões e recodificações em C dos originais:
Estruturas de Dados Listas Dinâmicas Simplesmente Encadeadas Prof. Ricardo J. G. B. Campello Créditos Parte dos slides a seguir são adaptações, extensões e recodificações em C dos originais: disponíveis
Leia maisAula Prática 2. Paradigmas da Programação I / Programação Funcional
Aula Prática 2 Paradigmas da Programação I / Programação Funcional ESI/MCC 1 o ano (2005/2006) Nesta aula pretende-se introduzir os conceitos seguintes: valores e expressões; tipos básicos e tipos compostos;
Leia mais