Internet Archive Scholar

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (681.7 kB)
https://web.archive.org/web/20220629173740/https://kar.kent.ac.uk/89480/1/PUBLISHED.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL. The file type is application/pdf.

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
Citation

Péter Bereczky, Dániel Horpácsi, Judit K?szegi, Soma Szeier, Simon Thompson. "Validating Formal Semantics by Property-Based Cross-Testing." IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (2020)