Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/512529.512558> ?p ?o }
Showing triples 1 to 24 of
24
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 first1 "C.".
- 512529.512558 first2 "K.R.M.".
- 512529.512558 first3 "M.".
- 512529.512558 first4 "G.".
- 512529.512558 first5 "R.".
- 512529.512558 first6 "J. B.".
- 512529.512558 isCitedBy Java.
- 512529.512558 isCitedBy Extended_static_checking.
- 512529.512558 isbn "1-58113-463-0".
- 512529.512558 journal "Proceedings of the Conference on Programming Language Design and Implementation".
- 512529.512558 last1 "Flanagan".
- 512529.512558 last2 "Leino".
- 512529.512558 last3 "Lillibridge".
- 512529.512558 last4 "Nelson".
- 512529.512558 last5 "Saxe".
- 512529.512558 last6 "Stata".
- 512529.512558 page "234".
- 512529.512558 pages "234–245".
- 512529.512558 title "Extended static checking for Java".
- 512529.512558 work "Proceedings of the Conference on Programming Language Design and Implementation".
- 512529.512558 year "2002".