Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145809484> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2145809484 endingPage "46" @default.
- W2145809484 startingPage "30" @default.
- W2145809484 abstract "Some type systems are first described formally, to be sometimes followed by an implementation. Other type systems are first implemented as language extensions, to be sometimes retrofitted with a formal description. In neither case it is an easy task to keep both artefacts consistent. In this paper we introduce Ruler, a domain specific language for describing type rules. Type rules can be incrementally described, thus providing a means for building complex type systems on top of simpler ones. Besides checking well-formedness of Ruler programs we use them to generate (1) a visual LATEX rendering, suitable for use in the presentation of formal aspects, and (2) an attribute grammar based implementation. Combining these two aspects in Ruler contributes to bridging the gap between theory and practice: mutually consistent representations can be generated for use in both theoretical and practical settings." @default.
- W2145809484 created "2016-06-24" @default.
- W2145809484 creator A5053655087 @default.
- W2145809484 creator A5060098926 @default.
- W2145809484 date "2006-01-01" @default.
- W2145809484 modified "2023-10-17" @default.
- W2145809484 title "Ruler: Programming Type Rules" @default.
- W2145809484 cites W1581035717 @default.
- W2145809484 cites W1949136631 @default.
- W2145809484 cites W1989642656 @default.
- W2145809484 cites W2095631859 @default.
- W2145809484 cites W2106852828 @default.
- W2145809484 cites W2223046624 @default.
- W2145809484 cites W4252649616 @default.
- W2145809484 doi "https://doi.org/10.1007/11737414_4" @default.
- W2145809484 hasPublicationYear "2006" @default.
- W2145809484 type Work @default.
- W2145809484 sameAs 2145809484 @default.
- W2145809484 citedByCount "19" @default.
- W2145809484 countsByYear W21458094842012 @default.
- W2145809484 countsByYear W21458094842013 @default.
- W2145809484 countsByYear W21458094842014 @default.
- W2145809484 countsByYear W21458094842016 @default.
- W2145809484 crossrefType "book-chapter" @default.
- W2145809484 hasAuthorship W2145809484A5053655087 @default.
- W2145809484 hasAuthorship W2145809484A5060098926 @default.
- W2145809484 hasBestOaLocation W21458094842 @default.
- W2145809484 hasConcept C121332964 @default.
- W2145809484 hasConcept C154945302 @default.
- W2145809484 hasConcept C165743212 @default.
- W2145809484 hasConcept C174348530 @default.
- W2145809484 hasConcept C18903297 @default.
- W2145809484 hasConcept C199360897 @default.
- W2145809484 hasConcept C205711294 @default.
- W2145809484 hasConcept C2777299769 @default.
- W2145809484 hasConcept C31258907 @default.
- W2145809484 hasConcept C41008148 @default.
- W2145809484 hasConcept C62520636 @default.
- W2145809484 hasConcept C80444323 @default.
- W2145809484 hasConcept C86803240 @default.
- W2145809484 hasConcept C93682546 @default.
- W2145809484 hasConceptScore W2145809484C121332964 @default.
- W2145809484 hasConceptScore W2145809484C154945302 @default.
- W2145809484 hasConceptScore W2145809484C165743212 @default.
- W2145809484 hasConceptScore W2145809484C174348530 @default.
- W2145809484 hasConceptScore W2145809484C18903297 @default.
- W2145809484 hasConceptScore W2145809484C199360897 @default.
- W2145809484 hasConceptScore W2145809484C205711294 @default.
- W2145809484 hasConceptScore W2145809484C2777299769 @default.
- W2145809484 hasConceptScore W2145809484C31258907 @default.
- W2145809484 hasConceptScore W2145809484C41008148 @default.
- W2145809484 hasConceptScore W2145809484C62520636 @default.
- W2145809484 hasConceptScore W2145809484C80444323 @default.
- W2145809484 hasConceptScore W2145809484C86803240 @default.
- W2145809484 hasConceptScore W2145809484C93682546 @default.
- W2145809484 hasLocation W21458094841 @default.
- W2145809484 hasLocation W21458094842 @default.
- W2145809484 hasOpenAccess W2145809484 @default.
- W2145809484 hasPrimaryLocation W21458094841 @default.
- W2145809484 hasRelatedWork W1480879962 @default.
- W2145809484 hasRelatedWork W2112962394 @default.
- W2145809484 hasRelatedWork W2118300983 @default.
- W2145809484 hasRelatedWork W2139102157 @default.
- W2145809484 hasRelatedWork W2167486301 @default.
- W2145809484 hasRelatedWork W2382501300 @default.
- W2145809484 hasRelatedWork W3137189469 @default.
- W2145809484 hasRelatedWork W4235530921 @default.
- W2145809484 hasRelatedWork W4243252198 @default.
- W2145809484 hasRelatedWork W2601088302 @default.
- W2145809484 isParatext "false" @default.
- W2145809484 isRetracted "false" @default.
- W2145809484 magId "2145809484" @default.
- W2145809484 workType "book-chapter" @default.