文件名称：TypeAnalysis:函数式语言类型分析
文件大小：36KB
文件格式：ZIP
更新时间：2024-06-21 02:02:49
Java
类型分析 分析函数式语言的类型 这个程序是一个代码分析器。 它的部分代码来自NUS Muster degree CS5218，程序分析类的原理。 在这个程序中它可以分析函数式语言的类型是否有病。 分析逻辑遵循W算法。
【文件预览】：
TypeAnalysis-master
----type()
--------AbstrType.java(430B)
--------FunType.java(5KB)
--------IntType.java(817B)
--------BoolType.java(824B)
--------ListType.java(2KB)
--------TVarType.java(2KB)
----ast()
--------ConsExp.java(3KB)
--------BinaryExp.java(4KB)
--------FunNamedExp.java(4KB)
--------AbstrExp.java(5KB)
--------BoolExp.java(549B)
--------FunAppExp.java(9KB)
--------UnaryExp.java(1KB)
--------LetExp.java(2KB)
--------FunNamelessExp.java(4KB)
--------Annot.java(316B)
--------NilExp.java(534B)
--------IntExp.java(491B)
--------IfExp.java(3KB)
--------CaseExp.java(8KB)
--------VarExp.java(1KB)
----README.md(327B)
----util()
--------Util.java(523B)
----Main.java(2KB)
----parser()
--------FunLaLexer.java(9KB)
--------FunLaListener.java(7KB)
--------FunLaVisitor.java(4KB)
--------FunLaBaseListener.java(7KB)
--------FunLaLexer.tokens(572B)
--------FunLa.g4(5KB)
--------FunLaParser.java(65KB)
--------FunLa.tokens(572B)