FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084715426> ?p ?o ?g. }

• W2084715426 endingPage "428" @default.
• W2084715426 startingPage "411" @default.
• W2084715426 abstract "The term systems verification refers to the specification and verification of the components of a computing system, including compilers, assemblers, operating systems and hardware. We outline our approach to systems verification, and summarize the application of this approach to several systems components. These components consist of a code generator for a simple high-level language, an assembler and linking loader, a simple operating system kernel, and a microprocessor design." @default.
• W2084715426 created "2016-06-24" @default.
• W2084715426 creator A5000371423 @default.
• W2084715426 creator A5046673609 @default.
• W2084715426 creator A5076845184 @default.
• W2084715426 creator A5084447019 @default.
• W2084715426 date "1989-12-01" @default.
• W2084715426 modified "2023-09-30" @default.
• W2084715426 title "An approach to systems verification" @default.
• W2084715426 cites W2011399941 @default.
• W2084715426 cites W2050468996 @default.
• W2084715426 cites W2134826720 @default.
• W2084715426 cites W4213206167 @default.
• W2084715426 cites W4256124958 @default.
• W2084715426 doi "https://doi.org/10.1007/bf00243131" @default.
• W2084715426 hasPublicationYear "1989" @default.
• W2084715426 type Work @default.
• W2084715426 sameAs 2084715426 @default.
• W2084715426 citedByCount "123" @default.
• W2084715426 countsByYear W20847154262012 @default.
• W2084715426 countsByYear W20847154262013 @default.
• W2084715426 countsByYear W20847154262014 @default.
• W2084715426 countsByYear W20847154262016 @default.
• W2084715426 countsByYear W20847154262017 @default.
• W2084715426 countsByYear W20847154262019 @default.
• W2084715426 countsByYear W20847154262020 @default.
• W2084715426 countsByYear W20847154262021 @default.
• W2084715426 countsByYear W20847154262022 @default.
• W2084715426 crossrefType "journal-article" @default.
• W2084715426 hasAuthorship W2084715426A5000371423 @default.
• W2084715426 hasAuthorship W2084715426A5046673609 @default.
• W2084715426 hasAuthorship W2084715426A5076845184 @default.
• W2084715426 hasAuthorship W2084715426A5084447019 @default.
• W2084715426 hasBestOaLocation W20847154262 @default.
• W2084715426 hasConcept C111472728 @default.
• W2084715426 hasConcept C111498074 @default.
• W2084715426 hasConcept C111919701 @default.
• W2084715426 hasConcept C114614502 @default.
• W2084715426 hasConcept C133162039 @default.
• W2084715426 hasConcept C138885662 @default.
• W2084715426 hasConcept C142284323 @default.
• W2084715426 hasConcept C149091818 @default.
• W2084715426 hasConcept C149635348 @default.
• W2084715426 hasConcept C169590947 @default.
• W2084715426 hasConcept C186846655 @default.
• W2084715426 hasConcept C187250869 @default.
• W2084715426 hasConcept C199360897 @default.
• W2084715426 hasConcept C202973057 @default.
• W2084715426 hasConcept C26517878 @default.
• W2084715426 hasConcept C2777904410 @default.
• W2084715426 hasConcept C2779041774 @default.
• W2084715426 hasConcept C2780586882 @default.
• W2084715426 hasConcept C2780728072 @default.
• W2084715426 hasConcept C33923547 @default.
• W2084715426 hasConcept C3406870 @default.
• W2084715426 hasConcept C41008148 @default.
• W2084715426 hasConcept C62460635 @default.
• W2084715426 hasConcept C74193536 @default.
• W2084715426 hasConceptScore W2084715426C111472728 @default.
• W2084715426 hasConceptScore W2084715426C111498074 @default.
• W2084715426 hasConceptScore W2084715426C111919701 @default.
• W2084715426 hasConceptScore W2084715426C114614502 @default.
• W2084715426 hasConceptScore W2084715426C133162039 @default.
• W2084715426 hasConceptScore W2084715426C138885662 @default.
• W2084715426 hasConceptScore W2084715426C142284323 @default.
• W2084715426 hasConceptScore W2084715426C149091818 @default.
• W2084715426 hasConceptScore W2084715426C149635348 @default.
• W2084715426 hasConceptScore W2084715426C169590947 @default.
• W2084715426 hasConceptScore W2084715426C186846655 @default.
• W2084715426 hasConceptScore W2084715426C187250869 @default.
• W2084715426 hasConceptScore W2084715426C199360897 @default.
• W2084715426 hasConceptScore W2084715426C202973057 @default.
• W2084715426 hasConceptScore W2084715426C26517878 @default.
• W2084715426 hasConceptScore W2084715426C2777904410 @default.
• W2084715426 hasConceptScore W2084715426C2779041774 @default.
• W2084715426 hasConceptScore W2084715426C2780586882 @default.
• W2084715426 hasConceptScore W2084715426C2780728072 @default.
• W2084715426 hasConceptScore W2084715426C33923547 @default.
• W2084715426 hasConceptScore W2084715426C3406870 @default.
• W2084715426 hasConceptScore W2084715426C41008148 @default.
• W2084715426 hasConceptScore W2084715426C62460635 @default.
• W2084715426 hasConceptScore W2084715426C74193536 @default.
• W2084715426 hasIssue "4" @default.
• W2084715426 hasLocation W20847154261 @default.
• W2084715426 hasLocation W20847154262 @default.
• W2084715426 hasOpenAccess W2084715426 @default.
• W2084715426 hasPrimaryLocation W20847154261 @default.
• W2084715426 hasRelatedWork W1550280164 @default.
• W2084715426 hasRelatedWork W1860397081 @default.
• W2084715426 hasRelatedWork W1970385675 @default.
• W2084715426 hasRelatedWork W2023981731 @default.
• W2084715426 hasRelatedWork W2162176082 @default.
• W2084715426 hasRelatedWork W2354470518 @default.
• W2084715426 hasRelatedWork W2354956647 @default.
• W2084715426 hasRelatedWork W2358250288 @default.
• W2084715426 hasRelatedWork W2375332438 @default.
• W2084715426 hasRelatedWork W47563837 @default.
• W2084715426 hasVolume "5" @default.

• next