Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/292540.292552> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 292540.292552 author "Mooly Sagiv".
- 292540.292552 coauthors Reinhard_Wilhelm.
- 292540.292552 coauthors Thomas_W._Reps.
- 292540.292552 date "May 2002".
- 292540.292552 doi "10.1145/292540.292552".
- 292540.292552 isCitedBy Shape_analysis_(program_analysis).
- 292540.292552 issue "3".
- 292540.292552 journal "ACM Transactions on Programming Languages and Systems".
- 292540.292552 pages "217–298".
- 292540.292552 publisher "ACM".
- 292540.292552 title "Parametric shape analysis via 3-valued logic".
- 292540.292552 url toplas02.pdf.
- 292540.292552 volume "24".