Metodologias e mecanismos para linguagens de programação concorrente orientadas por objectos
Esta tese faz uma aproximação sistemática à integração de mecanismos de programação concorrente em linguagens orientadas por objectos com suporte à programação por contrato e sistema de tipos estático. Nessa integração deu-se prioridade à expressividade, segurança, abstracção e realizabilidade dos m...
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Language: | por |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10773/2213 |
| Country: | Portugal |
| Oai: | oai:ria.ua.pt:10773/2213 |