Algebraic laws for object oriented programming with references
There are several approaches to defining a formal semantics of a programming language. The main established ones are operational, denotational and axiomatic semantics. The first two rely on defining an explicit model, whereas the latter one is based on postulating relevant properties of the language...
| Main Author: | PALMA, Giovanny Fernando Lucero |
|---|---|
| Other Authors: | SAMPAIO, Augusto Cezar Alves |
| Format: | doctoralThesis |
| Language: | eng |
| Published: |
Universidade Federal de Pernambuco
2016
|
| Subjects: | |
| Online Access: |
https://repositorio.ufpe.br/handle/123456789/14930 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|