Validating Formal Semantics by Property-Based Cross-Testing

Péter Bereczky, Dániel Horpácsi, Judit K?szegi, Soma Szeier, Simon Thompson
2020 IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages  
The version in the Kent Academic Repository may differ from the final published version. Users are advised to check http://kar.kent.ac.uk for the status of the paper. Users should always cite the published version of record.
doi:10.1145/3462172.3462200 fatcat:pmyoeysy75e2dn2tbqbwqej46u