一种基于契约式设计的Java编译器实现方法

摘要

一种基于契约式设计的Java编译器实现方法：通过实现一个基于VeriJava语法与语义检查、验证的编译器，试图在编译阶段通过对方法，类等先决条件与后置条件的验证，在逻辑上保证方法的正确性，帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题，促进交流与理解，使开发过程更为完善。

主权项

一种基于契约式设计的Java编译器实现方法：该方法主要是此技术主要通过在原有的Java编译器上进行一定加工与改造，使VeriJava语法能够在之中进行编译。