Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949586550> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2949586550 abstract "Constructor-Based Conditional Rewriting Logic is a general framework for integrating first-order functional and logic programming which gives an algebraic semantics for non-deterministic functional-logic programs. In the context of this formalism, we introduce a simple notion of program module as an open program which can be extended together with several mechanisms to combine them. These mechanisms are based on a reduced set of operations. However, the high expressiveness of these operations enable us to model typical constructs for program modularization like hiding, export/import, genericity/instantiation, and inheritance in a simple way. We also deal with the semantic aspects of the proposal by introducing an immediate consequence operator, and studying several alternative semantics for a program module, based on this operator, in the line of logic programming: the operator itself, its least fixpoint (the least model of the module), the set of its pre-fixpoints (term models of the module), and some other variations in order to find a compositional and fully abstract semantics wrt the set of operations and a natural notion of observability." @default.
- W2949586550 created "2019-06-27" @default.
- W2949586550 creator A5041278586 @default.
- W2949586550 creator A5079133385 @default.
- W2949586550 date "2002-03-04" @default.
- W2949586550 modified "2023-09-23" @default.
- W2949586550 title "Composing Programs in a Rewriting Logic for Declarative Programming" @default.
- W2949586550 cites W1503023112 @default.
- W2949586550 cites W1523672620 @default.
- W2949586550 cites W1597918680 @default.
- W2949586550 cites W1605195718 @default.
- W2949586550 cites W179746882 @default.
- W2949586550 cites W192170012 @default.
- W2949586550 cites W1983937740 @default.
- W2949586550 cites W2017160649 @default.
- W2949586550 cites W2060723681 @default.
- W2949586550 cites W2074056576 @default.
- W2949586550 cites W2293815615 @default.
- W2949586550 cites W2914212232 @default.
- W2949586550 hasPublicationYear "2002" @default.
- W2949586550 type Work @default.
- W2949586550 sameAs 2949586550 @default.
- W2949586550 citedByCount "0" @default.
- W2949586550 crossrefType "posted-content" @default.
- W2949586550 hasAuthorship W2949586550A5041278586 @default.
- W2949586550 hasAuthorship W2949586550A5079133385 @default.
- W2949586550 hasConcept C127001435 @default.
- W2949586550 hasConcept C128838566 @default.
- W2949586550 hasConcept C154690210 @default.
- W2949586550 hasConcept C156325763 @default.
- W2949586550 hasConcept C184337299 @default.
- W2949586550 hasConcept C199360897 @default.
- W2949586550 hasConcept C207648694 @default.
- W2949586550 hasConcept C2778361913 @default.
- W2949586550 hasConcept C34165917 @default.
- W2949586550 hasConcept C41008148 @default.
- W2949586550 hasConcept C42383842 @default.
- W2949586550 hasConcept C50033165 @default.
- W2949586550 hasConcept C80444323 @default.
- W2949586550 hasConcept C89497691 @default.
- W2949586550 hasConcept C96315309 @default.
- W2949586550 hasConceptScore W2949586550C127001435 @default.
- W2949586550 hasConceptScore W2949586550C128838566 @default.
- W2949586550 hasConceptScore W2949586550C154690210 @default.
- W2949586550 hasConceptScore W2949586550C156325763 @default.
- W2949586550 hasConceptScore W2949586550C184337299 @default.
- W2949586550 hasConceptScore W2949586550C199360897 @default.
- W2949586550 hasConceptScore W2949586550C207648694 @default.
- W2949586550 hasConceptScore W2949586550C2778361913 @default.
- W2949586550 hasConceptScore W2949586550C34165917 @default.
- W2949586550 hasConceptScore W2949586550C41008148 @default.
- W2949586550 hasConceptScore W2949586550C42383842 @default.
- W2949586550 hasConceptScore W2949586550C50033165 @default.
- W2949586550 hasConceptScore W2949586550C80444323 @default.
- W2949586550 hasConceptScore W2949586550C89497691 @default.
- W2949586550 hasConceptScore W2949586550C96315309 @default.
- W2949586550 hasLocation W29495865501 @default.
- W2949586550 hasOpenAccess W2949586550 @default.
- W2949586550 hasPrimaryLocation W29495865501 @default.
- W2949586550 hasRelatedWork W116227192 @default.
- W2949586550 hasRelatedWork W1502491956 @default.
- W2949586550 hasRelatedWork W1595367879 @default.
- W2949586550 hasRelatedWork W1833968197 @default.
- W2949586550 hasRelatedWork W1966584468 @default.
- W2949586550 hasRelatedWork W1973600615 @default.
- W2949586550 hasRelatedWork W1983174936 @default.
- W2949586550 hasRelatedWork W2025317149 @default.
- W2949586550 hasRelatedWork W2025883143 @default.
- W2949586550 hasRelatedWork W2073345936 @default.
- W2949586550 hasRelatedWork W2082652061 @default.
- W2949586550 hasRelatedWork W2103328616 @default.
- W2949586550 hasRelatedWork W2107103878 @default.
- W2949586550 hasRelatedWork W2117150083 @default.
- W2949586550 hasRelatedWork W2179833932 @default.
- W2949586550 hasRelatedWork W2542063192 @default.
- W2949586550 hasRelatedWork W262321538 @default.
- W2949586550 hasRelatedWork W2756101299 @default.
- W2949586550 hasRelatedWork W2971290534 @default.
- W2949586550 hasRelatedWork W1817268752 @default.
- W2949586550 isParatext "false" @default.
- W2949586550 isRetracted "false" @default.
- W2949586550 magId "2949586550" @default.
- W2949586550 workType "article" @default.