Matches in SemOpenAlex for { <https://semopenalex.org/work/W2050851216> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2050851216 endingPage "347" @default.
- W2050851216 startingPage "347" @default.
- W2050851216 abstract "Transformational synthesis is the process of generating a hardware implementation from an initial behavioural description, by repeatedly applying transformations to the behavioural descriptions until a satisfactory implementation can be generated. Although it is essential to verify the correctness of the applied transformations, it is also very important to present the changes to the designer in an understandable form. A prototype interactive design tool has been implemented that allows easy use of a database of formally correct transformations. Its basic features are described, and its operation and interaction with the theorem prover are demonstrated with examples." @default.
- W2050851216 created "2016-06-24" @default.
- W2050851216 creator A5031537306 @default.
- W2050851216 creator A5069324833 @default.
- W2050851216 creator A5087712542 @default.
- W2050851216 date "1994-01-01" @default.
- W2050851216 modified "2023-09-25" @default.
- W2050851216 title "Stride: a tool for formal interactive system synthesis" @default.
- W2050851216 doi "https://doi.org/10.1049/ip-cdt:19941504" @default.
- W2050851216 hasPublicationYear "1994" @default.
- W2050851216 type Work @default.
- W2050851216 sameAs 2050851216 @default.
- W2050851216 citedByCount "1" @default.
- W2050851216 crossrefType "journal-article" @default.
- W2050851216 hasAuthorship W2050851216A5031537306 @default.
- W2050851216 hasAuthorship W2050851216A5069324833 @default.
- W2050851216 hasAuthorship W2050851216A5087712542 @default.
- W2050851216 hasConcept C108710211 @default.
- W2050851216 hasConcept C115903868 @default.
- W2050851216 hasConcept C159718280 @default.
- W2050851216 hasConcept C17744445 @default.
- W2050851216 hasConcept C18007350 @default.
- W2050851216 hasConcept C199360897 @default.
- W2050851216 hasConcept C2524010 @default.
- W2050851216 hasConcept C33923547 @default.
- W2050851216 hasConcept C38652104 @default.
- W2050851216 hasConcept C38775462 @default.
- W2050851216 hasConcept C39549134 @default.
- W2050851216 hasConcept C41008148 @default.
- W2050851216 hasConcept C55439883 @default.
- W2050851216 hasConcept C75606506 @default.
- W2050851216 hasConcept C80444323 @default.
- W2050851216 hasConcept C98045186 @default.
- W2050851216 hasConceptScore W2050851216C108710211 @default.
- W2050851216 hasConceptScore W2050851216C115903868 @default.
- W2050851216 hasConceptScore W2050851216C159718280 @default.
- W2050851216 hasConceptScore W2050851216C17744445 @default.
- W2050851216 hasConceptScore W2050851216C18007350 @default.
- W2050851216 hasConceptScore W2050851216C199360897 @default.
- W2050851216 hasConceptScore W2050851216C2524010 @default.
- W2050851216 hasConceptScore W2050851216C33923547 @default.
- W2050851216 hasConceptScore W2050851216C38652104 @default.
- W2050851216 hasConceptScore W2050851216C38775462 @default.
- W2050851216 hasConceptScore W2050851216C39549134 @default.
- W2050851216 hasConceptScore W2050851216C41008148 @default.
- W2050851216 hasConceptScore W2050851216C55439883 @default.
- W2050851216 hasConceptScore W2050851216C75606506 @default.
- W2050851216 hasConceptScore W2050851216C80444323 @default.
- W2050851216 hasConceptScore W2050851216C98045186 @default.
- W2050851216 hasIssue "6" @default.
- W2050851216 hasLocation W20508512161 @default.
- W2050851216 hasOpenAccess W2050851216 @default.
- W2050851216 hasPrimaryLocation W20508512161 @default.
- W2050851216 hasRelatedWork W132718825 @default.
- W2050851216 hasRelatedWork W1536660600 @default.
- W2050851216 hasRelatedWork W2000691319 @default.
- W2050851216 hasRelatedWork W2024218563 @default.
- W2050851216 hasRelatedWork W2026335217 @default.
- W2050851216 hasRelatedWork W2120152919 @default.
- W2050851216 hasRelatedWork W2234831441 @default.
- W2050851216 hasRelatedWork W3091728393 @default.
- W2050851216 hasRelatedWork W4238823939 @default.
- W2050851216 hasRelatedWork W4245884879 @default.
- W2050851216 hasVolume "141" @default.
- W2050851216 isParatext "false" @default.
- W2050851216 isRetracted "false" @default.
- W2050851216 magId "2050851216" @default.
- W2050851216 workType "article" @default.