Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035030296> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2035030296 abstract "We describe the specification, implementation and proof of correctness of a code generator for a subset of Gypsy 2.05. The code generator is specified in the Boyer-Moore logic; its proof is fully machine-checked using the Kaufmann-enhanced Boyer-Moore theorem prover. Our code generator sits atop a ‘stack’ of verified system components providing a prototype development environment for constructing highly reliable application Programs." @default.
- W2035030296 created "2016-06-24" @default.
- W2035030296 creator A5000371423 @default.
- W2035030296 date "1989-12-01" @default.
- W2035030296 modified "2023-10-18" @default.
- W2035030296 title "A mechanically verified code generator" @default.
- W2035030296 cites W1481699584 @default.
- W2035030296 cites W1514031302 @default.
- W2035030296 cites W1546933845 @default.
- W2035030296 cites W1547173461 @default.
- W2035030296 cites W1582548376 @default.
- W2035030296 cites W1590828018 @default.
- W2035030296 cites W1593280365 @default.
- W2035030296 cites W2073896195 @default.
- W2035030296 cites W2093852121 @default.
- W2035030296 cites W2099078002 @default.
- W2035030296 cites W2101241724 @default.
- W2035030296 cites W2102987688 @default.
- W2035030296 cites W2143730943 @default.
- W2035030296 cites W2151402235 @default.
- W2035030296 cites W2159709550 @default.
- W2035030296 cites W3145843332 @default.
- W2035030296 cites W3181441684 @default.
- W2035030296 doi "https://doi.org/10.1007/bf00243134" @default.
- W2035030296 hasPublicationYear "1989" @default.
- W2035030296 type Work @default.
- W2035030296 sameAs 2035030296 @default.
- W2035030296 citedByCount "55" @default.
- W2035030296 countsByYear W20350302962013 @default.
- W2035030296 countsByYear W20350302962016 @default.
- W2035030296 countsByYear W20350302962017 @default.
- W2035030296 countsByYear W20350302962022 @default.
- W2035030296 crossrefType "journal-article" @default.
- W2035030296 hasAuthorship W2035030296A5000371423 @default.
- W2035030296 hasBestOaLocation W20350302962 @default.
- W2035030296 hasConcept C108710211 @default.
- W2035030296 hasConcept C111919701 @default.
- W2035030296 hasConcept C121332964 @default.
- W2035030296 hasConcept C133162039 @default.
- W2035030296 hasConcept C159718280 @default.
- W2035030296 hasConcept C163258240 @default.
- W2035030296 hasConcept C177264268 @default.
- W2035030296 hasConcept C199360897 @default.
- W2035030296 hasConcept C206880738 @default.
- W2035030296 hasConcept C2524010 @default.
- W2035030296 hasConcept C26517878 @default.
- W2035030296 hasConcept C2776760102 @default.
- W2035030296 hasConcept C2780992000 @default.
- W2035030296 hasConcept C33923547 @default.
- W2035030296 hasConcept C41008148 @default.
- W2035030296 hasConcept C55439883 @default.
- W2035030296 hasConcept C62520636 @default.
- W2035030296 hasConceptScore W2035030296C108710211 @default.
- W2035030296 hasConceptScore W2035030296C111919701 @default.
- W2035030296 hasConceptScore W2035030296C121332964 @default.
- W2035030296 hasConceptScore W2035030296C133162039 @default.
- W2035030296 hasConceptScore W2035030296C159718280 @default.
- W2035030296 hasConceptScore W2035030296C163258240 @default.
- W2035030296 hasConceptScore W2035030296C177264268 @default.
- W2035030296 hasConceptScore W2035030296C199360897 @default.
- W2035030296 hasConceptScore W2035030296C206880738 @default.
- W2035030296 hasConceptScore W2035030296C2524010 @default.
- W2035030296 hasConceptScore W2035030296C26517878 @default.
- W2035030296 hasConceptScore W2035030296C2776760102 @default.
- W2035030296 hasConceptScore W2035030296C2780992000 @default.
- W2035030296 hasConceptScore W2035030296C33923547 @default.
- W2035030296 hasConceptScore W2035030296C41008148 @default.
- W2035030296 hasConceptScore W2035030296C55439883 @default.
- W2035030296 hasConceptScore W2035030296C62520636 @default.
- W2035030296 hasIssue "4" @default.
- W2035030296 hasLocation W20350302961 @default.
- W2035030296 hasLocation W20350302962 @default.
- W2035030296 hasOpenAccess W2035030296 @default.
- W2035030296 hasPrimaryLocation W20350302961 @default.
- W2035030296 hasRelatedWork W132718825 @default.
- W2035030296 hasRelatedWork W1844848791 @default.
- W2035030296 hasRelatedWork W1989547358 @default.
- W2035030296 hasRelatedWork W2100855196 @default.
- W2035030296 hasRelatedWork W2117168283 @default.
- W2035030296 hasRelatedWork W2180010617 @default.
- W2035030296 hasRelatedWork W4281287231 @default.
- W2035030296 hasRelatedWork W4283765998 @default.
- W2035030296 hasRelatedWork W1850964079 @default.
- W2035030296 hasRelatedWork W2584255844 @default.
- W2035030296 hasVolume "5" @default.
- W2035030296 isParatext "false" @default.
- W2035030296 isRetracted "false" @default.
- W2035030296 magId "2035030296" @default.
- W2035030296 workType "article" @default.