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

Uloženo v:
Podrobná bibliografie
Název: Less-Java, more type safety: Type inference and static analysis in Less-Java
Autoři: Hines, Charles D.
Přispěvatelé: Michael O. Lam, Christopher J. Fox, David H. Bernstein
Zdroj: Senior Honors Projects, 2020-current
Informace o vydavateli: JMU Scholarly Commons
Rok vydání: 2020
Sbírka: James Madison University: JMU Scholarly Commons
Témata: Less-Java, type inference, static analysis, compiler, Other Computer Engineering
Popis: 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.
Druh dokumentu: text
Popis souboru: application/pdf
Jazyk: unknown
Relation: https://commons.lib.jmu.edu/honors202029/27; https://commons.lib.jmu.edu/context/honors202029/article/1030/viewcontent/hinescd.pdf
Dostupnost: https://commons.lib.jmu.edu/honors202029/27
https://commons.lib.jmu.edu/context/honors202029/article/1030/viewcontent/hinescd.pdf
Rights: http://creativecommons.org/licenses/by/4.0/
Přístupové číslo: edsbas.9C54F47F
Databáze: BASE
Popis
Abstrakt: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.