Matches in SemOpenAlex for { <https://semopenalex.org/work/W1424930807> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1424930807 abstract "Kansas Lava is a functional hardware description language implemented in Haskell. In the course of attempting to generate ever larger circuits, we have found the need to effectively test and debug the internals of Kansas Lava. This includes confirming both the simulated behavior of the circuit and its hardware realization via generated VHDL. In this paper we share our approach to this problem, and discuss the results of these efforts." @default.
- W1424930807 created "2016-06-24" @default.
- W1424930807 creator A5029124439 @default.
- W1424930807 creator A5041250540 @default.
- W1424930807 creator A5077194053 @default.
- W1424930807 date "2011-01-01" @default.
- W1424930807 modified "2023-09-25" @default.
- W1424930807 title "What’s the Matter with Kansas Lava?" @default.
- W1424930807 cites W1583099307 @default.
- W1424930807 cites W1600253083 @default.
- W1424930807 cites W1606209748 @default.
- W1424930807 cites W1970810328 @default.
- W1424930807 cites W2049600101 @default.
- W1424930807 cites W2121754567 @default.
- W1424930807 cites W4242126179 @default.
- W1424930807 doi "https://doi.org/10.1007/978-3-642-22941-1_7" @default.
- W1424930807 hasPublicationYear "2011" @default.
- W1424930807 type Work @default.
- W1424930807 sameAs 1424930807 @default.
- W1424930807 citedByCount "3" @default.
- W1424930807 countsByYear W14249308072013 @default.
- W1424930807 countsByYear W14249308072015 @default.
- W1424930807 crossrefType "book-chapter" @default.
- W1424930807 hasAuthorship W1424930807A5029124439 @default.
- W1424930807 hasAuthorship W1424930807A5041250540 @default.
- W1424930807 hasAuthorship W1424930807A5077194053 @default.
- W1424930807 hasConcept C105795698 @default.
- W1424930807 hasConcept C113754120 @default.
- W1424930807 hasConcept C115903868 @default.
- W1424930807 hasConcept C118524514 @default.
- W1424930807 hasConcept C120806208 @default.
- W1424930807 hasConcept C127313418 @default.
- W1424930807 hasConcept C149635348 @default.
- W1424930807 hasConcept C165205528 @default.
- W1424930807 hasConcept C168065819 @default.
- W1424930807 hasConcept C199360897 @default.
- W1424930807 hasConcept C2780624054 @default.
- W1424930807 hasConcept C2781089630 @default.
- W1424930807 hasConcept C33923547 @default.
- W1424930807 hasConcept C36941000 @default.
- W1424930807 hasConcept C41008148 @default.
- W1424930807 hasConcept C42143788 @default.
- W1424930807 hasConcept C42383842 @default.
- W1424930807 hasConcept C42935608 @default.
- W1424930807 hasConceptScore W1424930807C105795698 @default.
- W1424930807 hasConceptScore W1424930807C113754120 @default.
- W1424930807 hasConceptScore W1424930807C115903868 @default.
- W1424930807 hasConceptScore W1424930807C118524514 @default.
- W1424930807 hasConceptScore W1424930807C120806208 @default.
- W1424930807 hasConceptScore W1424930807C127313418 @default.
- W1424930807 hasConceptScore W1424930807C149635348 @default.
- W1424930807 hasConceptScore W1424930807C165205528 @default.
- W1424930807 hasConceptScore W1424930807C168065819 @default.
- W1424930807 hasConceptScore W1424930807C199360897 @default.
- W1424930807 hasConceptScore W1424930807C2780624054 @default.
- W1424930807 hasConceptScore W1424930807C2781089630 @default.
- W1424930807 hasConceptScore W1424930807C33923547 @default.
- W1424930807 hasConceptScore W1424930807C36941000 @default.
- W1424930807 hasConceptScore W1424930807C41008148 @default.
- W1424930807 hasConceptScore W1424930807C42143788 @default.
- W1424930807 hasConceptScore W1424930807C42383842 @default.
- W1424930807 hasConceptScore W1424930807C42935608 @default.
- W1424930807 hasLocation W14249308071 @default.
- W1424930807 hasOpenAccess W1424930807 @default.
- W1424930807 hasPrimaryLocation W14249308071 @default.
- W1424930807 hasRelatedWork W1515343314 @default.
- W1424930807 hasRelatedWork W1584617340 @default.
- W1424930807 hasRelatedWork W1594645762 @default.
- W1424930807 hasRelatedWork W1964740472 @default.
- W1424930807 hasRelatedWork W1977325294 @default.
- W1424930807 hasRelatedWork W1981645579 @default.
- W1424930807 hasRelatedWork W2099659110 @default.
- W1424930807 hasRelatedWork W2126882773 @default.
- W1424930807 hasRelatedWork W2128641973 @default.
- W1424930807 hasRelatedWork W2129868416 @default.
- W1424930807 hasRelatedWork W2151072510 @default.
- W1424930807 hasRelatedWork W2153183125 @default.
- W1424930807 hasRelatedWork W2217604837 @default.
- W1424930807 hasRelatedWork W2362010636 @default.
- W1424930807 hasRelatedWork W253250972 @default.
- W1424930807 hasRelatedWork W2548878094 @default.
- W1424930807 hasRelatedWork W2549446402 @default.
- W1424930807 hasRelatedWork W2594053129 @default.
- W1424930807 hasRelatedWork W2765165383 @default.
- W1424930807 hasRelatedWork W2806937801 @default.
- W1424930807 isParatext "false" @default.
- W1424930807 isRetracted "false" @default.
- W1424930807 magId "1424930807" @default.
- W1424930807 workType "book-chapter" @default.