Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011230497> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2011230497 endingPage "374" @default.
- W2011230497 startingPage "355" @default.
- W2011230497 abstract "Domain modeling can be applied to collections of reusable designs and reusable software. Libraries of such collections can be used when applying a refinement by transformation technique to software construction. There already exist systems that can automatically or semi-automatically perform program transformations that constitute refinements. An important question is how to organize such libraries so that transformation tools may feasibly use them. We show that transformation of a high level program with constraints on the transformations is an NP-complete problem; however, appropriately organized libraries are tractable. Moreover, we define a property which a library of transformations can have, ensuring that any consistent high level program can be transformed into an executable form. Finally, we give approximations which reduce the complexity of transformations for libraries which do not have this property. The most important aspect of this work is that it implies certain rules should be followed in constructing libraries and the domains that are placed in them." @default.
- W2011230497 created "2016-06-24" @default.
- W2011230497 creator A5045729678 @default.
- W2011230497 creator A5084684611 @default.
- W2011230497 date "1992-09-01" @default.
- W2011230497 modified "2023-09-27" @default.
- W2011230497 title "CONSTRAINT PROPAGATION IN SOFTWARE LIBRARIES OF TRANSFORMATION SYSTEMS" @default.
- W2011230497 doi "https://doi.org/10.1142/s0218194092000178" @default.
- W2011230497 hasPublicationYear "1992" @default.
- W2011230497 type Work @default.
- W2011230497 sameAs 2011230497 @default.
- W2011230497 citedByCount "8" @default.
- W2011230497 crossrefType "journal-article" @default.
- W2011230497 hasAuthorship W2011230497A5045729678 @default.
- W2011230497 hasAuthorship W2011230497A5084684611 @default.
- W2011230497 hasConcept C104317684 @default.
- W2011230497 hasConcept C111472728 @default.
- W2011230497 hasConcept C115903868 @default.
- W2011230497 hasConcept C134306372 @default.
- W2011230497 hasConcept C138885662 @default.
- W2011230497 hasConcept C149091818 @default.
- W2011230497 hasConcept C154945302 @default.
- W2011230497 hasConcept C160145156 @default.
- W2011230497 hasConcept C185592680 @default.
- W2011230497 hasConcept C189950617 @default.
- W2011230497 hasConcept C199360897 @default.
- W2011230497 hasConcept C204241405 @default.
- W2011230497 hasConcept C2524010 @default.
- W2011230497 hasConcept C2776036281 @default.
- W2011230497 hasConcept C2776436953 @default.
- W2011230497 hasConcept C2777904410 @default.
- W2011230497 hasConcept C2778361913 @default.
- W2011230497 hasConcept C2779791154 @default.
- W2011230497 hasConcept C33923547 @default.
- W2011230497 hasConcept C36503486 @default.
- W2011230497 hasConcept C41008148 @default.
- W2011230497 hasConcept C55493867 @default.
- W2011230497 hasConcept C80444323 @default.
- W2011230497 hasConceptScore W2011230497C104317684 @default.
- W2011230497 hasConceptScore W2011230497C111472728 @default.
- W2011230497 hasConceptScore W2011230497C115903868 @default.
- W2011230497 hasConceptScore W2011230497C134306372 @default.
- W2011230497 hasConceptScore W2011230497C138885662 @default.
- W2011230497 hasConceptScore W2011230497C149091818 @default.
- W2011230497 hasConceptScore W2011230497C154945302 @default.
- W2011230497 hasConceptScore W2011230497C160145156 @default.
- W2011230497 hasConceptScore W2011230497C185592680 @default.
- W2011230497 hasConceptScore W2011230497C189950617 @default.
- W2011230497 hasConceptScore W2011230497C199360897 @default.
- W2011230497 hasConceptScore W2011230497C204241405 @default.
- W2011230497 hasConceptScore W2011230497C2524010 @default.
- W2011230497 hasConceptScore W2011230497C2776036281 @default.
- W2011230497 hasConceptScore W2011230497C2776436953 @default.
- W2011230497 hasConceptScore W2011230497C2777904410 @default.
- W2011230497 hasConceptScore W2011230497C2778361913 @default.
- W2011230497 hasConceptScore W2011230497C2779791154 @default.
- W2011230497 hasConceptScore W2011230497C33923547 @default.
- W2011230497 hasConceptScore W2011230497C36503486 @default.
- W2011230497 hasConceptScore W2011230497C41008148 @default.
- W2011230497 hasConceptScore W2011230497C55493867 @default.
- W2011230497 hasConceptScore W2011230497C80444323 @default.
- W2011230497 hasIssue "03" @default.
- W2011230497 hasLocation W20112304971 @default.
- W2011230497 hasOpenAccess W2011230497 @default.
- W2011230497 hasPrimaryLocation W20112304971 @default.
- W2011230497 hasRelatedWork W112453640 @default.
- W2011230497 hasRelatedWork W1493341792 @default.
- W2011230497 hasRelatedWork W1494913990 @default.
- W2011230497 hasRelatedWork W1729509073 @default.
- W2011230497 hasRelatedWork W2011230497 @default.
- W2011230497 hasRelatedWork W2092844858 @default.
- W2011230497 hasRelatedWork W2152708691 @default.
- W2011230497 hasRelatedWork W2205753293 @default.
- W2011230497 hasRelatedWork W2748872428 @default.
- W2011230497 hasRelatedWork W2958075315 @default.
- W2011230497 hasVolume "02" @default.
- W2011230497 isParatext "false" @default.
- W2011230497 isRetracted "false" @default.
- W2011230497 magId "2011230497" @default.
- W2011230497 workType "article" @default.