References

---

Books

• Principle of Program Analysis.
  Still the state-of-the-art for static analysis.
• Static Program Analysis.
  A more modern approach to static analysis.
• Types and Programming Languages.
  Programming languages from the type system point of view.
• Modern compiler implementation. (The tiger book.)
  The implementation of modern languages.

Java Resources

• The Java Language Specification.
• The Java Virtual Machine Specification.
• The Java API Specification.
• Java Tutorials.
  Note that the above tutorial only covers Java 8, instead of the latest Java 24 as we used in this course. Nevertheless, it is still a good starting point to learn Java.

Software and Tools

• Open JDK.
  We will use Java 24 in this course.
• Oracle Java Development Kit (JDK).
  Proprietary software, so use with caution.
• IntelliJ.
  A popular IDE designed in Java, for Java.
• VS code.
  Support Java via plugins.