Matches in SemOpenAlex for { <https://semopenalex.org/work/W2268042542> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2268042542 endingPage "847" @default.
- W2268042542 startingPage "840" @default.
- W2268042542 abstract "A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF languages is not decidable, a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked. Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented." @default.
- W2268042542 created "2016-06-24" @default.
- W2268042542 creator A5007461971 @default.
- W2268042542 creator A5034945626 @default.
- W2268042542 date "2004-01-01" @default.
- W2268042542 modified "2023-09-23" @default.
- W2268042542 title "Practical Type Checking of Functions Defined on Context-Free Languages" @default.
- W2268042542 hasPublicationYear "2004" @default.
- W2268042542 type Work @default.
- W2268042542 sameAs 2268042542 @default.
- W2268042542 citedByCount "0" @default.
- W2268042542 crossrefType "journal-article" @default.
- W2268042542 hasAuthorship W2268042542A5007461971 @default.
- W2268042542 hasAuthorship W2268042542A5034945626 @default.
- W2268042542 hasConcept C11413529 @default.
- W2268042542 hasConcept C124101348 @default.
- W2268042542 hasConcept C138885662 @default.
- W2268042542 hasConcept C138958017 @default.
- W2268042542 hasConcept C151730666 @default.
- W2268042542 hasConcept C153269930 @default.
- W2268042542 hasConcept C154945302 @default.
- W2268042542 hasConcept C17744445 @default.
- W2268042542 hasConcept C18903297 @default.
- W2268042542 hasConcept C198370458 @default.
- W2268042542 hasConcept C199360897 @default.
- W2268042542 hasConcept C199539241 @default.
- W2268042542 hasConcept C25343380 @default.
- W2268042542 hasConcept C2776214188 @default.
- W2268042542 hasConcept C2776359362 @default.
- W2268042542 hasConcept C2776401178 @default.
- W2268042542 hasConcept C2777299769 @default.
- W2268042542 hasConcept C2779343474 @default.
- W2268042542 hasConcept C41008148 @default.
- W2268042542 hasConcept C41895202 @default.
- W2268042542 hasConcept C80444323 @default.
- W2268042542 hasConcept C86803240 @default.
- W2268042542 hasConcept C94625758 @default.
- W2268042542 hasConceptScore W2268042542C11413529 @default.
- W2268042542 hasConceptScore W2268042542C124101348 @default.
- W2268042542 hasConceptScore W2268042542C138885662 @default.
- W2268042542 hasConceptScore W2268042542C138958017 @default.
- W2268042542 hasConceptScore W2268042542C151730666 @default.
- W2268042542 hasConceptScore W2268042542C153269930 @default.
- W2268042542 hasConceptScore W2268042542C154945302 @default.
- W2268042542 hasConceptScore W2268042542C17744445 @default.
- W2268042542 hasConceptScore W2268042542C18903297 @default.
- W2268042542 hasConceptScore W2268042542C198370458 @default.
- W2268042542 hasConceptScore W2268042542C199360897 @default.
- W2268042542 hasConceptScore W2268042542C199539241 @default.
- W2268042542 hasConceptScore W2268042542C25343380 @default.
- W2268042542 hasConceptScore W2268042542C2776214188 @default.
- W2268042542 hasConceptScore W2268042542C2776359362 @default.
- W2268042542 hasConceptScore W2268042542C2776401178 @default.
- W2268042542 hasConceptScore W2268042542C2777299769 @default.
- W2268042542 hasConceptScore W2268042542C2779343474 @default.
- W2268042542 hasConceptScore W2268042542C41008148 @default.
- W2268042542 hasConceptScore W2268042542C41895202 @default.
- W2268042542 hasConceptScore W2268042542C80444323 @default.
- W2268042542 hasConceptScore W2268042542C86803240 @default.
- W2268042542 hasConceptScore W2268042542C94625758 @default.
- W2268042542 hasIssue "6" @default.
- W2268042542 hasLocation W22680425421 @default.
- W2268042542 hasOpenAccess W2268042542 @default.
- W2268042542 hasPrimaryLocation W22680425421 @default.
- W2268042542 hasRelatedWork W1479894205 @default.
- W2268042542 hasRelatedWork W1489250027 @default.
- W2268042542 hasRelatedWork W1508903366 @default.
- W2268042542 hasRelatedWork W1596723206 @default.
- W2268042542 hasRelatedWork W2030769844 @default.
- W2268042542 hasRelatedWork W2031441199 @default.
- W2268042542 hasRelatedWork W207961743 @default.
- W2268042542 hasRelatedWork W2094085700 @default.
- W2268042542 hasRelatedWork W2126107294 @default.
- W2268042542 hasRelatedWork W2144102501 @default.
- W2268042542 hasRelatedWork W2149320266 @default.
- W2268042542 hasRelatedWork W2189327219 @default.
- W2268042542 hasRelatedWork W2522207775 @default.
- W2268042542 hasRelatedWork W2970969247 @default.
- W2268042542 hasRelatedWork W2976136300 @default.
- W2268042542 hasRelatedWork W2999111365 @default.
- W2268042542 hasRelatedWork W3103318063 @default.
- W2268042542 hasRelatedWork W3123850752 @default.
- W2268042542 hasRelatedWork W2584069061 @default.
- W2268042542 hasRelatedWork W350546781 @default.
- W2268042542 hasVolume "19" @default.
- W2268042542 isParatext "false" @default.
- W2268042542 isRetracted "false" @default.
- W2268042542 magId "2268042542" @default.
- W2268042542 workType "article" @default.