Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900551331> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1900551331 abstract "Considers a method for extending programming languages that enables the specification of timing properties. The way time is treated is not language-specific and the extension can therefore be included in many existing programming languages. An essential feature is that it enables the construction of (hard) real-time programs that may be proven correct independently of the properties of the machines that are used for their execution. It therefore provides a similar abstraction from the execution platform as is normal for non-real-time languages. The aim of this paper is to illustrate the method and to show how event abstraction is instrumental in obtaining the mentioned properties. We compare our approach to some other methods of including timing constraints in (object-oriented) programming languages." @default.
- W1900551331 created "2016-06-24" @default.
- W1900551331 creator A5016732604 @default.
- W1900551331 creator A5091169985 @default.
- W1900551331 date "2002-11-22" @default.
- W1900551331 modified "2023-09-24" @default.
- W1900551331 title "Timed-event abstraction and timing constraints in distributed real-time programming" @default.
- W1900551331 cites W1492923158 @default.
- W1900551331 cites W1510094298 @default.
- W1900551331 cites W1717525145 @default.
- W1900551331 cites W1984197882 @default.
- W1900551331 cites W2008349102 @default.
- W1900551331 cites W2012640100 @default.
- W1900551331 cites W2055934304 @default.
- W1900551331 cites W2118801004 @default.
- W1900551331 cites W2125471405 @default.
- W1900551331 cites W2134626988 @default.
- W1900551331 cites W2137849428 @default.
- W1900551331 cites W2148817888 @default.
- W1900551331 cites W3092360536 @default.
- W1900551331 doi "https://doi.org/10.1109/words.1997.609947" @default.
- W1900551331 hasPublicationYear "2002" @default.
- W1900551331 type Work @default.
- W1900551331 sameAs 1900551331 @default.
- W1900551331 citedByCount "5" @default.
- W1900551331 crossrefType "proceedings-article" @default.
- W1900551331 hasAuthorship W1900551331A5016732604 @default.
- W1900551331 hasAuthorship W1900551331A5091169985 @default.
- W1900551331 hasConcept C111472728 @default.
- W1900551331 hasConcept C121332964 @default.
- W1900551331 hasConcept C124304363 @default.
- W1900551331 hasConcept C138885662 @default.
- W1900551331 hasConcept C19024347 @default.
- W1900551331 hasConcept C199360897 @default.
- W1900551331 hasConcept C2778029271 @default.
- W1900551331 hasConcept C2779662365 @default.
- W1900551331 hasConcept C34165917 @default.
- W1900551331 hasConcept C41008148 @default.
- W1900551331 hasConcept C62520636 @default.
- W1900551331 hasConcept C80444323 @default.
- W1900551331 hasConceptScore W1900551331C111472728 @default.
- W1900551331 hasConceptScore W1900551331C121332964 @default.
- W1900551331 hasConceptScore W1900551331C124304363 @default.
- W1900551331 hasConceptScore W1900551331C138885662 @default.
- W1900551331 hasConceptScore W1900551331C19024347 @default.
- W1900551331 hasConceptScore W1900551331C199360897 @default.
- W1900551331 hasConceptScore W1900551331C2778029271 @default.
- W1900551331 hasConceptScore W1900551331C2779662365 @default.
- W1900551331 hasConceptScore W1900551331C34165917 @default.
- W1900551331 hasConceptScore W1900551331C41008148 @default.
- W1900551331 hasConceptScore W1900551331C62520636 @default.
- W1900551331 hasConceptScore W1900551331C80444323 @default.
- W1900551331 hasLocation W19005513311 @default.
- W1900551331 hasOpenAccess W1900551331 @default.
- W1900551331 hasPrimaryLocation W19005513311 @default.
- W1900551331 hasRelatedWork W120598728 @default.
- W1900551331 hasRelatedWork W1565345783 @default.
- W1900551331 hasRelatedWork W2010426824 @default.
- W1900551331 hasRelatedWork W2031575609 @default.
- W1900551331 hasRelatedWork W2064352669 @default.
- W1900551331 hasRelatedWork W2089589666 @default.
- W1900551331 hasRelatedWork W2121514867 @default.
- W1900551331 hasRelatedWork W2129843408 @default.
- W1900551331 hasRelatedWork W2158816216 @default.
- W1900551331 hasRelatedWork W2188276912 @default.
- W1900551331 hasRelatedWork W2501636505 @default.
- W1900551331 hasRelatedWork W2514455890 @default.
- W1900551331 hasRelatedWork W2552119404 @default.
- W1900551331 hasRelatedWork W2752700320 @default.
- W1900551331 hasRelatedWork W2899703841 @default.
- W1900551331 hasRelatedWork W2963666856 @default.
- W1900551331 hasRelatedWork W3019270611 @default.
- W1900551331 hasRelatedWork W3206871344 @default.
- W1900551331 hasRelatedWork W590906083 @default.
- W1900551331 hasRelatedWork W2546572788 @default.
- W1900551331 isParatext "false" @default.
- W1900551331 isRetracted "false" @default.
- W1900551331 magId "1900551331" @default.
- W1900551331 workType "article" @default.