Self-certification: bootstrapping certified typecheckers in F* with Coq.
Pierre-Yves StrubNikhil SwamyCédric FournetJuan ChenPublished in: POPL (2012)
Keyphrases
- decision trees
- exam questions
- formal methods
- third party
- theorem prover
- information extraction
- technical support
- named entity recognition
- weakly supervised
- cd rom
- artificial intelligence
- relation extraction
- application development
- natural language
- data sets
- database systems
- case study
- website
- information systems
- software engineering practices