GitHub repository: kframework/semantic-approaches
Primary language: Haskell
Created: 2018-12-17T23:59:51Z
Description: A comprehensive experiments-based survey on various approaches to program semantics.