This repository contains the proof-of-concept interpreter and data race detector for lambdaLVish described in section 7 of our FHPC '13 paper on LVars. The consume mechanism that we described in the FHPC '13 paper is superseded by freeze, which is described in our POPL '14 paper and implemented in the LVish Haskell library -- so this code is here for historical reasons only.
-
Notifications
You must be signed in to change notification settings - Fork 1
lkuper/lvar-race-detector
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published