Matches in SemOpenAlex for { <https://semopenalex.org/work/W2605220654> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2605220654 endingPage "68" @default.
- W2605220654 startingPage "67" @default.
- W2605220654 abstract "There is a long tradition of modelling digital circuits using functional programming languages. This paper demonstrates that by employing dependently typed programming languages, it becomes possible to define circuit descriptions that may be simulated, tested, verified and synthesized using a single language. The resulting domain specific embedded language, Pi-Ware, makes it possible to define and verify entire families of circuits at once. We demonstrate this by defining an algebra of parallel prefix circuits, proving their correctness and further algebraic properties." @default.
- W2605220654 created "2017-04-14" @default.
- W2605220654 creator A5019085361 @default.
- W2605220654 creator A5080770531 @default.
- W2605220654 creator A5087933591 @default.
- W2605220654 date "2016-01-01" @default.
- W2605220654 modified "2023-09-24" @default.
- W2605220654 title "π-Ware : Hardware Description and Verification in Agda" @default.
- W2605220654 doi "https://doi.org/10.4230/lipics.types.2015.9" @default.
- W2605220654 hasPublicationYear "2016" @default.
- W2605220654 type Work @default.
- W2605220654 sameAs 2605220654 @default.
- W2605220654 citedByCount "1" @default.
- W2605220654 countsByYear W26052206542021 @default.
- W2605220654 crossrefType "proceedings-article" @default.
- W2605220654 hasAuthorship W2605220654A5019085361 @default.
- W2605220654 hasAuthorship W2605220654A5080770531 @default.
- W2605220654 hasAuthorship W2605220654A5087933591 @default.
- W2605220654 hasConcept C119599485 @default.
- W2605220654 hasConcept C127413603 @default.
- W2605220654 hasConcept C134146338 @default.
- W2605220654 hasConcept C134306372 @default.
- W2605220654 hasConcept C135257023 @default.
- W2605220654 hasConcept C138885662 @default.
- W2605220654 hasConcept C141603448 @default.
- W2605220654 hasConcept C199360897 @default.
- W2605220654 hasConcept C33923547 @default.
- W2605220654 hasConcept C36503486 @default.
- W2605220654 hasConcept C41008148 @default.
- W2605220654 hasConcept C41895202 @default.
- W2605220654 hasConcept C42143788 @default.
- W2605220654 hasConcept C42935608 @default.
- W2605220654 hasConcept C55439883 @default.
- W2605220654 hasConcept C80444323 @default.
- W2605220654 hasConcept C81843906 @default.
- W2605220654 hasConcept C9390403 @default.
- W2605220654 hasConceptScore W2605220654C119599485 @default.
- W2605220654 hasConceptScore W2605220654C127413603 @default.
- W2605220654 hasConceptScore W2605220654C134146338 @default.
- W2605220654 hasConceptScore W2605220654C134306372 @default.
- W2605220654 hasConceptScore W2605220654C135257023 @default.
- W2605220654 hasConceptScore W2605220654C138885662 @default.
- W2605220654 hasConceptScore W2605220654C141603448 @default.
- W2605220654 hasConceptScore W2605220654C199360897 @default.
- W2605220654 hasConceptScore W2605220654C33923547 @default.
- W2605220654 hasConceptScore W2605220654C36503486 @default.
- W2605220654 hasConceptScore W2605220654C41008148 @default.
- W2605220654 hasConceptScore W2605220654C41895202 @default.
- W2605220654 hasConceptScore W2605220654C42143788 @default.
- W2605220654 hasConceptScore W2605220654C42935608 @default.
- W2605220654 hasConceptScore W2605220654C55439883 @default.
- W2605220654 hasConceptScore W2605220654C80444323 @default.
- W2605220654 hasConceptScore W2605220654C81843906 @default.
- W2605220654 hasConceptScore W2605220654C9390403 @default.
- W2605220654 hasLocation W26052206541 @default.
- W2605220654 hasOpenAccess W2605220654 @default.
- W2605220654 hasPrimaryLocation W26052206541 @default.
- W2605220654 hasRelatedWork W1522886731 @default.
- W2605220654 hasRelatedWork W1568189742 @default.
- W2605220654 hasRelatedWork W1593960663 @default.
- W2605220654 hasRelatedWork W1603611921 @default.
- W2605220654 hasRelatedWork W1816310522 @default.
- W2605220654 hasRelatedWork W1968024460 @default.
- W2605220654 hasRelatedWork W1993367958 @default.
- W2605220654 hasRelatedWork W2056727696 @default.
- W2605220654 hasRelatedWork W2089214613 @default.
- W2605220654 hasRelatedWork W2093296969 @default.
- W2605220654 hasRelatedWork W2123647006 @default.
- W2605220654 hasRelatedWork W2138198181 @default.
- W2605220654 hasRelatedWork W2144209827 @default.
- W2605220654 hasRelatedWork W2164449382 @default.
- W2605220654 hasRelatedWork W22013741 @default.
- W2605220654 hasRelatedWork W2810463395 @default.
- W2605220654 hasRelatedWork W2886155613 @default.
- W2605220654 hasRelatedWork W2890569340 @default.
- W2605220654 hasRelatedWork W795970866 @default.
- W2605220654 hasRelatedWork W99473751 @default.
- W2605220654 isParatext "false" @default.
- W2605220654 isRetracted "false" @default.
- W2605220654 magId "2605220654" @default.
- W2605220654 workType "article" @default.