Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310507013> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4310507013 abstract "The dream of developing compilers that automatically verify whether or not programs meet their specifications remains an ongoing challenge. Such verifying compilers are (finally) on the verge of entering mainstream software development. This is partly due to advancements made over the last few decades, but also to the increasingly significant and complex role software plays in the modern world. As computer scientists, we should encourage this transition and help relegate many forms of software error to the history books. One way of increasing adoption is to design languages around these tools which look, on the surface, like regular programming languages. That is, to seamlessly integrate specification and verification and offer something that, for the everyday programmer, appears as nothing more than glorified type checking. This requires, amongst other things, careful consideration as to which language features mesh well with verification, and which do not. The design space here is interesting and subtle, but has been largely overlooked. In this talk, I will attempt to shed light on this murky area by contrasting the choices made in two existing languages: Dafny and Whiley." @default.
- W4310507013 created "2022-12-11" @default.
- W4310507013 creator A5008538442 @default.
- W4310507013 date "2022-11-29" @default.
- W4310507013 modified "2023-09-27" @default.
- W4310507013 title "Language Design Meets Verifying Compilers (Keynote)" @default.
- W4310507013 cites W1128447031 @default.
- W4310507013 cites W1483403737 @default.
- W4310507013 cites W1504196925 @default.
- W4310507013 cites W1507029499 @default.
- W4310507013 cites W1548442412 @default.
- W4310507013 cites W169070976 @default.
- W4310507013 cites W175791261 @default.
- W4310507013 cites W1761424764 @default.
- W4310507013 cites W1781094 @default.
- W4310507013 cites W1968428133 @default.
- W4310507013 cites W1998838326 @default.
- W4310507013 cites W2003479345 @default.
- W4310507013 cites W2095473904 @default.
- W4310507013 cites W2106339650 @default.
- W4310507013 cites W2119696713 @default.
- W4310507013 cites W2128347075 @default.
- W4310507013 cites W2130427425 @default.
- W4310507013 cites W2132302503 @default.
- W4310507013 cites W2151131364 @default.
- W4310507013 cites W2160543607 @default.
- W4310507013 cites W2166230870 @default.
- W4310507013 cites W2168197596 @default.
- W4310507013 cites W2202481953 @default.
- W4310507013 cites W2426198682 @default.
- W4310507013 cites W2770103357 @default.
- W4310507013 cites W2987907651 @default.
- W4310507013 cites W2996725384 @default.
- W4310507013 cites W3022025871 @default.
- W4310507013 cites W3133855622 @default.
- W4310507013 cites W39595256 @default.
- W4310507013 cites W4220713823 @default.
- W4310507013 cites W4246691913 @default.
- W4310507013 cites W59502829 @default.
- W4310507013 cites W62109595 @default.
- W4310507013 doi "https://doi.org/10.1145/3564719.3570917" @default.
- W4310507013 hasPublicationYear "2022" @default.
- W4310507013 type Work @default.
- W4310507013 citedByCount "0" @default.
- W4310507013 crossrefType "proceedings-article" @default.
- W4310507013 hasAuthorship W4310507013A5008538442 @default.
- W4310507013 hasConcept C115903868 @default.
- W4310507013 hasConcept C138885662 @default.
- W4310507013 hasConcept C169590947 @default.
- W4310507013 hasConcept C169760540 @default.
- W4310507013 hasConcept C199360897 @default.
- W4310507013 hasConcept C27206212 @default.
- W4310507013 hasConcept C2777617010 @default.
- W4310507013 hasConcept C2777904410 @default.
- W4310507013 hasConcept C2778514511 @default.
- W4310507013 hasConcept C2781095916 @default.
- W4310507013 hasConcept C41008148 @default.
- W4310507013 hasConcept C86803240 @default.
- W4310507013 hasConceptScore W4310507013C115903868 @default.
- W4310507013 hasConceptScore W4310507013C138885662 @default.
- W4310507013 hasConceptScore W4310507013C169590947 @default.
- W4310507013 hasConceptScore W4310507013C169760540 @default.
- W4310507013 hasConceptScore W4310507013C199360897 @default.
- W4310507013 hasConceptScore W4310507013C27206212 @default.
- W4310507013 hasConceptScore W4310507013C2777617010 @default.
- W4310507013 hasConceptScore W4310507013C2777904410 @default.
- W4310507013 hasConceptScore W4310507013C2778514511 @default.
- W4310507013 hasConceptScore W4310507013C2781095916 @default.
- W4310507013 hasConceptScore W4310507013C41008148 @default.
- W4310507013 hasConceptScore W4310507013C86803240 @default.
- W4310507013 hasLocation W43105070131 @default.
- W4310507013 hasOpenAccess W4310507013 @default.
- W4310507013 hasPrimaryLocation W43105070131 @default.
- W4310507013 hasRelatedWork W1497385637 @default.
- W4310507013 hasRelatedWork W1499296666 @default.
- W4310507013 hasRelatedWork W1608659702 @default.
- W4310507013 hasRelatedWork W1977285665 @default.
- W4310507013 hasRelatedWork W2021040988 @default.
- W4310507013 hasRelatedWork W2192862863 @default.
- W4310507013 hasRelatedWork W2740990710 @default.
- W4310507013 hasRelatedWork W2760941369 @default.
- W4310507013 hasRelatedWork W4254145838 @default.
- W4310507013 hasRelatedWork W1482645738 @default.
- W4310507013 isParatext "false" @default.
- W4310507013 isRetracted "false" @default.
- W4310507013 workType "article" @default.