Dataset
Verifying information flow and metaprogramming in dynamically typed languages
- Alternative title:
- Mechanised Coq proofs and analysis source code supporting thesis
Actions
Authors/Creators
Contributors
+ Schäfer, M
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Researcher
Bibliographic Details
- Publisher:
- University of Oxford
- Publication date:
- 2015
- DOI:
Item Description
- Keywords:
- Subjects:
- Documentation:
-
This gzip-compressed tar archive contains files supporting a paper on information flow analysis for a JavaScript-like language, focusing on how to handle eval.<br/><br/> The focus of the paper is an automated program analysis for this language. The directory demo1 contains an implementation of this analysis in OCaml. Mechanised Coq proofs of the correctness of the analysis are in the directories coq-cfa and coq-if. Finally, demo2 contains an OCaml implementation of a transformation on progra... Expand documentation
- UUID:
-
uuid:f52857fa-5059-4341-a486-165e98ea8753
- Deposit date:
- 2016-07-21
Related Items
Terms of use
- Copyright date:
- 2015
If you are the owner of this record, you can report an update to it here: Report update to this record