Citation Context

...mplement an interpreter (in Prolog) for a subset of the Java semantics definitions, to be used as a theorem prover for proving safety properties about Java. Then, for my undergraduate research project=-=[6]-=-, I extended the semantics to also cover both constructors and access modifiers for Java classes and their member fields, methods and constructors. Learning the details of Java’s language specificatio...