Matches in SemOpenAlex for { <https://semopenalex.org/work/W3146998045> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W3146998045 endingPage "142" @default.
- W3146998045 startingPage "142" @default.
- W3146998045 abstract "Programming is divided into three major categories with increasing complexity of reasoning in program validation: sequential programming, multi -programming, and real-time programming. By adhering to a strict programming discipline and by using a suitable high-level language molded after this discipline, we may drastically reduce the complexity of reasoning about concurrency and execution time constraints. This may be the only practical way to make real-time systems analytically verifyable and ultimately reliable. A possible discipline is outlined and expressed in terms of the language Modula ." @default.
- W3146998045 created "2021-04-13" @default.
- W3146998045 creator A5051974607 @default.
- W3146998045 date "1977-03-01" @default.
- W3146998045 modified "2023-10-18" @default.
- W3146998045 title "Towards a discipline of real-time programming" @default.
- W3146998045 doi "https://doi.org/10.1145/390019.808324" @default.
- W3146998045 hasPublicationYear "1977" @default.
- W3146998045 type Work @default.
- W3146998045 sameAs 3146998045 @default.
- W3146998045 citedByCount "0" @default.
- W3146998045 crossrefType "journal-article" @default.
- W3146998045 hasAuthorship W3146998045A5051974607 @default.
- W3146998045 hasConcept C119263510 @default.
- W3146998045 hasConcept C120558287 @default.
- W3146998045 hasConcept C150762246 @default.
- W3146998045 hasConcept C169796678 @default.
- W3146998045 hasConcept C193702766 @default.
- W3146998045 hasConcept C199305712 @default.
- W3146998045 hasConcept C199360897 @default.
- W3146998045 hasConcept C34165917 @default.
- W3146998045 hasConcept C3701939 @default.
- W3146998045 hasConcept C41008148 @default.
- W3146998045 hasConcept C50033165 @default.
- W3146998045 hasConcept C570499 @default.
- W3146998045 hasConcept C96315309 @default.
- W3146998045 hasConceptScore W3146998045C119263510 @default.
- W3146998045 hasConceptScore W3146998045C120558287 @default.
- W3146998045 hasConceptScore W3146998045C150762246 @default.
- W3146998045 hasConceptScore W3146998045C169796678 @default.
- W3146998045 hasConceptScore W3146998045C193702766 @default.
- W3146998045 hasConceptScore W3146998045C199305712 @default.
- W3146998045 hasConceptScore W3146998045C199360897 @default.
- W3146998045 hasConceptScore W3146998045C34165917 @default.
- W3146998045 hasConceptScore W3146998045C3701939 @default.
- W3146998045 hasConceptScore W3146998045C41008148 @default.
- W3146998045 hasConceptScore W3146998045C50033165 @default.
- W3146998045 hasConceptScore W3146998045C570499 @default.
- W3146998045 hasConceptScore W3146998045C96315309 @default.
- W3146998045 hasIssue "2" @default.
- W3146998045 hasLocation W31469980451 @default.
- W3146998045 hasOpenAccess W3146998045 @default.
- W3146998045 hasPrimaryLocation W31469980451 @default.
- W3146998045 hasRelatedWork W2129576602 @default.
- W3146998045 hasRelatedWork W2147547434 @default.
- W3146998045 hasRelatedWork W2161156675 @default.
- W3146998045 hasRelatedWork W2169841379 @default.
- W3146998045 hasRelatedWork W2615904785 @default.
- W3146998045 hasRelatedWork W27046826 @default.
- W3146998045 hasRelatedWork W3146998045 @default.
- W3146998045 hasRelatedWork W4239523608 @default.
- W3146998045 hasRelatedWork W804621077 @default.
- W3146998045 hasRelatedWork W2216440867 @default.
- W3146998045 hasVolume "2" @default.
- W3146998045 isParatext "false" @default.
- W3146998045 isRetracted "false" @default.
- W3146998045 magId "3146998045" @default.
- W3146998045 workType "article" @default.