Languages

Summer School 2010

暑期实践课程 

 

2 Emacs

  • 下载Emacs,解压到任意路径.
  • 下载".emacs"
  • 设置环境变量HOME为".emacs"文件所在目录.
  • 下载"tuareg-mode"和"proofgeneral",并解压缩到Emacs/site-lisp
  • 根据解压的路径修改".emacs"

3 OCaml 与 Coq

下载Ocaml, Coq后, 运行安装程序即可

4 OCaml资料

5 Coq资料

6 ESC/Java安装 

  • 下载 ESC/Java 的集成环境
  • 下载并安装JDK 1.4和JDK 1.6
  • 按照PPT配置Eclipse和ESC/Java,重点在于指定创建工程使用的java编译器版本
  • ESC/Java的相关资料: 介绍ESC/Java的文章, 官方文档
  • 推荐调研和使用Spec#