Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118032087> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2118032087 abstract "A methodology for the verification of compiler correctness based on the LF logical framework as realized within the Elf programming language is presented. This technique is used to specify, implement, and verify a compiler from a simple functional programming language to a variant of the Categorical Abstract Machine (CAM). >" @default.
- W2118032087 created "2016-06-24" @default.
- W2118032087 creator A5021476649 @default.
- W2118032087 creator A5078386993 @default.
- W2118032087 date "2003-01-02" @default.
- W2118032087 modified "2023-09-23" @default.
- W2118032087 title "Compiler verification in LF" @default.
- W2118032087 cites W1556867883 @default.
- W2118032087 cites W1577078241 @default.
- W2118032087 cites W1599690926 @default.
- W2118032087 cites W18425853 @default.
- W2118032087 cites W1963658586 @default.
- W2118032087 cites W1974190112 @default.
- W2118032087 cites W2015256273 @default.
- W2118032087 cites W2032673545 @default.
- W2118032087 cites W2035030296 @default.
- W2118032087 cites W2059019165 @default.
- W2118032087 cites W2092321387 @default.
- W2118032087 cites W2109088204 @default.
- W2118032087 cites W2163693197 @default.
- W2118032087 cites W4236324644 @default.
- W2118032087 cites W4249903311 @default.
- W2118032087 cites W77859606 @default.
- W2118032087 doi "https://doi.org/10.1109/lics.1992.185552" @default.
- W2118032087 hasPublicationYear "2003" @default.
- W2118032087 type Work @default.
- W2118032087 sameAs 2118032087 @default.
- W2118032087 citedByCount "49" @default.
- W2118032087 countsByYear W21180320872020 @default.
- W2118032087 countsByYear W21180320872021 @default.
- W2118032087 crossrefType "proceedings-article" @default.
- W2118032087 hasAuthorship W2118032087A5021476649 @default.
- W2118032087 hasAuthorship W2118032087A5078386993 @default.
- W2118032087 hasConcept C169590947 @default.
- W2118032087 hasConcept C199360897 @default.
- W2118032087 hasConcept C41008148 @default.
- W2118032087 hasConceptScore W2118032087C169590947 @default.
- W2118032087 hasConceptScore W2118032087C199360897 @default.
- W2118032087 hasConceptScore W2118032087C41008148 @default.
- W2118032087 hasLocation W21180320871 @default.
- W2118032087 hasOpenAccess W2118032087 @default.
- W2118032087 hasPrimaryLocation W21180320871 @default.
- W2118032087 hasRelatedWork W1497385637 @default.
- W2118032087 hasRelatedWork W1527862632 @default.
- W2118032087 hasRelatedWork W1608659702 @default.
- W2118032087 hasRelatedWork W1977285665 @default.
- W2118032087 hasRelatedWork W2007728761 @default.
- W2118032087 hasRelatedWork W2044422526 @default.
- W2118032087 hasRelatedWork W2369288331 @default.
- W2118032087 hasRelatedWork W2519339279 @default.
- W2118032087 hasRelatedWork W2740990710 @default.
- W2118032087 hasRelatedWork W2467097043 @default.
- W2118032087 isParatext "false" @default.
- W2118032087 isRetracted "false" @default.
- W2118032087 magId "2118032087" @default.
- W2118032087 workType "article" @default.