Reports
Semantic Models of Parameter Passing ; CU-CS-016-73 Público Deposited
Conteúdo disponível para baixar
Baixar PDF
https://scholar.colorado.edu/concern/reports/jq085k748
- Abstract
- This paper presents semantic models of four parameter passing mechanisms utilized in various algebraic programming languages: Call by Value, Copy Restore, Call By Reference, and Call By Name. The correspondence between actual parameter values and formal parameter names is established by use of an environment directory and a denotation component. The environment directory associates each identifier in the program with a unique name, and the denotation component associates unique names with information concerning the value of the identifier denoted by the unique name. The various parameter passing mechanisms are first described informally. A tree structured model of each parameter passing mechanism is then presented. The paper concludes with a discussion of formalizing the models.
- Creator
- Date Issued
- 1973-03-01
- Academic Affiliation
- Última modificação
- 2019-12-21
- Resource Type
- Declaração de direitos
- Language
Relações
Itens
Miniatura | Título | Data de carga | Acesso | Ações |
---|---|---|---|---|
semanticModelsOfParameterPassingCuCs01673.pdf | 2019-12-21 | Público | Baixar |