Javalite - An Operational Semantics for Modeling Java Programs
Java is currently a widely used programming language. However, there is no formal definition of Java's semantics. Consequently, Java code does not have a universal meaning. This work discusses recent attempts to formalize Java and presents a new formalism of Java called Javalite. In contrast to...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2012
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/3376 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=4375&context=etd |