文件名称:escher:埃舍尔编程语言
文件大小:1.2MB
文件格式:ZIP
更新时间:2024-05-25 14:11:32
TeX
可以使用命令“ make escher”来编译Escher解释器。 我们需要flex和yacc才能使其正常工作。 解释器使用Noweb以C ++编写。 完整的识字程序位于escher.pdf中。 从noweb文件生成的C ++源文件可以在SRC目录中找到。 生成的乳胶文件可以在TEXFILES目录中找到。 如果尚未安装Noweb,请不要“制作源代码”或“制作文档”。 escher.pdf的第1章中提供了对Escher的简短介绍。 如果您有任何疑问/建议,请与作者联系。
【文件预览】:
escher-master
----queries.es(10KB)
----types.nw(46KB)
----log.cache(0B)
----data.es(2KB)
----numbers.es(3KB)
----Makefile(4KB)
----redexes.nw(23KB)
----lists.es(4KB)
----global.nw(39KB)
----sets.es(7KB)
----escher.nw(4KB)
----dpp(9KB)
----test.es(5KB)
----interpreter.nw(225B)
----escher.pdf(1018KB)
----bh.es(2KB)
----refs.bib(200KB)
----booleans.es(6KB)
----mymacro.cc(473B)
----parsing.nw(40KB)
----introduction.nw(28KB)
----sys-modules.nw(26KB)
----README.md(568B)
----generator.es(7KB)
----io.nw(3KB)
----sudoku.es(40KB)
----terms.nw(135KB)
----testQueries.es(10KB)
----noweb.sty(33KB)
----SRC()
--------unification.h(494B)
--------io.cc(5KB)
--------terms.cc(70KB)
--------terms.h(6KB)
--------Makefile(1KB)
--------global.h(7KB)
--------escher-parser.y(30KB)
--------escher-scan.l(11KB)
--------unification.cc(12KB)
--------types.h(5KB)
--------io.h(637B)
--------pattern-match.h(722B)
--------.depend(540B)
--------types.cc(5KB)
--------pattern-match.cc(11KB)
--------global.cc(23KB)
----programming.nw(15KB)