榛葉, 尾ノ上, 岡野, 楠本真二, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案," 電子情報通信学会技術研究報告, 113(489), pp. 19-24 2014年3月.
ID 357
分類 研究会・全国大会等
タグ Java equals method hashCode method Formal Verification Satisfiability Modulo Theories
表題 (title) JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案
表題 (英文) Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java
著者名 (author) 榛葉 浩章, 尾ノ上 博樹, 岡野 浩三, 楠本真二
英文著者名 (author) Hiroaki Shimba,Hiroki Onoue,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Hiroaki Shimba,Hiroki Onoue,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) 電子情報通信学会技術研究報告
書籍・会議録表題(英文)
巻数 (volume) 113
号数 (number) 489
ページ範囲 (pages) 19-24
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 3
出版年 (year) 2014
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル document.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id357,
         title = {JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案},
        author = {榛葉 浩章 and  尾ノ上 博樹 and  岡野 浩三 and  楠本真二},
     booktitle = {電子情報通信学会技術研究報告},
        volume = {113},
        number = {489},
         pages = {19-24},
         month = {3},
          year = {2014},
}