Ownerships for reasoning about parallelism : type system and semantics
| Data(s) |
09/10/2009
|
|---|---|
| Resumo |
Technical Report to accompany Ownership for Reasoning About Parallelism. Documents type system which captures effects and the operational semantics for the language which is presented as part of the paper. |
| Formato |
application/pdf |
| Identificador | |
| Relação |
http://eprints.qut.edu.au/28083/1/c28083.pdf Craik, Andrew J. (2009) Ownerships for reasoning about parallelism : type system and semantics. |
| Direitos |
Copyright 2009 Andrew J. Craik |
| Fonte |
Faculty of Science and Technology |
| Palavras-Chave | #080203 Computational Logic and Formal Languages #080308 Programming Languages #Ownership Types #Parallelism #Reasoning |
| Tipo |
Report |
