Construção de Compiladores Período Especial Aula 11 ... · Aula 11: Chamadas de Procedimento...

Sintaxe Nomenclatura Tradução Execução Projeto

Construção de CompiladoresPeríodo Especial

Aula 11: Chamadas de ProcedimentoParâmetros passados por Valor

Bruno Müller Junior

Departamento de InformáticaUFPR

Bruno Müller Junior Departamento de Informática UFPR

Construção de Compiladores Período Especial Aula 11: Chamadas de Procedimento Parâmetros passados por Valor

Sintaxe

A passagem de parâmetros é alvo das regras 14 e 15.Exemplo: procedure p(x:integer; var y:integer);

Onde x é passado por valor e y por referência.Esta aula explica a passagem de parâmetros por valor. Apróxima irá explicar a passagem por referência.

12. <declara procedimento> ::= <identificador> [<parâmetros formais>] ;<bloco>

14. <parâmetros formais> ::= (<seção parâmetros formais>; <seção parâmetros formais> )

15. <seção parâmetros formais> ::= [VAR] <listaIds> : <ident>20. <chamada deprocedimento> ::= <identificador> [(<lista de expressóes>)]

Nomenclatura

Para efeito de diferenciação do momento em que são usados,os parâmetros de um procedimento recebem nomes diferentes:parâmetros formais variáveis no cabeçalho de um

procedimento ou de uma função.parâmetros reais variáveis ou constantes que aparecem na

chamada dos procedimentos ou das funções.

Existem duas formas de se passar os parâmetros reais para osparâmetros formais: por valor ou por referência.

por valor o valor contido no parâmetro real é copiado parao espaço de memória reservado ao parâmetroformal.

por referência o endereço do parâmetro real é copiado para oparâmetro formal.

Nomenclatura

Para efeito de diferenciação do momento em que são usados,os parâmetros de um procedimento recebem nomes diferentes:parâmetros formais variáveis no cabeçalho de um

procedimento ou de uma função.parâmetros reais variáveis ou constantes que aparecem na

chamada dos procedimentos ou das funções.Existem duas formas de se passar os parâmetros reais para osparâmetros formais: por valor ou por referência.

por valor o valor contido no parâmetro real é copiado parao espaço de memória reservado ao parâmetroformal.

por referência o endereço do parâmetro real é copiado para oparâmetro formal.

Tradução

O último parâmetro estásempre no deslocamentok-4, o penúltimo em k-5 eassim por diante.

procedure p(x:integer;var y:integer);

y: k-4x: k-5.

TS: PF=VS + tipo depassagem (valor oureferência).

Tradução

O último parâmetro estásempre no deslocamentok-4, o penúltimo em k-5 eassim por diante.procedure p(x:integer;var y:integer);

y: k-4x: k-5.

Tradução

O último parâmetro estásempre no deslocamentok-4, o penúltimo em k-5 eassim por diante.procedure p(x:integer;var y:integer);

y: k-4x: k-5.

program proc2 (input, output);var x, y: integer;

procedure p(t:integer);var z:integer;

beginif (t>1)

then p(t-1);else y:=1;

z:= y;y:=z*t;

endbegin

read(x);p(x);write (x,y)

beginif (t>1)

z:= y;y:=z*t;

endbegin

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2

y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2DSVS R00

R01:ENPR 1

p PROC [1,R01,?{}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2DSVS R00

R01:ENPR 1

t PF [1,?,?]p PROC [1,R01,?{}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2DSVS R00

R01:ENPR 1

t PF [1,?,int]p PROC [1,R01,?{}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2DSVS R00

R01:ENPR 1

t PF [1,-4,int]p PROC [1,R01,1{int,valor}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2DSVS R00

R01:ENPR 1AMEM 1

z VS [1,0,int]t PF [1,-4,int]p PROC [1,R01,1{int,valor}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPPAMEM 2DSVS R00

R01:ENPR 1AMEM

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

INPP R02: NADAAMEM 2 CRVL 0,1DSVS R00 ARMZ 1,0

R01:ENPR 1 CRVL 1,0AMEM 1 CRVL 1,-4CRVL 1,-4 MULTCRCT 1 ARMZ 0,1CMMADSVF R03CRVL 1,-4CRCT 1SUBTCHPR R01,1DSVS R02 <======????

R03:NADACRCT 1ARMZ 0,1

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

R01:ENPR 1 CRVL 1,0AMEM 1 CRVL 1,-4CRVL 1,-4 MULTCRCT 1 ARMZ 0,1CMMA DMEM 1DSVF R03CRVL 1,-4CRCT 1SUBTCHPR R01,1DSVS R02

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

R01:ENPR 1 CRVL 1,0AMEM 1 CRVL 1,-4CRVL 1,-4 MULTCRCT 1 ARMZ 0,1CMMA DMEM 1DSVF R03 RTPR 1,1CRVL 1,-4CRCT 1SUBTCHPR R01,1DSVS R02

t PF [1,-4,int]p PROC [1,R01,1{int,valor}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

R01:ENPR 1 CRVL 1,0AMEM 1 CRVL 1,-4CRVL 1,-4 MULTCRCT 1 ARMZ 0,1CMMA DMEM 1DSVF R03 RTPR 1,1CRVL 1,-4 R00:NADACRCT 1 LEITSUBT ARMZ 0,0CHPR R01,1 CRVL 0,0DSVS R02 CHPR R01,0

R03:NADA CRVL 0,0CRCT 1 IMPRARMZ 0,1 CRVL 0,1

IMPRDMEM 2PARA

p PROC [1,R01,1{int,valor}]y VS [0,1,int]x VS [0,0,int]

Símb. Cat. Infos

beginif (t>1)

z:= y;y:=z*t;

endbegin

R01:ENPR 1 CRVL 1,0AMEM 1 CRVL 1,-4CRVL 1,-4 MULTCRCT 1 ARMZ 0,1CMMA DMEM 1DSVF R03 RTPR 1,1CRVL 1,-4 R00:NADACRCT 1 LEITSUBT ARMZ 0,0CHPR R01,1 CRVL 0,0DSVS R02 CHPR R01,0

R03:NADA CRVL 0,0CRCT 1 IMPRARMZ 0,1 CRVL 0,1

IMPRDMEM 2PARA Símb. Cat. Infos

Execução

Principal

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 ??00 ??

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

Principal

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 ??00 ??

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

Principal

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 ??00 ??

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

Principal

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

Principal

beginif (t>1)

z:= y;y:=z*t;

endbegin

read(x);p(x); 1©write (x,y)

end.CRVL 0,0CHPR rot,k { M[s+1]:=i;

M[s+2]:=k;s:=s+2i:=rot}

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

ENPR k { s:=s+1;M[s]:=D[k]D[k]:=s+1 }

03 ?302 ?201 0600 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 0600 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 0600 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

then p(t-1); 2©else y:=1;

z:= y;y:=z*t;

endbegin

end.CRVL 0,0 / CRCT 1 / SUBTCHPR rot,k { M[s+1]:=i;

M[s+2]:=k;s:=s+2i:=rot}

03 ?302 ?201 0600 00

14 ??13 ??12 ??11 ??10 ??09 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

ENPR k { s:=s+1;M[s]:=D[k]D[k]:=s+1 }

03 ?302 ?201 1100 00

14 ??13 ??12 ??11 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1100 00

14 ??13 ??12 ??11 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1100 00

14 ??13 ??12 ??11 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

end.CRVL 0,0 / CRCT 1 / SUBTCHPR rot,k { M[s+1]:=i;

M[s+2]:=k;s:=s+2i:=rot}

03 ?302 ?201 1100 00

14 0113 2©12 0111 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

ENPR k { s:=s+1;M[s]:=D[k]D[k]:=s+1 }

03 ?302 ?201 1600 00

14 0113 2©12 0111 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 11

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1600 00

14 0113 2©12 0111 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 11

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1600 00

14 0113 2©12 0111 ??10 0609 0108 2©07 0206 ??05 ?104 0003 1©02 0301 ??00 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 11

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1600 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 11

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1600 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 0115 11

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

p(3) -> p(2) -> p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1600 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 0115 11

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

DMEM 1RTPR k,n { D[K]:=M[s];

i:=M[s-2];s:=s-(n+3)}

03 ?302 ?201 1100 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1100 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 1100 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

i:=M[s-2];s:=s-(n+3)}

03 ?302 ?201 0600 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 0600 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 0600 00

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

i:=M[s-2];s:=s-(n+3)}

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 0600 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ?302 ?201 ?100 00

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 0600 03

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

princ <- p(3) <- p(2) <- p(1)

beginif (t>1)

z:= y;y:=z*t;

endbegin

03 ??02 ??01 ??00 ??

14 ??13 ??12 ??11 ??10 ??09 ??08 ??07 ??06 ??05 ??04 ??03 ??02 ??01 ??00 ??

29 ??28 ??27 ??26 ??25 ??24 ??23 ??22 ??21 ??20 ??19 ??18 ??17 ??16 ??15 ??

44 ??43 ??42 ??41 ??40 ??39 ??38 ??37 ??36 ??35 ??34 ??33 ??32 ??31 ??30 ??

Acrescente a chamada de procedimentos com parâmetrospassados por valor ao compilador.

No exemplo apresentado nesta aula, só há um parâmetro.Quando houverem mais parâmetros, determinar o endereçoléxico é um pouco mais complicado, pois o último parâmetro équem será associado ao endereço léxico (k-4) Por exemplo:

procedure p(a,b:integer), a⇒ (k ,−5), b⇒ (k,−4)procedure q(a,b,c:integer), a⇒ (k,−6), b⇒ (k,−5),c⇒ (k,−4)

Acrescente a chamada de procedimentos com parâmetrospassados por valor ao compilador.No exemplo apresentado nesta aula, só há um parâmetro.

Quando houverem mais parâmetros, determinar o endereçoléxico é um pouco mais complicado, pois o último parâmetro équem será associado ao endereço léxico (k-4) Por exemplo:

procedure p(a,b:integer), a⇒ (k ,−5), b⇒ (k,−4)procedure q(a,b,c:integer), a⇒ (k,−6), b⇒ (k,−5),c⇒ (k,−4)

Acrescente a chamada de procedimentos com parâmetrospassados por valor ao compilador.No exemplo apresentado nesta aula, só há um parâmetro.Quando houverem mais parâmetros, determinar o endereçoléxico é um pouco mais complicado, pois o último parâmetro équem será associado ao endereço léxico (k-4) Por exemplo:

procedure p(a,b:integer), a⇒ (k,−5), b⇒ (k,−4)procedure q(a,b,c:integer), a⇒ (k,−6), b⇒ (k,−5),c⇒ (k,−4)

procedure p(a,b:integer), a⇒ (k ,−5), b⇒ (k,−4)

procedure q(a,b,c:integer), a⇒ (k,−6), b⇒ (k,−5),c⇒ (k,−4)

procedure p(a,b:integer), a⇒ (k ,−5), b⇒ (k,−4)procedure q(a,b,c:integer), a⇒ (k ,−6), b⇒ (k,−5),c⇒ (k,−4)

Página para anotações

Licença

Slides desenvolvidos somente com software livre:LATEX usando beamer;Inkscape.

Licença:Creative Commons Atribuição-Uso Não-Comercial-Vedada aCriação de Obras Derivadas 2.5 Brasil License. http://creativecommons.org/licenses/by-nc-nd/2.5/br/

Construção de Compiladores Período Especial Aula 11 ... · Aula 11: Chamadas de Procedimento...

Documents

Transcript of Construção de Compiladores Período Especial Aula 11 ... · Aula 11: Chamadas de Procedimento...

Anos passados

Carolina Müller

Vitória Müller Rathke

CES-41 COMPILADORES

Compiladores 7

Compiladores 2

MARISTELA MÜLLER

Compiladores - Análise Preditiva

Compiladores - Introdução

Introdução a Compiladores

Compiladores - docs.fct.unesp.brdocs.fct.unesp.br/docentes/dmec/olivete/compiladores/arquivos/Aula... · Classes Gramaticais Conformeasrestriçõesimpostasaoformatodasproduçõesdeumagramática,a

Compiladores - revisao_po2

Compiladores - Sintaxe e Semânticaedirlei.3dgb.com.br/aulas/compiladores/COMP_Aula_02_Sintaxe_Se… · Compiladores Edirlei Soares de Lima

Friedrich Müller

Compiladores e Computabilidade

Apostila - Compiladores

Construção de Compiladores

Resultados Müller

Linguagens e Compiladores

Momentos Passados