首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 一种基于redlog的分辨率来自动生成代码项目

一种基于redlog的分辨率来自动生成代码项目

资 源 简 介

Introduction Autocode is run on Linux operating system and opened to any users. The tool is built to generate ANSI-C code automatically based on user"s specification in ACGL, a particular language rather similar to Redlog grammar. Autocode is not warranted to solve all problems but it can tackle with a vast majority of mathematical issues. Any advanced users can adjust and improve its functionality and don"t hesitate to report bugs to <>. Installation Make sure these dependencies are available before installing Autocode: Reduce-Algebra. Autocode needs redlog module to resolve desired result from user"s requirements. Objective Caml. Autocode operates with ocaml lexer (ocamllex), ocaml parser (ocamlyacc) and ocaml bytecode compiler (ocamlc). 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报

文 件 列 表

Autocode
result
redout-error-detector
resolution
bin
error
specification
binding
Makefile
VIP VIP
0.190661s