Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566166537> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1566166537 abstract "Cool is a unifying control-flow analysis (CFA) generator for system analysis. It uniformly supports the automatic generation of transition systems and flow graphs from process algebra terms and programs of programming languages. Basically, it relies on “unrolling” its argument according to transition rules resembling structural operational semantic rules. As a side-effect of the unifying view of process algebra and programming language programs, Cool supports the automatic construction of CFA-components of optimizing compilers, which are usually still hand-coded. Thus, combining it with data-flow analysis and optimization generators like the DFA&OPT-METAFrame tool kit it renders possible the generation of complete optimizers." @default.
- W1566166537 created "2016-06-24" @default.
- W1566166537 creator A5004884942 @default.
- W1566166537 creator A5048747000 @default.
- W1566166537 creator A5084810092 @default.
- W1566166537 date "1998-01-01" @default.
- W1566166537 modified "2023-09-28" @default.
- W1566166537 title "Cool: A control-flow generator for system analysis" @default.
- W1566166537 cites W1503265404 @default.
- W1566166537 cites W1504623906 @default.
- W1566166537 cites W2004636596 @default.
- W1566166537 doi "https://doi.org/10.1007/bfb0026442" @default.
- W1566166537 hasPublicationYear "1998" @default.
- W1566166537 type Work @default.
- W1566166537 sameAs 1566166537 @default.
- W1566166537 citedByCount "3" @default.
- W1566166537 crossrefType "book-chapter" @default.
- W1566166537 hasAuthorship W1566166537A5004884942 @default.
- W1566166537 hasAuthorship W1566166537A5048747000 @default.
- W1566166537 hasAuthorship W1566166537A5084810092 @default.
- W1566166537 hasBestOaLocation W15661665371 @default.
- W1566166537 hasConcept C121332964 @default.
- W1566166537 hasConcept C146206909 @default.
- W1566166537 hasConcept C160191386 @default.
- W1566166537 hasConcept C161771561 @default.
- W1566166537 hasConcept C163258240 @default.
- W1566166537 hasConcept C169590947 @default.
- W1566166537 hasConcept C176359209 @default.
- W1566166537 hasConcept C186644900 @default.
- W1566166537 hasConcept C190902152 @default.
- W1566166537 hasConcept C199360897 @default.
- W1566166537 hasConcept C27458966 @default.
- W1566166537 hasConcept C2780992000 @default.
- W1566166537 hasConcept C34165917 @default.
- W1566166537 hasConcept C41008148 @default.
- W1566166537 hasConcept C489000 @default.
- W1566166537 hasConcept C50033165 @default.
- W1566166537 hasConcept C62520636 @default.
- W1566166537 hasConcept C77088390 @default.
- W1566166537 hasConcept C80444323 @default.
- W1566166537 hasConcept C98045186 @default.
- W1566166537 hasConcept C98183937 @default.
- W1566166537 hasConceptScore W1566166537C121332964 @default.
- W1566166537 hasConceptScore W1566166537C146206909 @default.
- W1566166537 hasConceptScore W1566166537C160191386 @default.
- W1566166537 hasConceptScore W1566166537C161771561 @default.
- W1566166537 hasConceptScore W1566166537C163258240 @default.
- W1566166537 hasConceptScore W1566166537C169590947 @default.
- W1566166537 hasConceptScore W1566166537C176359209 @default.
- W1566166537 hasConceptScore W1566166537C186644900 @default.
- W1566166537 hasConceptScore W1566166537C190902152 @default.
- W1566166537 hasConceptScore W1566166537C199360897 @default.
- W1566166537 hasConceptScore W1566166537C27458966 @default.
- W1566166537 hasConceptScore W1566166537C2780992000 @default.
- W1566166537 hasConceptScore W1566166537C34165917 @default.
- W1566166537 hasConceptScore W1566166537C41008148 @default.
- W1566166537 hasConceptScore W1566166537C489000 @default.
- W1566166537 hasConceptScore W1566166537C50033165 @default.
- W1566166537 hasConceptScore W1566166537C62520636 @default.
- W1566166537 hasConceptScore W1566166537C77088390 @default.
- W1566166537 hasConceptScore W1566166537C80444323 @default.
- W1566166537 hasConceptScore W1566166537C98045186 @default.
- W1566166537 hasConceptScore W1566166537C98183937 @default.
- W1566166537 hasLocation W15661665371 @default.
- W1566166537 hasOpenAccess W1566166537 @default.
- W1566166537 hasPrimaryLocation W15661665371 @default.
- W1566166537 hasRelatedWork W1486917416 @default.
- W1566166537 hasRelatedWork W1490941844 @default.
- W1566166537 hasRelatedWork W1552895507 @default.
- W1566166537 hasRelatedWork W181581971 @default.
- W1566166537 hasRelatedWork W2061966508 @default.
- W1566166537 hasRelatedWork W2146691850 @default.
- W1566166537 hasRelatedWork W2274445227 @default.
- W1566166537 hasRelatedWork W2285482832 @default.
- W1566166537 hasRelatedWork W2786741601 @default.
- W1566166537 hasRelatedWork W2903457445 @default.
- W1566166537 hasRelatedWork W2963423289 @default.
- W1566166537 hasRelatedWork W2964267798 @default.
- W1566166537 hasRelatedWork W3021018102 @default.
- W1566166537 hasRelatedWork W3109085796 @default.
- W1566166537 hasRelatedWork W3131091778 @default.
- W1566166537 hasRelatedWork W3201392238 @default.
- W1566166537 hasRelatedWork W780951866 @default.
- W1566166537 hasRelatedWork W2162351824 @default.
- W1566166537 hasRelatedWork W2188038230 @default.
- W1566166537 hasRelatedWork W2758863311 @default.
- W1566166537 isParatext "false" @default.
- W1566166537 isRetracted "false" @default.
- W1566166537 magId "1566166537" @default.
- W1566166537 workType "book-chapter" @default.