Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080644016> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2080644016 abstract "We present a system, called RZ, for automatic generation of program specifications from mathemat- ical theories. We translate mathematical theories to specifications by computing their realizability interpretations in the ML language augmented with assertions (as comments). While the system is best suited for descriptions of those data structures that can be easily described in mathemat- ical language (e.g., finitely presented groups, real arithmetic, graphs, etc.), it also elucidates the relationship between data structures and constructive mathematics." @default.
- W2080644016 created "2016-06-24" @default.
- W2080644016 creator A5068602858 @default.
- W2080644016 creator A5080911335 @default.
- W2080644016 date "2006-03-01" @default.
- W2080644016 modified "2023-09-23" @default.
- W2080644016 title "Specifications via Realizability" @default.
- W2080644016 cites W104853290 @default.
- W2080644016 cites W1499154644 @default.
- W2080644016 cites W1587799979 @default.
- W2080644016 cites W2014827437 @default.
- W2080644016 cites W2043566933 @default.
- W2080644016 cites W2066221810 @default.
- W2080644016 cites W2104412665 @default.
- W2080644016 cites W2106895712 @default.
- W2080644016 cites W2133639043 @default.
- W2080644016 cites W2158542561 @default.
- W2080644016 cites W2291208220 @default.
- W2080644016 doi "https://doi.org/10.1016/j.entcs.2005.08.007" @default.
- W2080644016 hasPublicationYear "2006" @default.
- W2080644016 type Work @default.
- W2080644016 sameAs 2080644016 @default.
- W2080644016 citedByCount "1" @default.
- W2080644016 crossrefType "journal-article" @default.
- W2080644016 hasAuthorship W2080644016A5068602858 @default.
- W2080644016 hasAuthorship W2080644016A5080911335 @default.
- W2080644016 hasBestOaLocation W20806440161 @default.
- W2080644016 hasConcept C136119220 @default.
- W2080644016 hasConcept C199343813 @default.
- W2080644016 hasConcept C199360897 @default.
- W2080644016 hasConcept C202444582 @default.
- W2080644016 hasConcept C2776378722 @default.
- W2080644016 hasConcept C2777686260 @default.
- W2080644016 hasConcept C2778701210 @default.
- W2080644016 hasConcept C33923547 @default.
- W2080644016 hasConcept C41008148 @default.
- W2080644016 hasConcept C71924100 @default.
- W2080644016 hasConcept C80444323 @default.
- W2080644016 hasConcept C94375191 @default.
- W2080644016 hasConcept C98045186 @default.
- W2080644016 hasConceptScore W2080644016C136119220 @default.
- W2080644016 hasConceptScore W2080644016C199343813 @default.
- W2080644016 hasConceptScore W2080644016C199360897 @default.
- W2080644016 hasConceptScore W2080644016C202444582 @default.
- W2080644016 hasConceptScore W2080644016C2776378722 @default.
- W2080644016 hasConceptScore W2080644016C2777686260 @default.
- W2080644016 hasConceptScore W2080644016C2778701210 @default.
- W2080644016 hasConceptScore W2080644016C33923547 @default.
- W2080644016 hasConceptScore W2080644016C41008148 @default.
- W2080644016 hasConceptScore W2080644016C71924100 @default.
- W2080644016 hasConceptScore W2080644016C80444323 @default.
- W2080644016 hasConceptScore W2080644016C94375191 @default.
- W2080644016 hasConceptScore W2080644016C98045186 @default.
- W2080644016 hasLocation W20806440161 @default.
- W2080644016 hasOpenAccess W2080644016 @default.
- W2080644016 hasPrimaryLocation W20806440161 @default.
- W2080644016 hasRelatedWork W1652311832 @default.
- W2080644016 hasRelatedWork W2118300983 @default.
- W2080644016 hasRelatedWork W2135396778 @default.
- W2080644016 hasRelatedWork W2166247150 @default.
- W2080644016 hasRelatedWork W2243428364 @default.
- W2080644016 hasRelatedWork W2462453872 @default.
- W2080644016 hasRelatedWork W2963958414 @default.
- W2080644016 hasRelatedWork W3207171446 @default.
- W2080644016 hasRelatedWork W4243252198 @default.
- W2080644016 hasRelatedWork W4245713008 @default.
- W2080644016 isParatext "false" @default.
- W2080644016 isRetracted "false" @default.
- W2080644016 magId "2080644016" @default.
- W2080644016 workType "article" @default.