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...
| Autor principal: | |
|---|---|
| Formato: | doctoralThesis |
| Idioma: | por |
| Publicado em: |
2011
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10773/2213 |
| País: | Portugal |
| Oai: | oai:ria.ua.pt:10773/2213 |