Formal Specification and Verification of JDK's Identity Hash Map Implementation

Autor: Boer, Martin de, Gouw, Stijn de, Klamroth, Jonas, Jung, Christian, Ulbrich, Mattias, Weigl, Alexander, Beek, Maurice H. ter, Monahan, Rosemary

Publikováno v: Integrated Formal Methods-17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, 13274, 45-62
Boer, M D, Gouw, S D, Klamroth, J, Jung, C, Ulbrich, M & Weigl, A 2022, Formal Specification and Verification of JDK's Identity Hash Map Implementation . in M H T Beek & R Monahan (eds), Integrated Formal Methods-17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings . vol. 13274, Springer, Cham, Lecture Notes in Computer Science, pp. 45-62, 17th International Conference on integrated Formal Methods, Lugano, Switzerland, 7/06/22 . https://doi.org/10.1007/978-3-031-07727-2_4
Lecture Notes in Computer Science ISBN: 9783031077265

Hash maps are a common and important data structure in efficient algorithm implementations. Despite their wide-spread use, real-world implementations are not regularly verified. In this paper, we present the first case study of the IdentityHashMap cl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3449c9276185778e07d321e1cc7cb4bb
https://hdl.handle.net/1820/d9e94631-4749-4188-9bd1-3b2525e19165

Mutations in the X-Linked and Autosomal Recessive Forms of Chronic Granulomatous Disease

Autor: Roos, Dirk, Boer, Martin de, Kuribayashi, Futoshi, Meischl, Christof, Weening, Ron S., Segal, Anthony W., Åhlin, Anders, Nemet, Katalin, Hossle, Johann Peter, Bernatowska-Matuszkiewicz, Ewa, Middleton-Price, Helen

Publikováno v: Blood; March 1996, Vol. 87 Issue: 5 p1663-1681, 19p

Immunologic Detection of Endothelial Cells in Human Whole Blood

Autor: Sbarbati, Rosella, Boer, Martin de, Marzilli, Mario, Scarlattini, Maria, Rossi, Giuseppe, Mourik, Jan A. van

Publikováno v: In Blood 15 February 1991 77(4):764-769

Splice Site Mutations Are a Common Cause of X-Linked Chronic Granulomatous Disease

Autor: Boer, Martin de, Bolscher, Ben G.J.M., Dinauer, Mary C., Orkin, Stuart H., Smith, C.l. Edvard, Ahlin, Anders, Weening, Ron S., Roos, Dirk ^*

Publikováno v: In Blood 15 September 1992 80(6):1553-1558