Inproceedings,
Establishing object invariants with delayed types.
M. Fähndrich, and S. Xia.OOPSLA, page 337-350. ACM, (2007)
Meta data
- BibTeX key
- conf/oopsla/FahndrichX07
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 2007
- pages
- 337-350
- publisher
- ACM
- crossref
- conf/oopsla/2007
- ee
- https://doi.org/10.1145/1297105.1297052
- isbn
- 978-1-59593-786-5
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2007.html#FahndrichX07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/FahndrichX07
%A Fähndrich, Manuel
%A Xia, Songtao
%B OOPSLA
%D 2007
%E Gabriel, Richard P.
%E Bacon, David F.
%E Lopes, Cristina Videira
%E Jr., Guy L. Steele
%I ACM
%K dblp
%P 337-350
%T Establishing object invariants with delayed types.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2007.html#FahndrichX07
%@ 978-1-59593-786-5
@inproceedings{conf/oopsla/FahndrichX07,
added-at = {2021-06-25T00:00:00.000+0200},
author = {Fähndrich, Manuel and Xia, Songtao},
biburl = {https://www.bibsonomy.org/bibtex/279e7aa2b82768f4829185d7b653969ce/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2007},
editor = {Gabriel, Richard P. and Bacon, David F. and Lopes, Cristina Videira and Jr., Guy L. Steele},
ee = {https://doi.org/10.1145/1297105.1297052},
interhash = {4eea490b0879575dafed7352a67ebbdd},
intrahash = {79e7aa2b82768f4829185d7b653969ce},
isbn = {978-1-59593-786-5},
keywords = {dblp},
pages = {337-350},
publisher = {ACM},
timestamp = {2024-04-09T11:44:02.000+0200},
title = {Establishing object invariants with delayed types.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2007.html#FahndrichX07},
year = 2007
}