FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W50657916> ?p ?o ?g. }

• W50657916 abstract "This paper presents a semantics for a simple language that is a blend of algebraic models and traditional denotational semantics. In this semantics, implementations of user-de ned abstract data types are compiled into an algebraic structure, which is used by the denotational part of the semantics whenever an operation of the data type is invoked. To show the utility of such a semantics, an algebraic characterization of simulation between states over such algebras is given, and it is shown that simulation is preserved by expressions and commands in the language." @default.
• W50657916 created "2016-06-24" @default.
• W50657916 creator A5014066009 @default.
• W50657916 creator A5025556756 @default.
• W50657916 date "1994-01-01" @default.
• W50657916 modified "2023-10-17" @default.
• W50657916 title "Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects" @default.
• W50657916 cites W115619138 @default.
• W50657916 cites W1484366641 @default.
• W50657916 cites W1519382205 @default.
• W50657916 cites W1522547440 @default.
• W50657916 cites W1532119401 @default.
• W50657916 cites W1533730123 @default.
• W50657916 cites W1535103785 @default.
• W50657916 cites W1540323172 @default.
• W50657916 cites W1543173511 @default.
• W50657916 cites W1548394473 @default.
• W50657916 cites W1551447924 @default.
• W50657916 cites W1560643514 @default.
• W50657916 cites W1562915584 @default.
• W50657916 cites W1563045452 @default.
• W50657916 cites W1588303924 @default.
• W50657916 cites W1591007360 @default.
• W50657916 cites W1592287058 @default.
• W50657916 cites W1597593761 @default.
• W50657916 cites W1601132928 @default.
• W50657916 cites W174471988 @default.
• W50657916 cites W1770006921 @default.
• W50657916 cites W1818561783 @default.
• W50657916 cites W1874450173 @default.
• W50657916 cites W19851560 @default.
• W50657916 cites W1996149734 @default.
• W50657916 cites W2022720383 @default.
• W50657916 cites W2027949780 @default.
• W50657916 cites W2059895047 @default.
• W50657916 cites W2061786858 @default.
• W50657916 cites W2076212401 @default.
• W50657916 cites W2101247081 @default.
• W50657916 cites W2111304450 @default.
• W50657916 cites W2118623138 @default.
• W50657916 cites W2154273644 @default.
• W50657916 cites W2155057730 @default.
• W50657916 cites W2161825580 @default.
• W50657916 cites W2165319670 @default.
• W50657916 cites W2402038485 @default.
• W50657916 cites W2405921311 @default.
• W50657916 cites W2742270218 @default.
• W50657916 cites W2991253930 @default.
• W50657916 cites W3023216518 @default.
• W50657916 cites W48939354 @default.
• W50657916 hasPublicationYear "1994" @default.
• W50657916 type Work @default.
• W50657916 sameAs 50657916 @default.
• W50657916 citedByCount "0" @default.
• W50657916 crossrefType "journal-article" @default.
• W50657916 hasAuthorship W50657916A5014066009 @default.
• W50657916 hasAuthorship W50657916A5025556756 @default.
• W50657916 hasConcept C118615104 @default.
• W50657916 hasConcept C134306372 @default.
• W50657916 hasConcept C136119220 @default.
• W50657916 hasConcept C150607116 @default.
• W50657916 hasConcept C156325763 @default.
• W50657916 hasConcept C184337299 @default.
• W50657916 hasConcept C199360897 @default.
• W50657916 hasConcept C200065993 @default.
• W50657916 hasConcept C202444582 @default.
• W50657916 hasConcept C207648694 @default.
• W50657916 hasConcept C2779729104 @default.
• W50657916 hasConcept C29585364 @default.
• W50657916 hasConcept C33923547 @default.
• W50657916 hasConcept C41008148 @default.
• W50657916 hasConcept C80444323 @default.
• W50657916 hasConcept C87365073 @default.
• W50657916 hasConcept C89448276 @default.
• W50657916 hasConcept C9376300 @default.
• W50657916 hasConceptScore W50657916C118615104 @default.
• W50657916 hasConceptScore W50657916C134306372 @default.
• W50657916 hasConceptScore W50657916C136119220 @default.
• W50657916 hasConceptScore W50657916C150607116 @default.
• W50657916 hasConceptScore W50657916C156325763 @default.
• W50657916 hasConceptScore W50657916C184337299 @default.
• W50657916 hasConceptScore W50657916C199360897 @default.
• W50657916 hasConceptScore W50657916C200065993 @default.
• W50657916 hasConceptScore W50657916C202444582 @default.
• W50657916 hasConceptScore W50657916C207648694 @default.
• W50657916 hasConceptScore W50657916C2779729104 @default.
• W50657916 hasConceptScore W50657916C29585364 @default.
• W50657916 hasConceptScore W50657916C33923547 @default.
• W50657916 hasConceptScore W50657916C41008148 @default.
• W50657916 hasConceptScore W50657916C80444323 @default.
• W50657916 hasConceptScore W50657916C87365073 @default.
• W50657916 hasConceptScore W50657916C89448276 @default.
• W50657916 hasConceptScore W50657916C9376300 @default.
• W50657916 hasLocation W506579161 @default.
• W50657916 hasOpenAccess W50657916 @default.
• W50657916 hasPrimaryLocation W506579161 @default.
• W50657916 hasRelatedWork W1453568478 @default.
• W50657916 hasRelatedWork W1496607686 @default.
• W50657916 hasRelatedWork W1575958859 @default.
• W50657916 hasRelatedWork W1578958123 @default.

• next