BibTeX record conf/pepm/IwamaK02

download as .bib file

@inproceedings{DBLP:conf/pepm/IwamaK02,
  author       = {Futoshi Iwama and
                  Naoki Kobayashi},
  editor       = {Kenichi Asai and
                  Wei{-}Ngan Chin},
  title        = {A new type system for {JVM} lock primitives},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
                  on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
                  Japan, September 12-14, 2002},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/568173.568182},
  doi          = {10.1145/568173.568182},
  timestamp    = {Sat, 19 Oct 2019 20:11:18 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/IwamaK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics