Compilação de semântica denotacional modular
=== Programming language semantics and syntax can be defined without ambiguities using formal definitions. Denotational Semantics is an approach which allows formal description of language semantics. However, uses of Denotational Semantics face scalability issues. Formal specification of large scal...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2007
|
| Online Access: | http://hdl.handle.net/1843/RVMR-7AAP79 |