Skip to content

/ thesis

Compiling Concurrency Correctly—Verifying Software Transactional Memory

4 stars 0 forks
Star
Watch
master
1 branch 0 tags
Go to file
Code
Clone

Use Git or checkout with SVN using the web URL.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Atomic
 
 
Fork
 
 
NonDet
 
 
Verified
 
 
.gitignore
 
 
Bookshelf.bib
 
 
Common.agda
 
 
Makefile
 
 
README.md
 
 
agda.fmt
 
 
agda.lagda
 
 
atomic.lagda
 
 
conclusion.tex
 
 
deelite.sed
 
 
fork.lagda
 
 
haskell.fmt
 
 
introduction.lhs
 
 
latex.mk
 
 
lhs2TeX.mk
 
 
model.lhs
 
 
nondet.lagda
 
 
polycode.lhs
 
 
semantics.tex
 
 
stm.lhs
 
 
testing.lhs
 
 
thesis.tex
 
 
verified.lagda
 
 
wordcount.wc
 
 

README.md

About

Compiling Concurrency Correctly—Verifying Software Transactional Memory

Topics

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

Resources

Readme

Releases

No releases published

Packages

No packages published

Languages

You can’t perform that action at this time.