Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Bibliographic Details
Main Author: Silva, Sérgio António Inácio da (author)
Format: masterThesis
Language:eng
Published: 2013
Subjects:
Java
Verification
Type systems
Concurrency
Spatial-behavioral types
Online Access:http://hdl.handle.net/10362/8476
Country:Portugal
Oai:oai:run.unl.pt:10362/8476

Internet

http://hdl.handle.net/10362/8476

Similar Items