Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205732088> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4205732088 endingPage "92" @default.
- W4205732088 startingPage "77" @default.
- W4205732088 abstract "In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to encode complex structures such as lists, sets, and objects. We provide extensive examples of the calculus, and we focus on its ability to represent some object oriented calculi, namely the Lambda Calculus of Objects of Fisher, Honsell, and Mitchell, and the Object Calculus of Abadi and Cardelli. Furthermore, the calculus allows us to get object oriented constructions unreachable in other calculi. In summa, we intend to show that because of its matching ability, the Rho Calculus represents a lingua franca to naturally encode many paradigms of computations. This enlightens the capabilities of the rewriting calculus based language ELAN to be used as a logical as well as powerful semantical framework." @default.
- W4205732088 created "2022-01-25" @default.
- W4205732088 creator A5015822800 @default.
- W4205732088 creator A5055776480 @default.
- W4205732088 creator A5080883460 @default.
- W4205732088 date "2001-01-01" @default.
- W4205732088 modified "2023-09-29" @default.
- W4205732088 title "Matching Power" @default.
- W4205732088 cites W1506145911 @default.
- W4205732088 cites W1513590676 @default.
- W4205732088 cites W1535956864 @default.
- W4205732088 cites W1542795482 @default.
- W4205732088 cites W1544633123 @default.
- W4205732088 cites W1900652794 @default.
- W4205732088 cites W1969665008 @default.
- W4205732088 cites W1985108724 @default.
- W4205732088 cites W1988246540 @default.
- W4205732088 cites W1990590363 @default.
- W4205732088 cites W1996804992 @default.
- W4205732088 cites W2031678037 @default.
- W4205732088 cites W2034484223 @default.
- W4205732088 cites W2035652450 @default.
- W4205732088 cites W2056016391 @default.
- W4205732088 cites W2062968803 @default.
- W4205732088 cites W2083402938 @default.
- W4205732088 cites W2095335078 @default.
- W4205732088 cites W2160173874 @default.
- W4205732088 cites W2421250929 @default.
- W4205732088 cites W2544881903 @default.
- W4205732088 cites W4212868911 @default.
- W4205732088 cites W4243525445 @default.
- W4205732088 doi "https://doi.org/10.1007/3-540-45127-7_8" @default.
- W4205732088 hasPublicationYear "2001" @default.
- W4205732088 type Work @default.
- W4205732088 citedByCount "11" @default.
- W4205732088 countsByYear W42057320882023 @default.
- W4205732088 crossrefType "book-chapter" @default.
- W4205732088 hasAuthorship W4205732088A5015822800 @default.
- W4205732088 hasAuthorship W4205732088A5055776480 @default.
- W4205732088 hasAuthorship W4205732088A5080883460 @default.
- W4205732088 hasBestOaLocation W42057320882 @default.
- W4205732088 hasConcept C111472728 @default.
- W4205732088 hasConcept C135790938 @default.
- W4205732088 hasConcept C138885662 @default.
- W4205732088 hasConcept C154690210 @default.
- W4205732088 hasConcept C154945302 @default.
- W4205732088 hasConcept C199343813 @default.
- W4205732088 hasConcept C199360897 @default.
- W4205732088 hasConcept C2777686260 @default.
- W4205732088 hasConcept C2780586882 @default.
- W4205732088 hasConcept C2781238097 @default.
- W4205732088 hasConcept C33923547 @default.
- W4205732088 hasConcept C41008148 @default.
- W4205732088 hasConcept C71924100 @default.
- W4205732088 hasConceptScore W4205732088C111472728 @default.
- W4205732088 hasConceptScore W4205732088C135790938 @default.
- W4205732088 hasConceptScore W4205732088C138885662 @default.
- W4205732088 hasConceptScore W4205732088C154690210 @default.
- W4205732088 hasConceptScore W4205732088C154945302 @default.
- W4205732088 hasConceptScore W4205732088C199343813 @default.
- W4205732088 hasConceptScore W4205732088C199360897 @default.
- W4205732088 hasConceptScore W4205732088C2777686260 @default.
- W4205732088 hasConceptScore W4205732088C2780586882 @default.
- W4205732088 hasConceptScore W4205732088C2781238097 @default.
- W4205732088 hasConceptScore W4205732088C33923547 @default.
- W4205732088 hasConceptScore W4205732088C41008148 @default.
- W4205732088 hasConceptScore W4205732088C71924100 @default.
- W4205732088 hasLocation W42057320881 @default.
- W4205732088 hasLocation W42057320882 @default.
- W4205732088 hasLocation W42057320883 @default.
- W4205732088 hasLocation W42057320884 @default.
- W4205732088 hasOpenAccess W4205732088 @default.
- W4205732088 hasPrimaryLocation W42057320881 @default.
- W4205732088 hasRelatedWork W1530585942 @default.
- W4205732088 hasRelatedWork W2013111119 @default.
- W4205732088 hasRelatedWork W2078043326 @default.
- W4205732088 hasRelatedWork W2089599948 @default.
- W4205732088 hasRelatedWork W2108174561 @default.
- W4205732088 hasRelatedWork W2466581924 @default.
- W4205732088 hasRelatedWork W4240242535 @default.
- W4205732088 hasRelatedWork W4251805752 @default.
- W4205732088 hasRelatedWork W785213887 @default.
- W4205732088 hasRelatedWork W2615504206 @default.
- W4205732088 isParatext "false" @default.
- W4205732088 isRetracted "false" @default.
- W4205732088 workType "book-chapter" @default.