thinkcai

异常的语义

给出了一种程序异常的严格语义(操作语义及指称语义)

good code for jpa example

JPAextenddemoexample

antlr4应用例子

Antlr4 application example

jQuery甘特图例子

jQuery实现的甘特图的控件，方便开发基于cloud的项目管理软件

使用Attribute语法优化Java

本文描述了attribute文法，基于该文法优化Java代码，是高级的形式化的编译优化技术。可以作为高级编译器的优化的参考文档。