Maintaining the correctness of transactional memory programs

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

Bibliographic Details
Main Author: Dias, Ricardo Jorge Freire (author)
Format: doctoralThesis
Language:eng
Published: 2014
Subjects:
Concurrent programming
Transactional memory
Snapshot isolation
Static analysis
Separation logic
Abstract interpretation
Online Access:http://hdl.handle.net/10362/11092
Country:Portugal
Oai:oai:run.unl.pt:10362/11092

Internet

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

Similar Items