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 implementations use reflection and are consequently inefficient. Here we describe JEqualityGen, a source code generator that s...
Collection data structures in standard libraries of programming languages are designed to excel for ...
A recent trend in software development is building a precise model that can be used as a basis for t...
AbstractThe logic of Equalities with Uninterpreted Functions is used in the formal verification comm...
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...
Traditional programming languages provide a simplified view of equality. Many programmers have appar...
In this dissertation, I describe the Peggy system for performing program optimization and translatio...
Igualdade e ordem são conceitos relacionados que são usados diariamente. Como eles dependem do domín...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
Equality is a fundamental concept in first-order reasoning, yet for connection based proof methods a...
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, an...
The hash trie data structure is a common part in standard collection libraries of JVM programming la...
An obstacle to practical logic programming systems with equality is infinite computation. In the dis...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Collection data structures in standard libraries of programming languages are designed to excel for ...
A recent trend in software development is building a precise model that can be used as a basis for t...
AbstractThe logic of Equalities with Uninterpreted Functions is used in the formal verification comm...
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...
Traditional programming languages provide a simplified view of equality. Many programmers have appar...
In this dissertation, I describe the Peggy system for performing program optimization and translatio...
Igualdade e ordem são conceitos relacionados que são usados diariamente. Como eles dependem do domín...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
Equality is a fundamental concept in first-order reasoning, yet for connection based proof methods a...
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, an...
The hash trie data structure is a common part in standard collection libraries of JVM programming la...
An obstacle to practical logic programming systems with equality is infinite computation. In the dis...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Collection data structures in standard libraries of programming languages are designed to excel for ...
A recent trend in software development is building a precise model that can be used as a basis for t...
AbstractThe logic of Equalities with Uninterpreted Functions is used in the formal verification comm...