Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489435921> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1489435921 endingPage "331" @default.
- W1489435921 startingPage "314" @default.
- W1489435921 abstract "Recently, an embedding of the synchronous programming language Quartz (an Esterel variant) in the theorem prover HOL has been presented. This embedding is based on control flow predicates that refer to macrosteps of the programs. The original semantics of synchronous languages like Esterel is however normally given at the more detailed microstep level. This paper describes how a variant of the Esterel microstep semantics has been defined in HOL and how its equivalence to the control flow predicate semantics has been proved. Beneath proving the equivalence of the micro- and macrostep semantics, the work presented here is also an important extension of the existing embedding: While reasoning at the microstep level is not necessary for code generation, it is sometimes advantageous for understanding programs, as some effects like schizophrenia or causality problems become only visible at the microstep level.KeywordsTheorem ProverHigh Order LogicNondeterministic ChoiceHardware CircuitStructural Operational SemanThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1489435921 created "2016-06-24" @default.
- W1489435921 creator A5081184867 @default.
- W1489435921 date "2002-01-01" @default.
- W1489435921 modified "2023-10-14" @default.
- W1489435921 title "Proving the Equivalence of Microstep and Macrostep Semantics" @default.
- W1489435921 cites W2076605978 @default.
- W1489435921 cites W2081938726 @default.
- W1489435921 cites W2105135809 @default.
- W1489435921 cites W2151561628 @default.
- W1489435921 cites W2166295031 @default.
- W1489435921 cites W3141112769 @default.
- W1489435921 cites W4211195649 @default.
- W1489435921 cites W4235222319 @default.
- W1489435921 cites W4236397280 @default.
- W1489435921 cites W4246404081 @default.
- W1489435921 cites W1757383982 @default.
- W1489435921 doi "https://doi.org/10.1007/3-540-45685-6_21" @default.
- W1489435921 hasPublicationYear "2002" @default.
- W1489435921 type Work @default.
- W1489435921 sameAs 1489435921 @default.
- W1489435921 citedByCount "23" @default.
- W1489435921 countsByYear W14894359212012 @default.
- W1489435921 countsByYear W14894359212013 @default.
- W1489435921 countsByYear W14894359212014 @default.
- W1489435921 countsByYear W14894359212016 @default.
- W1489435921 countsByYear W14894359212017 @default.
- W1489435921 crossrefType "book-chapter" @default.
- W1489435921 hasAuthorship W1489435921A5081184867 @default.
- W1489435921 hasBestOaLocation W14894359212 @default.
- W1489435921 hasConcept C118615104 @default.
- W1489435921 hasConcept C154945302 @default.
- W1489435921 hasConcept C160191386 @default.
- W1489435921 hasConcept C161771561 @default.
- W1489435921 hasConcept C17435882 @default.
- W1489435921 hasConcept C199360897 @default.
- W1489435921 hasConcept C2780069185 @default.
- W1489435921 hasConcept C33923547 @default.
- W1489435921 hasConcept C41008148 @default.
- W1489435921 hasConcept C41608201 @default.
- W1489435921 hasConcept C80444323 @default.
- W1489435921 hasConceptScore W1489435921C118615104 @default.
- W1489435921 hasConceptScore W1489435921C154945302 @default.
- W1489435921 hasConceptScore W1489435921C160191386 @default.
- W1489435921 hasConceptScore W1489435921C161771561 @default.
- W1489435921 hasConceptScore W1489435921C17435882 @default.
- W1489435921 hasConceptScore W1489435921C199360897 @default.
- W1489435921 hasConceptScore W1489435921C2780069185 @default.
- W1489435921 hasConceptScore W1489435921C33923547 @default.
- W1489435921 hasConceptScore W1489435921C41008148 @default.
- W1489435921 hasConceptScore W1489435921C41608201 @default.
- W1489435921 hasConceptScore W1489435921C80444323 @default.
- W1489435921 hasLocation W14894359211 @default.
- W1489435921 hasLocation W14894359212 @default.
- W1489435921 hasOpenAccess W1489435921 @default.
- W1489435921 hasPrimaryLocation W14894359211 @default.
- W1489435921 hasRelatedWork W1537178853 @default.
- W1489435921 hasRelatedWork W1575663121 @default.
- W1489435921 hasRelatedWork W1576906336 @default.
- W1489435921 hasRelatedWork W2109507516 @default.
- W1489435921 hasRelatedWork W2140312540 @default.
- W1489435921 hasRelatedWork W3194839194 @default.
- W1489435921 hasRelatedWork W4251805752 @default.
- W1489435921 hasRelatedWork W4287182868 @default.
- W1489435921 hasRelatedWork W90993393 @default.
- W1489435921 hasRelatedWork W2500740404 @default.
- W1489435921 isParatext "false" @default.
- W1489435921 isRetracted "false" @default.
- W1489435921 magId "1489435921" @default.
- W1489435921 workType "book-chapter" @default.