Matches in SemOpenAlex for { <https://semopenalex.org/work/W2679101877> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2679101877 abstract "In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms." @default.
- W2679101877 created "2017-06-30" @default.
- W2679101877 creator A5014313137 @default.
- W2679101877 date "2012-03-02" @default.
- W2679101877 modified "2023-09-25" @default.
- W2679101877 title "A type system for embedded rewriting programming" @default.
- W2679101877 hasPublicationYear "2012" @default.
- W2679101877 type Work @default.
- W2679101877 sameAs 2679101877 @default.
- W2679101877 citedByCount "0" @default.
- W2679101877 crossrefType "dissertation" @default.
- W2679101877 hasAuthorship W2679101877A5014313137 @default.
- W2679101877 hasConcept C105795698 @default.
- W2679101877 hasConcept C135790938 @default.
- W2679101877 hasConcept C137631369 @default.
- W2679101877 hasConcept C154690210 @default.
- W2679101877 hasConcept C154945302 @default.
- W2679101877 hasConcept C173404611 @default.
- W2679101877 hasConcept C18903297 @default.
- W2679101877 hasConcept C198370458 @default.
- W2679101877 hasConcept C199360897 @default.
- W2679101877 hasConcept C20528804 @default.
- W2679101877 hasConcept C2776214188 @default.
- W2679101877 hasConcept C2777299769 @default.
- W2679101877 hasConcept C33923547 @default.
- W2679101877 hasConcept C41008148 @default.
- W2679101877 hasConcept C42383842 @default.
- W2679101877 hasConcept C44779574 @default.
- W2679101877 hasConcept C80444323 @default.
- W2679101877 hasConcept C83852419 @default.
- W2679101877 hasConcept C86803240 @default.
- W2679101877 hasConcept C93682546 @default.
- W2679101877 hasConceptScore W2679101877C105795698 @default.
- W2679101877 hasConceptScore W2679101877C135790938 @default.
- W2679101877 hasConceptScore W2679101877C137631369 @default.
- W2679101877 hasConceptScore W2679101877C154690210 @default.
- W2679101877 hasConceptScore W2679101877C154945302 @default.
- W2679101877 hasConceptScore W2679101877C173404611 @default.
- W2679101877 hasConceptScore W2679101877C18903297 @default.
- W2679101877 hasConceptScore W2679101877C198370458 @default.
- W2679101877 hasConceptScore W2679101877C199360897 @default.
- W2679101877 hasConceptScore W2679101877C20528804 @default.
- W2679101877 hasConceptScore W2679101877C2776214188 @default.
- W2679101877 hasConceptScore W2679101877C2777299769 @default.
- W2679101877 hasConceptScore W2679101877C33923547 @default.
- W2679101877 hasConceptScore W2679101877C41008148 @default.
- W2679101877 hasConceptScore W2679101877C42383842 @default.
- W2679101877 hasConceptScore W2679101877C44779574 @default.
- W2679101877 hasConceptScore W2679101877C80444323 @default.
- W2679101877 hasConceptScore W2679101877C83852419 @default.
- W2679101877 hasConceptScore W2679101877C86803240 @default.
- W2679101877 hasConceptScore W2679101877C93682546 @default.
- W2679101877 hasLocation W26791018771 @default.
- W2679101877 hasOpenAccess W2679101877 @default.
- W2679101877 hasPrimaryLocation W26791018771 @default.
- W2679101877 hasRelatedWork W1032800 @default.
- W2679101877 hasRelatedWork W1599066311 @default.
- W2679101877 hasRelatedWork W1726238843 @default.
- W2679101877 hasRelatedWork W1850217788 @default.
- W2679101877 hasRelatedWork W1928673936 @default.
- W2679101877 hasRelatedWork W2004046312 @default.
- W2679101877 hasRelatedWork W2030360570 @default.
- W2679101877 hasRelatedWork W2049240102 @default.
- W2679101877 hasRelatedWork W2080863863 @default.
- W2679101877 hasRelatedWork W2104216136 @default.
- W2679101877 hasRelatedWork W2113872465 @default.
- W2679101877 hasRelatedWork W2119846530 @default.
- W2679101877 hasRelatedWork W2119857670 @default.
- W2679101877 hasRelatedWork W2121993468 @default.
- W2679101877 hasRelatedWork W2162766176 @default.
- W2679101877 hasRelatedWork W2164522131 @default.
- W2679101877 hasRelatedWork W2199942537 @default.
- W2679101877 hasRelatedWork W2243479927 @default.
- W2679101877 hasRelatedWork W2486239674 @default.
- W2679101877 hasRelatedWork W3206788814 @default.
- W2679101877 isParatext "false" @default.
- W2679101877 isRetracted "false" @default.
- W2679101877 magId "2679101877" @default.
- W2679101877 workType "dissertation" @default.