Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057415021> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2057415021 abstract "This paper studies the conditions necessary to safely introduce new values as part of the results of function rules in functional-logic programs. The idea is to consider an initial functional-logic program and to produce, by means of a program transformation, a new program including states. Each rule of the new program returns pairs of values, with the first value the same as in the original program, and the second one a new value that can be defined in terms of the values returned by the function calls occurring in the rule. We prove that the transformation ensures the equivalence of the two programs with respect to the Constructor-based ReWriting Logic, a suitable semantics for functional-logic programs." @default.
- W2057415021 created "2016-06-24" @default.
- W2057415021 creator A5042405956 @default.
- W2057415021 date "2011-01-24" @default.
- W2057415021 modified "2023-10-01" @default.
- W2057415021 title "A program transformation for returning states in functional-logic programs" @default.
- W2057415021 cites W1980781982 @default.
- W2057415021 cites W1997143185 @default.
- W2057415021 cites W2043548135 @default.
- W2057415021 cites W2063521547 @default.
- W2057415021 cites W2113740617 @default.
- W2057415021 cites W2127844749 @default.
- W2057415021 cites W2137198597 @default.
- W2057415021 cites W2145960600 @default.
- W2057415021 cites W2295914203 @default.
- W2057415021 cites W4214478546 @default.
- W2057415021 doi "https://doi.org/10.1145/1929501.1929523" @default.
- W2057415021 hasPublicationYear "2011" @default.
- W2057415021 type Work @default.
- W2057415021 sameAs 2057415021 @default.
- W2057415021 citedByCount "0" @default.
- W2057415021 crossrefType "proceedings-article" @default.
- W2057415021 hasAuthorship W2057415021A5042405956 @default.
- W2057415021 hasConcept C104317684 @default.
- W2057415021 hasConcept C128838566 @default.
- W2057415021 hasConcept C185592680 @default.
- W2057415021 hasConcept C199360897 @default.
- W2057415021 hasConcept C204241405 @default.
- W2057415021 hasConcept C2778361913 @default.
- W2057415021 hasConcept C2987117450 @default.
- W2057415021 hasConcept C41008148 @default.
- W2057415021 hasConcept C55493867 @default.
- W2057415021 hasConcept C80444323 @default.
- W2057415021 hasConceptScore W2057415021C104317684 @default.
- W2057415021 hasConceptScore W2057415021C128838566 @default.
- W2057415021 hasConceptScore W2057415021C185592680 @default.
- W2057415021 hasConceptScore W2057415021C199360897 @default.
- W2057415021 hasConceptScore W2057415021C204241405 @default.
- W2057415021 hasConceptScore W2057415021C2778361913 @default.
- W2057415021 hasConceptScore W2057415021C2987117450 @default.
- W2057415021 hasConceptScore W2057415021C41008148 @default.
- W2057415021 hasConceptScore W2057415021C55493867 @default.
- W2057415021 hasConceptScore W2057415021C80444323 @default.
- W2057415021 hasLocation W20574150211 @default.
- W2057415021 hasOpenAccess W2057415021 @default.
- W2057415021 hasPrimaryLocation W20574150211 @default.
- W2057415021 hasRelatedWork W1494913990 @default.
- W2057415021 hasRelatedWork W1497984322 @default.
- W2057415021 hasRelatedWork W1548372360 @default.
- W2057415021 hasRelatedWork W1559858295 @default.
- W2057415021 hasRelatedWork W1830530871 @default.
- W2057415021 hasRelatedWork W1943281423 @default.
- W2057415021 hasRelatedWork W2109043892 @default.
- W2057415021 hasRelatedWork W2119952634 @default.
- W2057415021 hasRelatedWork W2292244571 @default.
- W2057415021 hasRelatedWork W2540089100 @default.
- W2057415021 isParatext "false" @default.
- W2057415021 isRetracted "false" @default.
- W2057415021 magId "2057415021" @default.
- W2057415021 workType "article" @default.