Determining equality of objects in Java requires the implementation of equals and hashCode methods. Such an implementation has to follow a specific object contract, making it a very tedious and error-prone process. Many equality and hashing methods implemented in Java applications violate this contract and are faulty, due to complexity arising from field shadowing, comparisons between different types, object cycles, etc. Equality and hashing implementations are conceptually simple, and can be derived automatically from information obtained statically from the program. However, existing systems that generate equality imple-mentations use reflection and are consequently inefficient. Here we describe JEqualityGen, a source code generator that ...
We describe Jqual, a practical framework for type qualifier inference in Java. Jqual is implemented ...
The Java.class file is a compact encoding of programs for a stack-based virtual machine. It is inten...
Keeping the code of a Java TM application consistent (code is consistent if all of the project class...
Determining equality of objects in Java requires the implementation of equals and hashCode methods. ...
Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in l...
In an object-oriented language such as Java, every class requires implementations of two special met...
In this dissertation, I describe the Peggy system for performing program optimization and translatio...
Traditional programming languages provide a simplified view of equality. Many programmers have appar...
Igualdade e ordem são conceitos relacionados que são usados diariamente. Como eles dependem do domín...
htmlabstractThe hash trie data structure is a common part in standard collection libraries of JVM pr...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
I present an implementation of a new method purity analysis for Java programs, which is described in...
Software correctness is an important topic, however, it is difficult to achieve. This thesis is a st...
This is a dataset of functionally equivalent Java methods. This dataset is published as a supplemen...
While test generators have the potential to significantly reduce the costs of software testing and h...
We describe Jqual, a practical framework for type qualifier inference in Java. Jqual is implemented ...
The Java.class file is a compact encoding of programs for a stack-based virtual machine. It is inten...
Keeping the code of a Java TM application consistent (code is consistent if all of the project class...
Determining equality of objects in Java requires the implementation of equals and hashCode methods. ...
Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in l...
In an object-oriented language such as Java, every class requires implementations of two special met...
In this dissertation, I describe the Peggy system for performing program optimization and translatio...
Traditional programming languages provide a simplified view of equality. Many programmers have appar...
Igualdade e ordem são conceitos relacionados que são usados diariamente. Como eles dependem do domín...
htmlabstractThe hash trie data structure is a common part in standard collection libraries of JVM pr...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
I present an implementation of a new method purity analysis for Java programs, which is described in...
Software correctness is an important topic, however, it is difficult to achieve. This thesis is a st...
This is a dataset of functionally equivalent Java methods. This dataset is published as a supplemen...
While test generators have the potential to significantly reduce the costs of software testing and h...
We describe Jqual, a practical framework for type qualifier inference in Java. Jqual is implemented ...
The Java.class file is a compact encoding of programs for a stack-based virtual machine. It is inten...
Keeping the code of a Java TM application consistent (code is consistent if all of the project class...