Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/1111320.1111042> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 1111320.1111042 doi "10.1145/1111320.1111042".
- 1111320.1111042 first1 "X.".
- 1111320.1111042 isCitedBy Compiler_correctness.
- 1111320.1111042 journal "ACM SIGPLAN Notices".
- 1111320.1111042 last1 "Leroy".
- 1111320.1111042 pages "42–54".
- 1111320.1111042 title "Formal Certification of a Compiler Back-End or: Programming a Compiler with a Proof Assistant".
- 1111320.1111042 volume "41".
- 1111320.1111042 year "2006".