Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495147690> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1495147690 endingPage "181" @default.
- W1495147690 startingPage "173" @default.
- W1495147690 abstract "One approach to Prof. Hoare’s challenge is to view the development of verified software from the perspective of interactive theorem provers. This idea is not new and many medium-scale software systems have been developed and verified in this manner. Developments based on HOL, ACL2, or PVS have already been described and advocated and our position stands on the same line: most powerful (higher-order) theorem proving systems already contain a programming language, programs can be developed and the correctness of these programs can be specified and verified, they can then be compiled into traditional executable code. In this sense, we already have a small scale example of a verification aware programming language." @default.
- W1495147690 created "2016-06-24" @default.
- W1495147690 creator A5013318461 @default.
- W1495147690 creator A5024129541 @default.
- W1495147690 date "2008-01-01" @default.
- W1495147690 modified "2023-10-08" @default.
- W1495147690 title "Dependent Types, Theorem Proving, and Applications for a Verifying Compiler" @default.
- W1495147690 cites W1513780238 @default.
- W1495147690 cites W1541694476 @default.
- W1495147690 cites W1541838876 @default.
- W1495147690 cites W1553511155 @default.
- W1495147690 cites W1592189276 @default.
- W1495147690 cites W1595501494 @default.
- W1495147690 cites W1775764070 @default.
- W1495147690 cites W2005192022 @default.
- W1495147690 cites W2007116092 @default.
- W1495147690 cites W2066621462 @default.
- W1495147690 cites W2081938726 @default.
- W1495147690 cites W2135625856 @default.
- W1495147690 cites W3006458745 @default.
- W1495147690 doi "https://doi.org/10.1007/978-3-540-69149-5_19" @default.
- W1495147690 hasPublicationYear "2008" @default.
- W1495147690 type Work @default.
- W1495147690 sameAs 1495147690 @default.
- W1495147690 citedByCount "3" @default.
- W1495147690 countsByYear W14951476902014 @default.
- W1495147690 countsByYear W14951476902015 @default.
- W1495147690 crossrefType "book-chapter" @default.
- W1495147690 hasAuthorship W1495147690A5013318461 @default.
- W1495147690 hasAuthorship W1495147690A5024129541 @default.
- W1495147690 hasBestOaLocation W14951476901 @default.
- W1495147690 hasConcept C104949639 @default.
- W1495147690 hasConcept C160145156 @default.
- W1495147690 hasConcept C169590947 @default.
- W1495147690 hasConcept C17435882 @default.
- W1495147690 hasConcept C199360897 @default.
- W1495147690 hasConcept C206880738 @default.
- W1495147690 hasConcept C41008148 @default.
- W1495147690 hasConcept C55439883 @default.
- W1495147690 hasConcept C80444323 @default.
- W1495147690 hasConceptScore W1495147690C104949639 @default.
- W1495147690 hasConceptScore W1495147690C160145156 @default.
- W1495147690 hasConceptScore W1495147690C169590947 @default.
- W1495147690 hasConceptScore W1495147690C17435882 @default.
- W1495147690 hasConceptScore W1495147690C199360897 @default.
- W1495147690 hasConceptScore W1495147690C206880738 @default.
- W1495147690 hasConceptScore W1495147690C41008148 @default.
- W1495147690 hasConceptScore W1495147690C55439883 @default.
- W1495147690 hasConceptScore W1495147690C80444323 @default.
- W1495147690 hasLocation W14951476901 @default.
- W1495147690 hasOpenAccess W1495147690 @default.
- W1495147690 hasPrimaryLocation W14951476901 @default.
- W1495147690 hasRelatedWork W1487643886 @default.
- W1495147690 hasRelatedWork W1495147690 @default.
- W1495147690 hasRelatedWork W2002816392 @default.
- W1495147690 hasRelatedWork W2052581162 @default.
- W1495147690 hasRelatedWork W2245390655 @default.
- W1495147690 hasRelatedWork W2559332729 @default.
- W1495147690 hasRelatedWork W2996838589 @default.
- W1495147690 hasRelatedWork W34452851 @default.
- W1495147690 hasRelatedWork W4283765998 @default.
- W1495147690 hasRelatedWork W4310825045 @default.
- W1495147690 isParatext "false" @default.
- W1495147690 isRetracted "false" @default.
- W1495147690 magId "1495147690" @default.
- W1495147690 workType "book-chapter" @default.