FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100033040> ?p ?o ?g. }

• W2100033040 abstract "Where it has been done at all, formally demonstrating the correctness of functional programs has historically focused on proving essential properties derived from the functional specification of the software. In this paper, we show that correct-by-construction software development can also handle the equally important class of extra-functional properties, namely the correct usage of resources. We do this using a novel embedded domain-specific language approach that exploits the capabilities of full-spectrum dependent types. Our approach provides significant benefits over previous approaches based on less powerful type systems in reducing notational overhead, and in simplifying the process of formal proof." @default.
• W2100033040 created "2016-06-24" @default.
• W2100033040 creator A5042121684 @default.
• W2100033040 creator A5055787720 @default.
• W2100033040 date "2009-01-01" @default.
• W2100033040 modified "2023-09-26" @default.
• W2100033040 title "Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types" @default.
• W2100033040 cites W1511185761 @default.
• W2100033040 cites W1525901076 @default.
• W2100033040 cites W1536822759 @default.
• W2100033040 cites W1541318173 @default.
• W2100033040 cites W1543587013 @default.
• W2100033040 cites W1547442924 @default.
• W2100033040 cites W1650987719 @default.
• W2100033040 cites W1884757075 @default.
• W2100033040 cites W1963240911 @default.
• W2100033040 cites W1968024460 @default.
• W2100033040 cites W1982230416 @default.
• W2100033040 cites W2026049208 @default.
• W2100033040 cites W2027099721 @default.
• W2100033040 cites W2049600101 @default.
• W2100033040 cites W2052227386 @default.
• W2100033040 cites W2058162377 @default.
• W2100033040 cites W2065772939 @default.
• W2100033040 cites W2066038668 @default.
• W2100033040 cites W2089674328 @default.
• W2100033040 cites W2095631859 @default.
• W2100033040 cites W2098252947 @default.
• W2100033040 cites W2106229114 @default.
• W2100033040 cites W2134112335 @default.
• W2100033040 cites W2136651263 @default.
• W2100033040 cites W2140647971 @default.
• W2100033040 cites W2151186348 @default.
• W2100033040 cites W2160829153 @default.
• W2100033040 cites W2169248079 @default.
• W2100033040 hasPublicationYear "2009" @default.
• W2100033040 type Work @default.
• W2100033040 sameAs 2100033040 @default.
• W2100033040 citedByCount "1" @default.
• W2100033040 crossrefType "journal-article" @default.
• W2100033040 hasAuthorship W2100033040A5042121684 @default.
• W2100033040 hasAuthorship W2100033040A5055787720 @default.
• W2100033040 hasConcept C115903868 @default.
• W2100033040 hasConcept C120314980 @default.
• W2100033040 hasConcept C134306372 @default.
• W2100033040 hasConcept C154945302 @default.
• W2100033040 hasConcept C165696696 @default.
• W2100033040 hasConcept C199360897 @default.
• W2100033040 hasConcept C2777212361 @default.
• W2100033040 hasConcept C2777904410 @default.
• W2100033040 hasConcept C2779960059 @default.
• W2100033040 hasConcept C33923547 @default.
• W2100033040 hasConcept C36503486 @default.
• W2100033040 hasConcept C38652104 @default.
• W2100033040 hasConcept C41008148 @default.
• W2100033040 hasConcept C55439883 @default.
• W2100033040 hasConcept C75606506 @default.
• W2100033040 hasConcept C80444323 @default.
• W2100033040 hasConcept C98045186 @default.
• W2100033040 hasConceptScore W2100033040C115903868 @default.
• W2100033040 hasConceptScore W2100033040C120314980 @default.
• W2100033040 hasConceptScore W2100033040C134306372 @default.
• W2100033040 hasConceptScore W2100033040C154945302 @default.
• W2100033040 hasConceptScore W2100033040C165696696 @default.
• W2100033040 hasConceptScore W2100033040C199360897 @default.
• W2100033040 hasConceptScore W2100033040C2777212361 @default.
• W2100033040 hasConceptScore W2100033040C2777904410 @default.
• W2100033040 hasConceptScore W2100033040C2779960059 @default.
• W2100033040 hasConceptScore W2100033040C33923547 @default.
• W2100033040 hasConceptScore W2100033040C36503486 @default.
• W2100033040 hasConceptScore W2100033040C38652104 @default.
• W2100033040 hasConceptScore W2100033040C41008148 @default.
• W2100033040 hasConceptScore W2100033040C55439883 @default.
• W2100033040 hasConceptScore W2100033040C75606506 @default.
• W2100033040 hasConceptScore W2100033040C80444323 @default.
• W2100033040 hasConceptScore W2100033040C98045186 @default.
• W2100033040 hasLocation W21000330401 @default.
• W2100033040 hasOpenAccess W2100033040 @default.
• W2100033040 hasPrimaryLocation W21000330401 @default.
• W2100033040 hasRelatedWork W1501267794 @default.
• W2100033040 hasRelatedWork W1522946338 @default.
• W2100033040 hasRelatedWork W1593373400 @default.
• W2100033040 hasRelatedWork W1978072736 @default.
• W2100033040 hasRelatedWork W2016329432 @default.
• W2100033040 hasRelatedWork W2033580662 @default.
• W2100033040 hasRelatedWork W2045475634 @default.
• W2100033040 hasRelatedWork W2063666463 @default.
• W2100033040 hasRelatedWork W2074056946 @default.
• W2100033040 hasRelatedWork W2103286897 @default.
• W2100033040 hasRelatedWork W2139093174 @default.
• W2100033040 hasRelatedWork W2158747064 @default.
• W2100033040 hasRelatedWork W2158849671 @default.
• W2100033040 hasRelatedWork W2170188124 @default.
• W2100033040 hasRelatedWork W2187831762 @default.
• W2100033040 hasRelatedWork W2405157551 @default.
• W2100033040 hasRelatedWork W2568312439 @default.
• W2100033040 hasRelatedWork W2731606488 @default.
• W2100033040 hasRelatedWork W2912428261 @default.
• W2100033040 hasRelatedWork W2083006943 @default.
• W2100033040 isParatext "false" @default.

• next