Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions
In an object-oriented language such as Java, every class requires implementations of two special methods, one for determining equality and one for computing hash codes. Although the specification of these methods is usually straightforward, they can be hard to code (due to subclassing, delegation, c...
Main Authors: | Rayside, Derek (Contributor), Benjamin, Zev (Contributor), Singh, Rishabh (Contributor), Near, Joseph Paul (Contributor), Milicevic, Aleksandar (Contributor), Jackson, Daniel (Contributor) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor) |
Format: | Article |
Language: | English |
Published: |
Institute of Electrical and Electronics Engineers,
2010-02-11T13:29:09Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Automating abstraction functions
by: Rayside, Derek F
Published: (2011) -
DEVELOPMENT AND IMPLEMENTATION OF HASH FUNCTION FOR GENERATING HASHED MESSAGE
by: Amir Ghaeedi, et al.
Published: (2016-09-01) -
Unifying Execution of Imperative and Declarative Code
by: Milicevic, Aleksandar, et al.
Published: (2012) -
Agile specifications
by: Rayside, Derek, et al.
Published: (2011) -
Synthesizing Iterators from Abstraction Functions
by: Rayside, Derek, et al.
Published: (2014)