This web page demonstrates a general method for diagnosing errors found in computer programs. In this case the method is being applied to OCaml programs.
By using this service, you are granting permission for us to use your submitted code for research purposes. This research is being conducted by Prof. Andrew Myers of the Cornell CS department. Your code will be used only for the purpose of evaluating methods for program error diagnosis method and for improving them. It will not be released to other parties. Other than the source code and any comments you enter, we do not record personally identifying information such as IP addresses.