Livro Conceitos de linguagens de programação - Sebesta

Implementando subprogramas
Linguagens de Programa¸˜o ca Marco A L Barbosa

cba
Este trabalho est´ licenciado com uma Licen¸a Creative Commons - Atribui¸˜o-CompartilhaIgual 4.0 Internacional. a c ca http://github.com/malbarbo/na-lp-copl

Conte´do u A semˆntica geral das chamadas e retornos a Implementando subprogramas simples
Implementando subprogramas com vari´veis locais dinˆmicas na a a pilha Implementando subprogramas aninhados
Blocos
Implementando escopo dinˆmico a Referˆncias e A semˆntica geral das chamadas e retornos a A semˆntica geral das chamadas e retornos a As opera¸˜es de chamada e retorno de subprogramas s˜o co a denominadas conjuntamente de liga¸˜o de subprograma ca (subprogram linkage)

4 / 50

A semˆntica geral das chamadas e retornos a As opera¸˜es de chamada e retorno de subprogramas s˜o co a denominadas conjuntamente de liga¸˜o de subprograma ca (subprogram linkage)
A implementa¸˜o de subprogramas deve ser baseada na ca semˆntica da liga¸˜o de subprogramas a ca

4 / 50

A semˆntica geral das chamadas e retornos a A¸˜es associadas com as chamadas de subprogramas co Passagem de parˆmetros a Aloca¸˜o e vincula¸˜o das vari´veis locais dinˆmicas na pilha ca ca a a
Salvar o estado de execu¸˜o do subprograma chamador ca Transferˆncia do controle para o subprograma chamado e Mecanismos de acesso a vari´veis n˜o locais (no caso de a a subprogramas aninhados)

5 / 50

A semˆntica geral das chamadas e retornos a A¸˜es associadas com as chamadas de subprogramas co Passagem de parˆmetros a Aloca¸˜o e vincula¸˜o das vari´veis locais dinˆmicas na pilha ca ca a a
Salvar o estado de execu¸˜o do subprograma chamador ca Transferˆncia do controle para o subprograma chamado e Mecanismos de acesso a vari´veis n˜o locais (no caso de a a subprogramas aninhados)

A¸˜es associadas com os retornos de subprogramas co Retorno dos parˆmetros out e inout
a