Prototipação de um Interpretador para IMP com ML Juliana Vizzotto Júlio Machado Fevereiro 2002.

Prototipação de um Interpretador para IMP com ML

Juliana Vizzotto

Júlio MachadoFevereiro 2002

Roteiro

Programação funcional em ML Sintaxe abstrata Implementação de um interpretador

para IMP em ML Conclusões Questões abertas

Programação Funcional em ML ML é uma linguagem funcional desenvolvida

na Universidade de Edinburgh SML/NJ (Standard ML of New Jersey) é de

distribuição livre SML inclui:

– suporte para listas, árvores, estruturas de dados infinitas e funções de alta ordem

– biblioteca de funções– compilador, com ambiente interativo

Para programar em linguagem funcional:– definir funções

• funções de alta ordem são funções que trabalham sobre outras funções

– definir novos tipos– construir expressões utilizando aplicação

de funções– avaliar expressões (não comandos!)

Ambiente interativo:– Maioria das linguagens funcionais são

interativas– Entra-se com uma expressão e o ambiente a

avalia e retorna o valor resultante– Prompt do SML/NJ “-”– Nova linha indicada por “=“– Término de uma expressão indicado por “;”– Exemplos:

• avaliar 2 + 3– 2 + 3;

• avaliar 2 + 3 * 5– 2 + 3 * 5;

Declarações:– Uma declaração dá um nome a alguma coisa– val x = e;

• avalia a expressão e e liga o valor resultante com o nome x

• val x = 2 + 3;• val y = 1 + x;

– let d in e end;• a declaração d é local à avaliação da expressão e• val x = 0 and y = 1;• let val x = 2 in x * y end;• x;

Definição de funções:– fun f x = e;

• define uma função f com parâmetro formal x e corpo e

• fun dobro x = 2 * x;

– f e;• aplicação da função f ao parâmetro atual e• dobro 4;

– Qual o tipo da função fun soma a b = a+b; ?• no SML/NJ, “+” é uma operação sobre inteiros,

logo a função soma trabalha sobre inteiros• cuidado! SML tenta “adivinhar” os tipos dos

parâmetros e da função• fun soma_r (a:real) (b:real) = a+b;

– fn x => 2 * x;• uma função sem nome associado• é equivalente à função dobro definida

anteriormente

– fun negativo x = x < 0;• esta função retorna verdadeiro se o número for

negativo• negativo 3;

– SML suporta funções polimórficas• fun umpar x = (x,x);• Essa função constrói um par de qualquer tipo• umpar 1; resulta no par (1,1) de inteiros• umpar 1.0; resulta no par (1.0,1.0) de reais

Alguns tipos úteis:– Inteiros int

• 123

– Reais real• 123.45

– Booleanos bool• true• false

– Pares (e1, e2)• (3,true) é um par composto por um inteiro e um

booleano• (1,(2,3)) é um par cujo primeiro elemento é um

inteiro e o segundo é um par de inteiros

– Tuplas (e1, e2, e3, ...)• (1,2,3)

– Listas [e1, e2, e3, ...] list• [1,2,3] é uma lista de inteiros e não deve ser

confundida com a tupla do item acima• [] ou nil é a lista vazia• 1::[2,3] adiciona um elemento ao início da lista• [1,2]@[3,4] concatena duas listas

– Caracteres char• #”a” é o caracter que representa a letra a

– Strings string• “abc” é uma string de tamanho três• cuidado! no SML/NJ “a” é diferente de #”a”

Definição de tipos:– Utiliza-se dois tipos de declarações:

• type para indicar um sinônimo• datatype para construir um novo tipo

– type• type inteiro = int;• o nome inteiro é um sinônimo para o tipo int do

SML e são equivalentes• type dupla_int = int * int;• o símbolo * é um construtor de tuplas

– datatype• Uma declaração de um novo tipo inclui um

nome seguido de construtores para esse tipo• É muito utilizado na construção de árvores• datatype nome_tipo = construtor

| construtor | ...;

type Loc = string;

type Nval = int;

type Bval = bool;

datatype ExpArit = n of Nval| l of Loc| plus of ExpArit * ExpArit| times of ExpArit * ExpArit;

– plus(l “x”, n 1); representa a expressão aritmética x+1 da linguagem IMP

Pattern matching:– Funções podem ser definidas usando

pattern matching, o qual é a forma resumida da construção case em SML

– fun f p1 = e1 | f p2 = e2 | ...;

• uma expressão f e é avaliada pela comparação do valor de e com os padrões p1, p2, ... (seguindo a ordem na definição) até atingir um sucesso na comparação, retornando então o valor ei correspondente

fun EvalE (n x) m = x

|EvalE (l x) m = get_val m x

|EvalE (plus(e1,e2)) m = let val v1 = (EvalE e1 m)

val v2 = (EvalE e2 m)

in (v1 + v2)

end

|EvalE (times(e1,e2)) m = let val v1 =(EvalE e1 m)

val v2 =(EvalE e2 m)

in (v1 * v2)

end;

Roteiro



Sintaxe Abstrata

Sintaxe Abstrata de uma linguagem descreve uma árvore finita rotulada:

– nodos folha: R B Loc {skip}

– nodos não folhas: Iop Bop {:=, ;, if_then_else, while_do_ }

Gramáticas do ponto de vista da semântica formal!!

Exemplo: Linguagem IMPif x>0 then skip else (skip; x:=0)

skip> ;

x 0 skip assign

x 0

If_then_else_

Exemplo: | greater of ExpArit * ExpArit | assign of Loc * ExpArit

greater

ExpArit ExpArit

assign

Loc ExpArit

type Loc = string;

type Nval = int;

type Bval = bool;


datatype ExpBool = b of Bval

| equal of ExpArit * ExpArit

| smaller of ExpArit * ExpArit;

datatype Cmd = skip

| assign of Loc * ExpArit

| comp of Cmd * Cmd;

datatype Program = command of Cmd

| expressiona of ExpArit

| expressionb of ExpBool;

Exemplo para linguagem ML if (greater(l “x”,n 0),skip, comp(skip,assign(x, n 0)))

if

skipgreater comp

l n

0x

skip assign

x n

0

IMP X ML : codificamos a sintaxe abstrata de IMP em ML.

OBS: os programas para o interpretador implementado em ML são digitados na linguagem ML.

O que precisamos para trabalhar com os programas direto na linguagem IMP??

Parser

skip> ;

x 0 skip assign

x 0

If_then_else_ if

skipgreater comp

l n

0x

skip assign

x n

0

Em compiladores:– Após análise léxica obtemos uma lista de

“tokens” a partir de um texto do programa– A lista de “tokens” é, na verdade, a árvore

(linear) única gerada pela gramática (BNF) não-ambígua da linguagem

– Assim, o parser é um mapeamento entre árvores isomorfas (árvore linear e a árvore a ser avaliada pelo interpretador)

Roteiro



Um Interpretador para IMP O que faz um parser?

– Na análise léxica, seqüências de caracteres são convertidas em seqüências tokens (números, identificadores, símbolos especiais, etc)

– A seguir, o parser construirá uma árvore a partir dos tokens identificados

O que faz um interpretador?– Avalia a árvore gerada, dessa forma

executando um programa.

Implementação:– Codificação da sintaxe abstrata do IMP

para a notação SML• uma definição de datatype para cada entidade

da sintaxe abstrata• resulta em uma árvore• expressões aritméticas, expressões booleanas,

comandos, programas

type Loc = string;

type Nval = int;

type Bval = bool;


datatype ExpBool = b of Bval

| equal of ExpArit * ExpArit

| smaller of ExpArit * ExpArit;

datatype Cmd = skip

| assign of Loc * ExpArit

| comp of Cmd * Cmd;

datatype Program = command of Cmd

| expressiona of ExpArit

| expressionb of ExpBool;

– Codificação da estrutura de memória• memória é uma função de posições de

memória (para nós são variáveis) em valores inteiros

• type Mem = Loc -> Nval;• é importante salientar que em SML, podemos

definir a memória como realmente uma função

fun m1 "x" = 0

|m1 "y" = 1

|m1 "z" = 0;

• m1 “x”; irá avaliar em 0

– Codificação das regras do SOS• cada regra de inferência do SOS pode ser

implementada de forma intuitiva e direta em SML

• foram implementadas funções de avaliação para expressões aritméticas, expressões booleanas e comandos

• utiliza-se funções com pattern matching para cada regra de inferência do SOS

fun EvalE (n x) m = x

|EvalE (l x) m = get_val m x

|EvalE (plus(e1,e2)) m = let val v1 = (EvalE e1 m)

val v2 = (EvalE e2 m)

in (v1 + v2)

end

|EvalE (times(e1,e2)) m = let val v1 =(EvalE e1 m)

val v2 =(EvalE e2 m)

in (v1 * v2)

end;

fun EvalC ((assign(l1,e1)):Cmd,m:Mem) =

let val v1 = (EvalE e1 m)

in (skip, (update m l1 v1))

end

|EvalC ((comp(c1,c2)):Cmd,m:Mem) =

let val (ci1, m1) = (EvalC (c1, m))

in if (is_final(ci1,m1))

then (c2, m1)

else ((comp(ci1,c2)), m1)

end

|EvalC (skip,m:Mem) = (skip,m);

– Codificação das transições do SOS• a aplicação das regras do SOS resultam em

um sistema de transições entre configurações• foi implementada uma função que gera o

sistema de transição pela aplicação das funções de avaliação a partir de uma configuração inicial

– Codificação de funções de impressão• foi necessário implementar funções que

convertem um termo na forma de árvore abstrata em SML para uma representação em string

fun Deriv ((command c,m:Mem), listloc:Loc list) =

let val (ci1, mi1) = (EvalC (c,m))

in if (is_final(c,m))

then print ("(" ^ (DumpCommand c) ^ ", [" ^ (DumpMem m listloc) ^ "])\n")

else (print ("(" ^ (DumpCommand c) ^ ", [" ^ (DumpMem m listloc) ^ "])\n->\n"); (Deriv ((command ci1, mi1),listloc)))

end

...

Como utilizar o interpretador?– Inicie o SML/NJ– Carregue o programa do interpretador

• use “meu_diretório/imp.sml”;

– Carregue o arquivo contendo a memória e os programas de teste

• use “meu_diretório/exemplos”;

– Inicie o interpretador para um programa• é necessário informar a configuração incial (um

par programa e memória) e uma lista de variáveis que se deseja visualizar o conteúdo

• Deriv ((programa, memória), [“var1”, “var2”,...]);• Deriv ((p1,m1),[“x”,”y”,”z”]);

Roteiro



Conclusões Prototipação X Implementação de

linguagens– durante o desenvolvimento de uma

linguagem, o custo de implementação é proibitivo

Linguagens funcionais como base para prototipação de linguagens– notação mais próxima da notação utilizada

na definição da semântica dos comandos facilita a prototipação

• sintaxe abstrata -> datatypes• regras da SOS -> funções de avaliação

Interpretador implementado em ML nos permite avaliar (automaticamente) os programas em IMP.– Automatização do processo de avaliação

das expressões da linguagem IMP– Acompanhamento visual do sistema de

transição resultante Parser é um mapeamento entre árvores

– árvore IMP para árvore ML– esta noção geral inclui a definição vista em

compiladores, uma vez que uma lista de “tokens” é uma árvore (degenerada)

Roteiro



Questões Abertas Existe a necessidade de provar,

“automaticamente”, propriedades sobre os programas?

Precisamos de um framework que possibilite executar provas de propriedades?

ML fornece alguma ferramenta para isso?– Não foi encontrada

Vale a pena implementar uma ferramenta ou reutilizar?

SOS RWL

Maude = “ferramenta” RWL = “Metatool” Permite “expressar” regras e

também as propriedades.

Prototipação de um Interpretador para IMP com ML Juliana Vizzotto Júlio Machado Fevereiro 2002.

Documents

Transcript of Prototipação de um Interpretador para IMP com ML Juliana Vizzotto Júlio Machado Fevereiro 2002.