Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891317002> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2891317002 endingPage "44" @default.
- W2891317002 startingPage "26" @default.
- W2891317002 abstract "Modern multi-paradigm programming languages combine the most important features of functional programming, logic programming, concurrent programming, and constraint programming. Multi-paradigm programming applied to the Maude specification language would replace the functional viewpoint by an equational viewpoint while retaining and extending the other features. A former paper illustrated how many features available in modern functional logic languages are easily definable and simulated in Maude, and showed how Maude goes beyond standard practices in the functional logic area by using, e.g. equational properties such as associativity and commutativity or order-sorted information. As a practical application the paper used the Missionaries and Cannibals equational logic program given by Goguen and Meseguer for Eqlog in the eighties. However, no relevant execution results were included due to the preliminary implementation of narrowing in Maude. In this paper we provide more relevant execution results by changing the focus from narrowing with rules (i.e., symbolic reachability) into narrowing with variant equations (i.e., equational unification), the latter now implemented in Maude 2.7.1 with very good performance." @default.
- W2891317002 created "2018-09-27" @default.
- W2891317002 creator A5032149189 @default.
- W2891317002 date "2018-01-01" @default.
- W2891317002 modified "2023-09-25" @default.
- W2891317002 title "Multi-paradigm Programming in Maude" @default.
- W2891317002 cites W1005406636 @default.
- W2891317002 cites W1507112684 @default.
- W2891317002 cites W1512480360 @default.
- W2891317002 cites W1513315908 @default.
- W2891317002 cites W1528480473 @default.
- W2891317002 cites W1556743088 @default.
- W2891317002 cites W1569990888 @default.
- W2891317002 cites W1570621944 @default.
- W2891317002 cites W1590286017 @default.
- W2891317002 cites W1595402260 @default.
- W2891317002 cites W165973852 @default.
- W2891317002 cites W1678943029 @default.
- W2891317002 cites W1760118857 @default.
- W2891317002 cites W1976195354 @default.
- W2891317002 cites W1992085465 @default.
- W2891317002 cites W2034034435 @default.
- W2891317002 cites W2042924775 @default.
- W2891317002 cites W2042987983 @default.
- W2891317002 cites W2048748607 @default.
- W2891317002 cites W2059799630 @default.
- W2891317002 cites W2070953905 @default.
- W2891317002 cites W2081259812 @default.
- W2891317002 cites W2106105719 @default.
- W2891317002 cites W2113722134 @default.
- W2891317002 cites W2117207972 @default.
- W2891317002 cites W2127844749 @default.
- W2891317002 cites W2146005157 @default.
- W2891317002 cites W2170798886 @default.
- W2891317002 cites W2282814833 @default.
- W2891317002 cites W2316113835 @default.
- W2891317002 cites W2460628954 @default.
- W2891317002 cites W2771728256 @default.
- W2891317002 cites W2810927195 @default.
- W2891317002 cites W2890451556 @default.
- W2891317002 cites W4234315090 @default.
- W2891317002 cites W4240802144 @default.
- W2891317002 cites W68427271 @default.
- W2891317002 doi "https://doi.org/10.1007/978-3-319-99840-4_2" @default.
- W2891317002 hasPublicationYear "2018" @default.
- W2891317002 type Work @default.
- W2891317002 sameAs 2891317002 @default.
- W2891317002 citedByCount "1" @default.
- W2891317002 countsByYear W28913170022020 @default.
- W2891317002 crossrefType "book-chapter" @default.
- W2891317002 hasAuthorship W2891317002A5032149189 @default.
- W2891317002 hasConcept C154690210 @default.
- W2891317002 hasConcept C199360897 @default.
- W2891317002 hasConcept C41008148 @default.
- W2891317002 hasConceptScore W2891317002C154690210 @default.
- W2891317002 hasConceptScore W2891317002C199360897 @default.
- W2891317002 hasConceptScore W2891317002C41008148 @default.
- W2891317002 hasLocation W28913170021 @default.
- W2891317002 hasOpenAccess W2891317002 @default.
- W2891317002 hasPrimaryLocation W28913170021 @default.
- W2891317002 hasRelatedWork W1553079342 @default.
- W2891317002 hasRelatedWork W1652311832 @default.
- W2891317002 hasRelatedWork W2013111119 @default.
- W2891317002 hasRelatedWork W2099080307 @default.
- W2891317002 hasRelatedWork W2108174561 @default.
- W2891317002 hasRelatedWork W2137231339 @default.
- W2891317002 hasRelatedWork W2189149666 @default.
- W2891317002 hasRelatedWork W2475423329 @default.
- W2891317002 hasRelatedWork W2784629571 @default.
- W2891317002 hasRelatedWork W4251805752 @default.
- W2891317002 isParatext "false" @default.
- W2891317002 isRetracted "false" @default.
- W2891317002 magId "2891317002" @default.
- W2891317002 workType "book-chapter" @default.