https://github.com/sgraf812/pmcheck

LaTeX Source code for our ICFP'20 paper "Lower Your Guards: A Compositional Pattern-Match Coverage Checker"
https://github.com/sgraf812/pmcheck

compilers pattern-matching static-analysis

Last synced: 5 days ago
JSON representation

LaTeX Source code for our ICFP'20 paper "Lower Your Guards: A Compositional Pattern-Match Coverage Checker"

• Host: GitHub
• URL: https://github.com/sgraf812/pmcheck
• Owner: sgraf812
• Created: 2019-10-29T11:34:18.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2024-07-22T11:48:00.000Z (6 months ago)
• Last Synced: 2024-11-18T15:13:24.049Z (2 months ago)
• Topics: compilers, pattern-matching, static-analysis
• Language: TeX
• Homepage:
• Size: 27.7 MB
• Stars: 1
• Watchers: 5
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Lower Your Guards

=================

To build, just run `$ make`. Requires a (full) LaTeX distribution and lhs2TeX in `$PATH`.