liyang / thesis

Compiling Concurrency Correctly—Verifying Software Transactional Memory

thesis agda software-transactional-memory concurrency proof proof-assistant formal-proofs

Compiling Concurrency Correctly

Verifying Software Transactional Memory

Nottingham eTheses —final published PDF

“Compiling Concurrency Correctly—Verifying Software Transactional Memory” by Liyang HU is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

About

Compiling Concurrency Correctly—Verifying Software Transactional Memory

thesis agda software-transactional-memory concurrency proof proof-assistant formal-proofs

Languages

Language:TeX 98.9%Language:Makefile 0.8%Language:Agda 0.3%Language:Haskell 0.0%