Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114920108> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2114920108 abstract "This paper describes a rule-based approach for equivalence checking of reactive systems. The approach is based on new types of dependence and flow graphs that are more appropriate for reactive languages than traditional notions intended for transformational languages. Equivalence rules utilizing this static dependence and flow information are derived from language semantics. The rules are then applied in a bottom-up fashion, corresponding to the structures of the programs being checked, until equivalence is shown. A prototype toolset has been implemented, and results indicate speedups of several orders of magnitude over more traditional equivalence checkers. The paper describes our approach and tools, and also outlines how our methods can be used in a general equivalence checking system." @default.
- W2114920108 created "2016-06-24" @default.
- W2114920108 creator A5027837299 @default.
- W2114920108 creator A5071314730 @default.
- W2114920108 date "2008-06-01" @default.
- W2114920108 modified "2023-10-03" @default.
- W2114920108 title "Rule-Based Approaches for Equivalence Checking of SpecC Programs" @default.
- W2114920108 cites W1487199072 @default.
- W2114920108 cites W1495760906 @default.
- W2114920108 cites W1498455513 @default.
- W2114920108 cites W1512687743 @default.
- W2114920108 cites W1575308494 @default.
- W2114920108 cites W1974556957 @default.
- W2114920108 cites W2005771507 @default.
- W2114920108 cites W2006397252 @default.
- W2114920108 cites W2008860182 @default.
- W2114920108 cites W2012131382 @default.
- W2114920108 cites W2092483417 @default.
- W2114920108 cites W2137865376 @default.
- W2114920108 cites W2147088720 @default.
- W2114920108 cites W2151821401 @default.
- W2114920108 cites W2161867485 @default.
- W2114920108 cites W2167562307 @default.
- W2114920108 cites W2345711131 @default.
- W2114920108 cites W2640365788 @default.
- W2114920108 doi "https://doi.org/10.1109/memcod.2008.4547685" @default.
- W2114920108 hasPublicationYear "2008" @default.
- W2114920108 type Work @default.
- W2114920108 sameAs 2114920108 @default.
- W2114920108 citedByCount "3" @default.
- W2114920108 countsByYear W21149201082020 @default.
- W2114920108 crossrefType "proceedings-article" @default.
- W2114920108 hasAuthorship W2114920108A5027837299 @default.
- W2114920108 hasAuthorship W2114920108A5071314730 @default.
- W2114920108 hasConcept C110251889 @default.
- W2114920108 hasConcept C11413529 @default.
- W2114920108 hasConcept C118615104 @default.
- W2114920108 hasConcept C184337299 @default.
- W2114920108 hasConcept C199360897 @default.
- W2114920108 hasConcept C2780069185 @default.
- W2114920108 hasConcept C33923547 @default.
- W2114920108 hasConcept C41008148 @default.
- W2114920108 hasConcept C70846408 @default.
- W2114920108 hasConcept C80444323 @default.
- W2114920108 hasConcept C96654402 @default.
- W2114920108 hasConceptScore W2114920108C110251889 @default.
- W2114920108 hasConceptScore W2114920108C11413529 @default.
- W2114920108 hasConceptScore W2114920108C118615104 @default.
- W2114920108 hasConceptScore W2114920108C184337299 @default.
- W2114920108 hasConceptScore W2114920108C199360897 @default.
- W2114920108 hasConceptScore W2114920108C2780069185 @default.
- W2114920108 hasConceptScore W2114920108C33923547 @default.
- W2114920108 hasConceptScore W2114920108C41008148 @default.
- W2114920108 hasConceptScore W2114920108C70846408 @default.
- W2114920108 hasConceptScore W2114920108C80444323 @default.
- W2114920108 hasConceptScore W2114920108C96654402 @default.
- W2114920108 hasLocation W21149201081 @default.
- W2114920108 hasOpenAccess W2114920108 @default.
- W2114920108 hasPrimaryLocation W21149201081 @default.
- W2114920108 hasRelatedWork W1481841467 @default.
- W2114920108 hasRelatedWork W1597654460 @default.
- W2114920108 hasRelatedWork W2093717281 @default.
- W2114920108 hasRelatedWork W2121750555 @default.
- W2114920108 hasRelatedWork W2122139801 @default.
- W2114920108 hasRelatedWork W2125121514 @default.
- W2114920108 hasRelatedWork W2183551263 @default.
- W2114920108 hasRelatedWork W2728756936 @default.
- W2114920108 hasRelatedWork W4293261765 @default.
- W2114920108 hasRelatedWork W2389474774 @default.
- W2114920108 isParatext "false" @default.
- W2114920108 isRetracted "false" @default.
- W2114920108 magId "2114920108" @default.
- W2114920108 workType "article" @default.