Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533283911> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1533283911 endingPage "103" @default.
- W1533283911 startingPage "85" @default.
- W1533283911 abstract "A program checker verifies that a particular program execution is correct. We give simple and efficient program checkers for some basic geometric tasks. We report about our experiences with program checking in the context of the LEDA system. We discuss program checking for data structures that have to rely on user-provided functions." @default.
- W1533283911 created "2016-06-24" @default.
- W1533283911 creator A5005637149 @default.
- W1533283911 creator A5010961023 @default.
- W1533283911 creator A5022685800 @default.
- W1533283911 creator A5022806065 @default.
- W1533283911 creator A5034031744 @default.
- W1533283911 creator A5083878690 @default.
- W1533283911 creator A5089035495 @default.
- W1533283911 date "1999-02-01" @default.
- W1533283911 modified "2023-09-24" @default.
- W1533283911 title "Checking geometric programs or verification of geometric structures" @default.
- W1533283911 doi "https://doi.org/10.1016/s0925-7721(98)00036-4" @default.
- W1533283911 hasPublicationYear "1999" @default.
- W1533283911 type Work @default.
- W1533283911 sameAs 1533283911 @default.
- W1533283911 citedByCount "18" @default.
- W1533283911 countsByYear W15332839112013 @default.
- W1533283911 countsByYear W15332839112014 @default.
- W1533283911 countsByYear W15332839112021 @default.
- W1533283911 crossrefType "journal-article" @default.
- W1533283911 hasAuthorship W1533283911A5005637149 @default.
- W1533283911 hasAuthorship W1533283911A5010961023 @default.
- W1533283911 hasAuthorship W1533283911A5022685800 @default.
- W1533283911 hasAuthorship W1533283911A5022806065 @default.
- W1533283911 hasAuthorship W1533283911A5034031744 @default.
- W1533283911 hasAuthorship W1533283911A5083878690 @default.
- W1533283911 hasAuthorship W1533283911A5089035495 @default.
- W1533283911 hasBestOaLocation W15332839111 @default.
- W1533283911 hasConcept C104065381 @default.
- W1533283911 hasConcept C2524010 @default.
- W1533283911 hasConcept C33923547 @default.
- W1533283911 hasConcept C40319758 @default.
- W1533283911 hasConcept C41008148 @default.
- W1533283911 hasConceptScore W1533283911C104065381 @default.
- W1533283911 hasConceptScore W1533283911C2524010 @default.
- W1533283911 hasConceptScore W1533283911C33923547 @default.
- W1533283911 hasConceptScore W1533283911C40319758 @default.
- W1533283911 hasConceptScore W1533283911C41008148 @default.
- W1533283911 hasIssue "1-2" @default.
- W1533283911 hasLocation W15332839111 @default.
- W1533283911 hasOpenAccess W1533283911 @default.
- W1533283911 hasPrimaryLocation W15332839111 @default.
- W1533283911 hasRelatedWork W198120178 @default.
- W1533283911 hasRelatedWork W2020028331 @default.
- W1533283911 hasRelatedWork W2323840559 @default.
- W1533283911 hasRelatedWork W3113701594 @default.
- W1533283911 hasRelatedWork W3180054616 @default.
- W1533283911 hasRelatedWork W3188279632 @default.
- W1533283911 hasRelatedWork W4220701978 @default.
- W1533283911 hasRelatedWork W610482509 @default.
- W1533283911 hasRelatedWork W1593530080 @default.
- W1533283911 hasRelatedWork W3092209326 @default.
- W1533283911 hasVolume "12" @default.
- W1533283911 isParatext "false" @default.
- W1533283911 isRetracted "false" @default.
- W1533283911 magId "1533283911" @default.
- W1533283911 workType "article" @default.