Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296025871> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2296025871 abstract "Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. While there is already a vast body of work on software testing and verification, the task to ensure that an implementation indeed meets its specification is still undeniably of great difficulty. ATS is a programming language equipped with a highly expressive type system that allows the programmer to specify and implement and then verify within the language itself that an implementation meets its specification. In this paper, we present largely through examples a programmer-centric style of program verification that puts emphasis on requesting the programmer to explain in a literate fashion why his or her code works. This is a solid step in the pursuit of software construction that is verifiably correct according to specification." @default.
- W2296025871 created "2016-06-24" @default.
- W2296025871 creator A5046868978 @default.
- W2296025871 creator A5071457648 @default.
- W2296025871 date "2012-03-27" @default.
- W2296025871 modified "2023-09-27" @default.
- W2296025871 title "A Programmer-Centric Approach to Program Verification in ATS" @default.
- W2296025871 cites W1529441891 @default.
- W2296025871 cites W1565541828 @default.
- W2296025871 cites W159715351 @default.
- W2296025871 cites W1996228525 @default.
- W2296025871 cites W2011639327 @default.
- W2296025871 cites W2106718208 @default.
- W2296025871 cites W2128057448 @default.
- W2296025871 cites W2129671708 @default.
- W2296025871 cites W2137628566 @default.
- W2296025871 cites W2144973245 @default.
- W2296025871 cites W2168162624 @default.
- W2296025871 cites W3146075203 @default.
- W2296025871 cites W1547262205 @default.
- W2296025871 cites W2520046597 @default.
- W2296025871 doi "https://doi.org/10.48550/arxiv.1203.6102" @default.
- W2296025871 hasPublicationYear "2012" @default.
- W2296025871 type Work @default.
- W2296025871 sameAs 2296025871 @default.
- W2296025871 citedByCount "0" @default.
- W2296025871 crossrefType "posted-content" @default.
- W2296025871 hasAuthorship W2296025871A5046868978 @default.
- W2296025871 hasAuthorship W2296025871A5071457648 @default.
- W2296025871 hasBestOaLocation W22960258711 @default.
- W2296025871 hasConcept C115903868 @default.
- W2296025871 hasConcept C116253237 @default.
- W2296025871 hasConcept C119263510 @default.
- W2296025871 hasConcept C127413603 @default.
- W2296025871 hasConcept C15077461 @default.
- W2296025871 hasConcept C186846655 @default.
- W2296025871 hasConcept C199360897 @default.
- W2296025871 hasConcept C201677973 @default.
- W2296025871 hasConcept C201995342 @default.
- W2296025871 hasConcept C2777904410 @default.
- W2296025871 hasConcept C2778514511 @default.
- W2296025871 hasConcept C2780451532 @default.
- W2296025871 hasConcept C34165917 @default.
- W2296025871 hasConcept C41008148 @default.
- W2296025871 hasConcept C50033165 @default.
- W2296025871 hasConcept C529173508 @default.
- W2296025871 hasConcept C75606506 @default.
- W2296025871 hasConcept C80291951 @default.
- W2296025871 hasConceptScore W2296025871C115903868 @default.
- W2296025871 hasConceptScore W2296025871C116253237 @default.
- W2296025871 hasConceptScore W2296025871C119263510 @default.
- W2296025871 hasConceptScore W2296025871C127413603 @default.
- W2296025871 hasConceptScore W2296025871C15077461 @default.
- W2296025871 hasConceptScore W2296025871C186846655 @default.
- W2296025871 hasConceptScore W2296025871C199360897 @default.
- W2296025871 hasConceptScore W2296025871C201677973 @default.
- W2296025871 hasConceptScore W2296025871C201995342 @default.
- W2296025871 hasConceptScore W2296025871C2777904410 @default.
- W2296025871 hasConceptScore W2296025871C2778514511 @default.
- W2296025871 hasConceptScore W2296025871C2780451532 @default.
- W2296025871 hasConceptScore W2296025871C34165917 @default.
- W2296025871 hasConceptScore W2296025871C41008148 @default.
- W2296025871 hasConceptScore W2296025871C50033165 @default.
- W2296025871 hasConceptScore W2296025871C529173508 @default.
- W2296025871 hasConceptScore W2296025871C75606506 @default.
- W2296025871 hasConceptScore W2296025871C80291951 @default.
- W2296025871 hasLocation W22960258711 @default.
- W2296025871 hasOpenAccess W2296025871 @default.
- W2296025871 hasPrimaryLocation W22960258711 @default.
- W2296025871 hasRelatedWork W1515836884 @default.
- W2296025871 hasRelatedWork W1541085282 @default.
- W2296025871 hasRelatedWork W1881220596 @default.
- W2296025871 hasRelatedWork W1916258364 @default.
- W2296025871 hasRelatedWork W2065369774 @default.
- W2296025871 hasRelatedWork W207164054 @default.
- W2296025871 hasRelatedWork W2121758369 @default.
- W2296025871 hasRelatedWork W2296025871 @default.
- W2296025871 hasRelatedWork W38760930 @default.
- W2296025871 hasRelatedWork W4285242425 @default.
- W2296025871 isParatext "false" @default.
- W2296025871 isRetracted "false" @default.
- W2296025871 magId "2296025871" @default.
- W2296025871 workType "article" @default.