Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912902478> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2912902478 endingPage "257" @default.
- W2912902478 startingPage "239" @default.
- W2912902478 abstract "Abstract Ceu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features in the presence of shared-memory concurrency and abortion of lines of execution, while enforcing memory-bounded, deterministic, and terminating reactions to the environment. In this work, we present a small-step structural operational semantics for Ceu and prove that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state." @default.
- W2912902478 created "2019-02-21" @default.
- W2912902478 creator A5002275185 @default.
- W2912902478 creator A5048454303 @default.
- W2912902478 creator A5059175907 @default.
- W2912902478 creator A5081858443 @default.
- W2912902478 creator A5091129860 @default.
- W2912902478 date "2019-08-01" @default.
- W2912902478 modified "2023-09-26" @default.
- W2912902478 title "A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu" @default.
- W2912902478 cites W2058713130 @default.
- W2912902478 cites W2081938726 @default.
- W2912902478 cites W2125023624 @default.
- W2912902478 cites W2129395888 @default.
- W2912902478 doi "https://doi.org/10.1016/j.sysarc.2019.01.014" @default.
- W2912902478 hasPublicationYear "2019" @default.
- W2912902478 type Work @default.
- W2912902478 sameAs 2912902478 @default.
- W2912902478 citedByCount "2" @default.
- W2912902478 countsByYear W29129024782020 @default.
- W2912902478 countsByYear W29129024782022 @default.
- W2912902478 crossrefType "journal-article" @default.
- W2912902478 hasAuthorship W2912902478A5002275185 @default.
- W2912902478 hasAuthorship W2912902478A5048454303 @default.
- W2912902478 hasAuthorship W2912902478A5059175907 @default.
- W2912902478 hasAuthorship W2912902478A5081858443 @default.
- W2912902478 hasAuthorship W2912902478A5091129860 @default.
- W2912902478 hasConcept C134306372 @default.
- W2912902478 hasConcept C156325763 @default.
- W2912902478 hasConcept C159333733 @default.
- W2912902478 hasConcept C184337299 @default.
- W2912902478 hasConcept C199360897 @default.
- W2912902478 hasConcept C33923547 @default.
- W2912902478 hasConcept C34388435 @default.
- W2912902478 hasConcept C41008148 @default.
- W2912902478 hasConcept C80444323 @default.
- W2912902478 hasConceptScore W2912902478C134306372 @default.
- W2912902478 hasConceptScore W2912902478C156325763 @default.
- W2912902478 hasConceptScore W2912902478C159333733 @default.
- W2912902478 hasConceptScore W2912902478C184337299 @default.
- W2912902478 hasConceptScore W2912902478C199360897 @default.
- W2912902478 hasConceptScore W2912902478C33923547 @default.
- W2912902478 hasConceptScore W2912902478C34388435 @default.
- W2912902478 hasConceptScore W2912902478C41008148 @default.
- W2912902478 hasConceptScore W2912902478C80444323 @default.
- W2912902478 hasLocation W29129024781 @default.
- W2912902478 hasOpenAccess W2912902478 @default.
- W2912902478 hasPrimaryLocation W29129024781 @default.
- W2912902478 hasRelatedWork W1482532369 @default.
- W2912902478 hasRelatedWork W1483213041 @default.
- W2912902478 hasRelatedWork W1587224678 @default.
- W2912902478 hasRelatedWork W1778728081 @default.
- W2912902478 hasRelatedWork W2056977125 @default.
- W2912902478 hasRelatedWork W2090686886 @default.
- W2912902478 hasRelatedWork W27605384 @default.
- W2912902478 hasRelatedWork W2915995131 @default.
- W2912902478 hasRelatedWork W3021003119 @default.
- W2912902478 hasRelatedWork W1894736207 @default.
- W2912902478 hasVolume "97" @default.
- W2912902478 isParatext "false" @default.
- W2912902478 isRetracted "false" @default.
- W2912902478 magId "2912902478" @default.
- W2912902478 workType "article" @default.