Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012106724> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2012106724 abstract "An encapsulation mechanism, the module, for specifying abstract data types is described. The module employs a constructive specification method for specifying abstract data types. The constructive method consists of two specifications: a logical structure specification and a semantics of operations specification. The specification and implementation of a nontrivial data type, a symboltable data type, is given and proof of implementation correctness is discussed and illustrated." @default.
- W2012106724 created "2016-06-24" @default.
- W2012106724 creator A5014039658 @default.
- W2012106724 creator A5078555126 @default.
- W2012106724 date "1980-01-01" @default.
- W2012106724 modified "2023-09-24" @default.
- W2012106724 title "Module" @default.
- W2012106724 cites W1989618335 @default.
- W2012106724 cites W2008395018 @default.
- W2012106724 cites W2015874281 @default.
- W2012106724 cites W2057602126 @default.
- W2012106724 cites W2073544767 @default.
- W2012106724 cites W2134338128 @default.
- W2012106724 cites W2148620491 @default.
- W2012106724 doi "https://doi.org/10.1145/800176.809972" @default.
- W2012106724 hasPublicationYear "1980" @default.
- W2012106724 type Work @default.
- W2012106724 sameAs 2012106724 @default.
- W2012106724 citedByCount "2" @default.
- W2012106724 crossrefType "proceedings-article" @default.
- W2012106724 hasAuthorship W2012106724A5014039658 @default.
- W2012106724 hasAuthorship W2012106724A5078555126 @default.
- W2012106724 hasConcept C138958017 @default.
- W2012106724 hasConcept C175971053 @default.
- W2012106724 hasConcept C199360897 @default.
- W2012106724 hasConcept C2778701210 @default.
- W2012106724 hasConcept C31258907 @default.
- W2012106724 hasConcept C41008148 @default.
- W2012106724 hasConcept C55439883 @default.
- W2012106724 hasConcept C80444323 @default.
- W2012106724 hasConcept C81147070 @default.
- W2012106724 hasConcept C98045186 @default.
- W2012106724 hasConceptScore W2012106724C138958017 @default.
- W2012106724 hasConceptScore W2012106724C175971053 @default.
- W2012106724 hasConceptScore W2012106724C199360897 @default.
- W2012106724 hasConceptScore W2012106724C2778701210 @default.
- W2012106724 hasConceptScore W2012106724C31258907 @default.
- W2012106724 hasConceptScore W2012106724C41008148 @default.
- W2012106724 hasConceptScore W2012106724C55439883 @default.
- W2012106724 hasConceptScore W2012106724C80444323 @default.
- W2012106724 hasConceptScore W2012106724C81147070 @default.
- W2012106724 hasConceptScore W2012106724C98045186 @default.
- W2012106724 hasLocation W20121067241 @default.
- W2012106724 hasOpenAccess W2012106724 @default.
- W2012106724 hasPrimaryLocation W20121067241 @default.
- W2012106724 hasRelatedWork W1491100252 @default.
- W2012106724 hasRelatedWork W1540605220 @default.
- W2012106724 hasRelatedWork W1576422137 @default.
- W2012106724 hasRelatedWork W1578763195 @default.
- W2012106724 hasRelatedWork W1592321163 @default.
- W2012106724 hasRelatedWork W1599246091 @default.
- W2012106724 hasRelatedWork W1742760325 @default.
- W2012106724 hasRelatedWork W1854457445 @default.
- W2012106724 hasRelatedWork W1971352189 @default.
- W2012106724 hasRelatedWork W1985562074 @default.
- W2012106724 hasRelatedWork W2034184259 @default.
- W2012106724 hasRelatedWork W2068967072 @default.
- W2012106724 hasRelatedWork W2075019250 @default.
- W2012106724 hasRelatedWork W2098971106 @default.
- W2012106724 hasRelatedWork W2132064361 @default.
- W2012106724 hasRelatedWork W2132856032 @default.
- W2012106724 hasRelatedWork W2339541395 @default.
- W2012106724 hasRelatedWork W2403686512 @default.
- W2012106724 hasRelatedWork W2775487776 @default.
- W2012106724 hasRelatedWork W2934231843 @default.
- W2012106724 isParatext "false" @default.
- W2012106724 isRetracted "false" @default.
- W2012106724 magId "2012106724" @default.
- W2012106724 workType "article" @default.