Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045118927> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2045118927 abstract "Whether programming in a high-level modeling language providing automatic code generation, in a formally-verifiable language, in a language with advanced static analysis tools, or directly in a normal third-generation programming language, we ultimately depend on a compiler to generate the actual machine code that is executed by the target machine. This panel will discuss the issue of how we build trust in our compilers, using a commercial test suite, a standardized test suite, or a formal verification process." @default.
- W2045118927 created "2016-06-24" @default.
- W2045118927 creator A5023671470 @default.
- W2045118927 creator A5056106232 @default.
- W2045118927 creator A5075091834 @default.
- W2045118927 creator A5090209579 @default.
- W2045118927 date "2012-12-02" @default.
- W2045118927 modified "2023-09-26" @default.
- W2045118927 title "Panel on compiler certification" @default.
- W2045118927 doi "https://doi.org/10.1145/2402676.2402708" @default.
- W2045118927 hasPublicationYear "2012" @default.
- W2045118927 type Work @default.
- W2045118927 sameAs 2045118927 @default.
- W2045118927 citedByCount "0" @default.
- W2045118927 crossrefType "proceedings-article" @default.
- W2045118927 hasAuthorship W2045118927A5023671470 @default.
- W2045118927 hasAuthorship W2045118927A5056106232 @default.
- W2045118927 hasAuthorship W2045118927A5075091834 @default.
- W2045118927 hasAuthorship W2045118927A5090209579 @default.
- W2045118927 hasConcept C111919701 @default.
- W2045118927 hasConcept C115168132 @default.
- W2045118927 hasConcept C115903868 @default.
- W2045118927 hasConcept C119263510 @default.
- W2045118927 hasConcept C119857082 @default.
- W2045118927 hasConcept C128942645 @default.
- W2045118927 hasConcept C133162039 @default.
- W2045118927 hasConcept C151552104 @default.
- W2045118927 hasConcept C152877465 @default.
- W2045118927 hasConcept C166957645 @default.
- W2045118927 hasConcept C169590947 @default.
- W2045118927 hasConcept C177264268 @default.
- W2045118927 hasConcept C17744445 @default.
- W2045118927 hasConcept C199360897 @default.
- W2045118927 hasConcept C199539241 @default.
- W2045118927 hasConcept C201997060 @default.
- W2045118927 hasConcept C26517878 @default.
- W2045118927 hasConcept C2776760102 @default.
- W2045118927 hasConcept C34165917 @default.
- W2045118927 hasConcept C41008148 @default.
- W2045118927 hasConcept C46304622 @default.
- W2045118927 hasConcept C50033165 @default.
- W2045118927 hasConcept C79581498 @default.
- W2045118927 hasConcept C95457728 @default.
- W2045118927 hasConcept C97686452 @default.
- W2045118927 hasConceptScore W2045118927C111919701 @default.
- W2045118927 hasConceptScore W2045118927C115168132 @default.
- W2045118927 hasConceptScore W2045118927C115903868 @default.
- W2045118927 hasConceptScore W2045118927C119263510 @default.
- W2045118927 hasConceptScore W2045118927C119857082 @default.
- W2045118927 hasConceptScore W2045118927C128942645 @default.
- W2045118927 hasConceptScore W2045118927C133162039 @default.
- W2045118927 hasConceptScore W2045118927C151552104 @default.
- W2045118927 hasConceptScore W2045118927C152877465 @default.
- W2045118927 hasConceptScore W2045118927C166957645 @default.
- W2045118927 hasConceptScore W2045118927C169590947 @default.
- W2045118927 hasConceptScore W2045118927C177264268 @default.
- W2045118927 hasConceptScore W2045118927C17744445 @default.
- W2045118927 hasConceptScore W2045118927C199360897 @default.
- W2045118927 hasConceptScore W2045118927C199539241 @default.
- W2045118927 hasConceptScore W2045118927C201997060 @default.
- W2045118927 hasConceptScore W2045118927C26517878 @default.
- W2045118927 hasConceptScore W2045118927C2776760102 @default.
- W2045118927 hasConceptScore W2045118927C34165917 @default.
- W2045118927 hasConceptScore W2045118927C41008148 @default.
- W2045118927 hasConceptScore W2045118927C46304622 @default.
- W2045118927 hasConceptScore W2045118927C50033165 @default.
- W2045118927 hasConceptScore W2045118927C79581498 @default.
- W2045118927 hasConceptScore W2045118927C95457728 @default.
- W2045118927 hasConceptScore W2045118927C97686452 @default.
- W2045118927 hasLocation W20451189271 @default.
- W2045118927 hasOpenAccess W2045118927 @default.
- W2045118927 hasPrimaryLocation W20451189271 @default.
- W2045118927 hasRelatedWork W1497385637 @default.
- W2045118927 hasRelatedWork W2044422526 @default.
- W2045118927 hasRelatedWork W2045118927 @default.
- W2045118927 hasRelatedWork W2074436508 @default.
- W2045118927 hasRelatedWork W2369288331 @default.
- W2045118927 hasRelatedWork W2519339279 @default.
- W2045118927 hasRelatedWork W283806354 @default.
- W2045118927 hasRelatedWork W2885590126 @default.
- W2045118927 hasRelatedWork W302861901 @default.
- W2045118927 hasRelatedWork W3160223147 @default.
- W2045118927 isParatext "false" @default.
- W2045118927 isRetracted "false" @default.
- W2045118927 magId "2045118927" @default.
- W2045118927 workType "article" @default.