Less-Java, more type safety: Type inference and static analysis in Less-Java

Author

Charles D. Hines, James Madison UniversityFollow

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

Date of Graduation

5-9-2020

Document Type

Thesis

Degree Name

Bachelor of Science (BS)

Department

Department of Computer Science

Advisor(s)

Michael O. Lam

Christopher J. Fox

David H. Bernstein

Abstract

Less-Java is an object-oriented programming language whose primary goal is to help new programmers learn programming. Some of the features of Less-Java that might make it better for beginners are static typing, implicit typing, low verbosity, and built-in support for unit testing. The primary focus of this project is on improving type inference (especially with regards to object-oriented programming) and adding static analysis in the Less-Java compiler.

Recommended Citation

Hines, Charles D., "Less-Java, more type safety: Type inference and static analysis in Less-Java" (2020). Senior Honors Projects, 2020-current. 27.
https://commons.lib.jmu.edu/honors202029/27