Difference between revisions of "JavaMOP4"
From FSL
| Line 1: | Line 1: | ||
__NOTOC__ __NOEDITSECTION__ | __NOTOC__ __NOEDITSECTION__ | ||
| − | {{shortcut|[[MOP]] <hr />[[JavaMOP4_Syntax|JavaMOP Syntax]] <hr /> [[All_JavaMOP_Versions|All Versions]] <br/> [[JavaMOP_News_And_Change_Logs|Change Log]] }} | + | {{shortcut|[[MOP]] <hr />[[JavaMOP4_Syntax|JavaMOP Syntax]] <hr /> [[All_JavaMOP_Versions|All Versions]] <br/> [[JavaMOP_News_And_Change_Logs|Change Log]] <hr/> [[http://kframework.org/tool/run/javamop Try JavaMOP online]] }} |
JavaMOP is an instance of [[MOP]] for Java. | JavaMOP is an instance of [[MOP]] for Java. | ||
Revision as of 06:37, 25 November 2014
JavaMOP is an instance of MOP for Java.
Download
JavaMOP 4.0
JavaMOP compiler, Logic Repository, Test Suite, and Documentation.
|
|
Download |
Prerequisites |
How to Install
- Download the JavaMOP 4.0's released binary zip archive via the provided link and unzip it to your preferred location.
- Install the prerequisites, update your PATH and CLASSPATH according to the instructions in INSTALL.md (online version here).
- /path/to/javamop/bin/javamop (javamop.bat on windows) is the target executable. Add /path/to/javamop/bin/ to your PATH environment variable.
- Done! You can read more about JavaMOP in README.md (online version here).
Bug Report
If you experience any problems with JavaMOP, and can not find your answer in the Troubleshooting page, please open a new issue on the Issues Page of the project.
Development
Please refer to JavaMOP's GitHub Page for source code and more information about development of JavaMOP.
Documentation
The documentation for this version is currently under development. For more information you can refer to JavaMOP Syntax and our JavaMOP papers.
