IdentityHashMap

swMATH44958MaRDI QIDQ5974139FDOQ5974139

Author name not available (Why is that?)

Official website: https://docs.oracle.com/javase/1.5.0/docs/api/java/util/IdentityHashMap.html

Described by source

• Formal specification and verification of JDK's identity hash map implementation

Cited In (3)

• Eclat
• Rostra
• JBMC

This page was built for software: IdentityHashMap