Giters

Grain / heapster-saw

Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

heapster-saw

Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core

About

Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%