Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023767879> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2023767879 endingPage "51" @default.
- W2023767879 startingPage "44" @default.
- W2023767879 abstract "Assertions are widely known as a powerful tool to detect software faults during the debugging of software systems. Despite the maturity of software engineering tools, assertions are seldom used in practice. ASAP is a pre-processor for C programs which implements several concepts defmed in the theory of formal specification, such as preconditions, postconditions, assertions related to intermediate states, loop invariants and variants, existential and universal quantifiers. In this paper, the notion of software contract is introduced, and shown how it is applicable with assertions. Finally, a collection of useful examples is given, and ASAP design and implementation is described." @default.
- W2023767879 created "2016-06-24" @default.
- W2023767879 creator A5031358693 @default.
- W2023767879 date "1998-12-01" @default.
- W2023767879 modified "2023-09-25" @default.
- W2023767879 title "ASAP—a simple assertion pre-processor" @default.
- W2023767879 cites W1975290762 @default.
- W2023767879 cites W2083121724 @default.
- W2023767879 cites W2115484804 @default.
- W2023767879 doi "https://doi.org/10.1145/307824.307859" @default.
- W2023767879 hasPublicationYear "1998" @default.
- W2023767879 type Work @default.
- W2023767879 sameAs 2023767879 @default.
- W2023767879 citedByCount "6" @default.
- W2023767879 countsByYear W20237678792017 @default.
- W2023767879 crossrefType "journal-article" @default.
- W2023767879 hasAuthorship W2023767879A5031358693 @default.
- W2023767879 hasBestOaLocation W20237678791 @default.
- W2023767879 hasConcept C111472728 @default.
- W2023767879 hasConcept C115903868 @default.
- W2023767879 hasConcept C138885662 @default.
- W2023767879 hasConcept C168065819 @default.
- W2023767879 hasConcept C186846655 @default.
- W2023767879 hasConcept C199360897 @default.
- W2023767879 hasConcept C2777904410 @default.
- W2023767879 hasConcept C2780586882 @default.
- W2023767879 hasConcept C40422974 @default.
- W2023767879 hasConcept C41008148 @default.
- W2023767879 hasConcept C529173508 @default.
- W2023767879 hasConcept C80291951 @default.
- W2023767879 hasConceptScore W2023767879C111472728 @default.
- W2023767879 hasConceptScore W2023767879C115903868 @default.
- W2023767879 hasConceptScore W2023767879C138885662 @default.
- W2023767879 hasConceptScore W2023767879C168065819 @default.
- W2023767879 hasConceptScore W2023767879C186846655 @default.
- W2023767879 hasConceptScore W2023767879C199360897 @default.
- W2023767879 hasConceptScore W2023767879C2777904410 @default.
- W2023767879 hasConceptScore W2023767879C2780586882 @default.
- W2023767879 hasConceptScore W2023767879C40422974 @default.
- W2023767879 hasConceptScore W2023767879C41008148 @default.
- W2023767879 hasConceptScore W2023767879C529173508 @default.
- W2023767879 hasConceptScore W2023767879C80291951 @default.
- W2023767879 hasIssue "12" @default.
- W2023767879 hasLocation W20237678791 @default.
- W2023767879 hasOpenAccess W2023767879 @default.
- W2023767879 hasPrimaryLocation W20237678791 @default.
- W2023767879 hasRelatedWork W184442488 @default.
- W2023767879 hasRelatedWork W201088255 @default.
- W2023767879 hasRelatedWork W2023767879 @default.
- W2023767879 hasRelatedWork W2058940605 @default.
- W2023767879 hasRelatedWork W2090636347 @default.
- W2023767879 hasRelatedWork W2100917927 @default.
- W2023767879 hasRelatedWork W2534879944 @default.
- W2023767879 hasRelatedWork W3047172142 @default.
- W2023767879 hasRelatedWork W63592217 @default.
- W2023767879 hasRelatedWork W1894736207 @default.
- W2023767879 hasVolume "33" @default.
- W2023767879 isParatext "false" @default.
- W2023767879 isRetracted "false" @default.
- W2023767879 magId "2023767879" @default.
- W2023767879 workType "article" @default.