Matches in SemOpenAlex for { <https://semopenalex.org/work/W1725916140> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1725916140 abstract "The recently-developed framework of Unified Algebras is intended for axiomatic specification of abstract data types. In contrast, the somewhat older framework of Action Semantics (earlier known as ''Abstract Semantic Algebras'') is for denotational specification of programming languages. This paper gives an introduction to the main features of Unified Algebras and Action Semantics, and discusses the relation between them. The two frameworks both exploit nondeterministic choice in unconventional ways." @default.
- W1725916140 created "2016-06-24" @default.
- W1725916140 creator A5081843559 @default.
- W1725916140 date "1988-05-01" @default.
- W1725916140 modified "2023-10-16" @default.
- W1725916140 title "Unified Algebras and Action Semantics" @default.
- W1725916140 doi "https://doi.org/10.7146/dpb.v18i272.7626" @default.
- W1725916140 hasPublicationYear "1988" @default.
- W1725916140 type Work @default.
- W1725916140 sameAs 1725916140 @default.
- W1725916140 citedByCount "1" @default.
- W1725916140 crossrefType "journal-article" @default.
- W1725916140 hasAuthorship W1725916140A5081843559 @default.
- W1725916140 hasBestOaLocation W17259161401 @default.
- W1725916140 hasConcept C121332964 @default.
- W1725916140 hasConcept C146499914 @default.
- W1725916140 hasConcept C150607116 @default.
- W1725916140 hasConcept C156325763 @default.
- W1725916140 hasConcept C167729594 @default.
- W1725916140 hasConcept C176181172 @default.
- W1725916140 hasConcept C184337299 @default.
- W1725916140 hasConcept C199360897 @default.
- W1725916140 hasConcept C207648694 @default.
- W1725916140 hasConcept C2524010 @default.
- W1725916140 hasConcept C25343380 @default.
- W1725916140 hasConcept C2780791683 @default.
- W1725916140 hasConcept C33923547 @default.
- W1725916140 hasConcept C41008148 @default.
- W1725916140 hasConcept C62520636 @default.
- W1725916140 hasConcept C77088390 @default.
- W1725916140 hasConcept C80444323 @default.
- W1725916140 hasConcept C87365073 @default.
- W1725916140 hasConcept C89448276 @default.
- W1725916140 hasConceptScore W1725916140C121332964 @default.
- W1725916140 hasConceptScore W1725916140C146499914 @default.
- W1725916140 hasConceptScore W1725916140C150607116 @default.
- W1725916140 hasConceptScore W1725916140C156325763 @default.
- W1725916140 hasConceptScore W1725916140C167729594 @default.
- W1725916140 hasConceptScore W1725916140C176181172 @default.
- W1725916140 hasConceptScore W1725916140C184337299 @default.
- W1725916140 hasConceptScore W1725916140C199360897 @default.
- W1725916140 hasConceptScore W1725916140C207648694 @default.
- W1725916140 hasConceptScore W1725916140C2524010 @default.
- W1725916140 hasConceptScore W1725916140C25343380 @default.
- W1725916140 hasConceptScore W1725916140C2780791683 @default.
- W1725916140 hasConceptScore W1725916140C33923547 @default.
- W1725916140 hasConceptScore W1725916140C41008148 @default.
- W1725916140 hasConceptScore W1725916140C62520636 @default.
- W1725916140 hasConceptScore W1725916140C77088390 @default.
- W1725916140 hasConceptScore W1725916140C80444323 @default.
- W1725916140 hasConceptScore W1725916140C87365073 @default.
- W1725916140 hasConceptScore W1725916140C89448276 @default.
- W1725916140 hasIssue "272" @default.
- W1725916140 hasLocation W17259161401 @default.
- W1725916140 hasOpenAccess W1725916140 @default.
- W1725916140 hasPrimaryLocation W17259161401 @default.
- W1725916140 hasRelatedWork W1978367748 @default.
- W1725916140 hasRelatedWork W1991569066 @default.
- W1725916140 hasRelatedWork W2035082615 @default.
- W1725916140 hasRelatedWork W2080003993 @default.
- W1725916140 hasRelatedWork W2084426999 @default.
- W1725916140 hasRelatedWork W2623394745 @default.
- W1725916140 hasRelatedWork W2738461706 @default.
- W1725916140 hasRelatedWork W3139603584 @default.
- W1725916140 hasRelatedWork W3163637575 @default.
- W1725916140 hasRelatedWork W783270985 @default.
- W1725916140 hasVolume "18" @default.
- W1725916140 isParatext "false" @default.
- W1725916140 isRetracted "false" @default.
- W1725916140 magId "1725916140" @default.
- W1725916140 workType "article" @default.