If you do not have a CIS account, here is how to get one:
Coursework submissions will be done via GitHub. In the beginning of the course, each student will be given a private GitHub repository; thus, you need to have a GitHub account.
It is recommended that you use Sireum v3 IVE which provides all the required tools
for the course in a single bundle.
Once installed, you can found all the required tools under
SIREUM_HOME/platform
.
Sireum IVE is installed in all CS labs (e.g., 1114 and 1117 Engineering Hall); see K-State CS Laboratories for more information.
Below are some information if you prefer to install the required tools yourself.
You need Java 8 (or above) SDK to compile and test the course example code, assignments, etc. For your course work, you can choose to use Scala 2.12.6 (which still requires Java 8).
We will use the Sbt build tool (1.2.0) and IntelliJ with the following plugins (see the IntelliJ doc on how to install them):
ANTLR v4 is required for developing parser/lexer in the course. The ANTLR v4 grammar plugin is an excellent environment for ANTLR inside IntelliJ. It is highly recommended that you use the plugin when working with the course assignments.
To help you understand Eclipse Java Development Tools (JDT) object model Application Programming Interface (API), you can install the JDT ASTView plugin. The lectures assume that you have installed this plug-in.
[ASM Bytecode Viewer](http://plugins.jetbrains.com/plugin/10302-asm-bytecode-viewer)
The example project uses ASM for generating Java class files. To help you understand ASM API, you can install the ASM Bytecode Viewer plugin.
The course example projects (e.g., StaticJava Compiler) are stored in a Git repository accessible at: https://github.com/ksu-cis-706/compiler
Slides can be accessed at: http://goo.gl/jODYcY
Note that the slides will be updated during the course so do not print them until we have discussed the topics.
In a CS Windows machine (including Windows RDP server remote.win.cs.ksu.edu
),
Sireum IVE can be launched by using the start menu item Sireum
(or Sireum32
for the 32-bit version) or by issuing the command-line idea64
or idea
.
Sireum CLI can be launched by issuing the command-line sireum
.
The absolute path to SIREUM_HOME
is C:\Sireum
.
In a CS Linux machine (including using ssh -X
or using
the faster remote desktop protocol X2Go to cslinux.cs.ksu.edu
),
Sireum IVE can be launched by issuing the command-line idea
.
The absolute path to SIREUM_HOME
is /research/santos/sireum/linux64/Sireum
.
In the CS RDP macOS server remote-mac.cs.ksu.edu
,
Sireum IVE can be launched by double-clicking the Sireum
icon in /Applications
or by issuing the command-line: open /Applications/Sireum.app
.
Sireum CLI can be launched by issuing the command-line sireum
.
The absolute path to SIREUM_HOME
is /Applications/Sireum.app/Contents/Resources/sireum-v3
.
If you plan to use RDP from your personal machine, you can download the appropriate free client for your machine OS:
X2Go clients for various OSes can be downloaded from: http://wiki.x2go.org/doku.php/download:start