Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/512529.512558> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 512529.512558 author1 "Cormac Flanagan".
- 512529.512558 author2 "K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata".
- 512529.512558 doi "10.1145/512529.512558".
- 512529.512558 isCitedBy Extended_static_checking.
- 512529.512558 journal "Proceedings of the Conference on Programming Language Design and Implementation".
- 512529.512558 page "234".
- 512529.512558 title "Extended static checking for Java".
- 512529.512558 year "2002".