Matches in SemOpenAlex for { <https://semopenalex.org/work/W3160256987> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3160256987 endingPage "70" @default.
- W3160256987 startingPage "69" @default.
- W3160256987 abstract "An abstraction provides a statement of the properties of a data type without any commitment to a specific implementation. Programs which use abstractions can be developed and verified without regard to how the abstraction will be realized. Any type which fulfills the requirements of the abstraction can be bound in its place without affecting the program's correctness or its proof. In [4], the notion of a scheme as a model for a set of types is developed. A scheme is written as a module which takes normal values plus types as formal parameters. Instantiating a scheme with actual parameters yields a scheme instance which is a data type. For example, one can write a scheme for AVL trees [5] which takes the type of the keys in the tree as a parameter. An instance of this scheme, for example, AVL trees of strings, is a normal data type." @default.
- W3160256987 created "2021-05-24" @default.
- W3160256987 creator A5026815310 @default.
- W3160256987 creator A5091266844 @default.
- W3160256987 date "1976-03-01" @default.
- W3160256987 modified "2023-10-18" @default.
- W3160256987 title "A next step in data structuring for programming languages" @default.
- W3160256987 cites W1972027649 @default.
- W3160256987 cites W2156076209 @default.
- W3160256987 doi "https://doi.org/10.1145/984344.807122" @default.
- W3160256987 hasPublicationYear "1976" @default.
- W3160256987 type Work @default.
- W3160256987 sameAs 3160256987 @default.
- W3160256987 citedByCount "0" @default.
- W3160256987 crossrefType "journal-article" @default.
- W3160256987 hasAuthorship W3160256987A5026815310 @default.
- W3160256987 hasAuthorship W3160256987A5091266844 @default.
- W3160256987 hasBestOaLocation W31602569871 @default.
- W3160256987 hasConcept C10138342 @default.
- W3160256987 hasConcept C111472728 @default.
- W3160256987 hasConcept C113174947 @default.
- W3160256987 hasConcept C11413529 @default.
- W3160256987 hasConcept C124304363 @default.
- W3160256987 hasConcept C134306372 @default.
- W3160256987 hasConcept C138885662 @default.
- W3160256987 hasConcept C138958017 @default.
- W3160256987 hasConcept C162319229 @default.
- W3160256987 hasConcept C162324750 @default.
- W3160256987 hasConcept C175971053 @default.
- W3160256987 hasConcept C177264268 @default.
- W3160256987 hasConcept C17744445 @default.
- W3160256987 hasConcept C18903297 @default.
- W3160256987 hasConcept C199360897 @default.
- W3160256987 hasConcept C199539241 @default.
- W3160256987 hasConcept C2775945657 @default.
- W3160256987 hasConcept C2777026412 @default.
- W3160256987 hasConcept C2777299769 @default.
- W3160256987 hasConcept C33923547 @default.
- W3160256987 hasConcept C41008148 @default.
- W3160256987 hasConcept C55439883 @default.
- W3160256987 hasConcept C77618280 @default.
- W3160256987 hasConcept C80444323 @default.
- W3160256987 hasConcept C86803240 @default.
- W3160256987 hasConceptScore W3160256987C10138342 @default.
- W3160256987 hasConceptScore W3160256987C111472728 @default.
- W3160256987 hasConceptScore W3160256987C113174947 @default.
- W3160256987 hasConceptScore W3160256987C11413529 @default.
- W3160256987 hasConceptScore W3160256987C124304363 @default.
- W3160256987 hasConceptScore W3160256987C134306372 @default.
- W3160256987 hasConceptScore W3160256987C138885662 @default.
- W3160256987 hasConceptScore W3160256987C138958017 @default.
- W3160256987 hasConceptScore W3160256987C162319229 @default.
- W3160256987 hasConceptScore W3160256987C162324750 @default.
- W3160256987 hasConceptScore W3160256987C175971053 @default.
- W3160256987 hasConceptScore W3160256987C177264268 @default.
- W3160256987 hasConceptScore W3160256987C17744445 @default.
- W3160256987 hasConceptScore W3160256987C18903297 @default.
- W3160256987 hasConceptScore W3160256987C199360897 @default.
- W3160256987 hasConceptScore W3160256987C199539241 @default.
- W3160256987 hasConceptScore W3160256987C2775945657 @default.
- W3160256987 hasConceptScore W3160256987C2777026412 @default.
- W3160256987 hasConceptScore W3160256987C2777299769 @default.
- W3160256987 hasConceptScore W3160256987C33923547 @default.
- W3160256987 hasConceptScore W3160256987C41008148 @default.
- W3160256987 hasConceptScore W3160256987C55439883 @default.
- W3160256987 hasConceptScore W3160256987C77618280 @default.
- W3160256987 hasConceptScore W3160256987C80444323 @default.
- W3160256987 hasConceptScore W3160256987C86803240 @default.
- W3160256987 hasIssue "2" @default.
- W3160256987 hasLocation W31602569871 @default.
- W3160256987 hasOpenAccess W3160256987 @default.
- W3160256987 hasPrimaryLocation W31602569871 @default.
- W3160256987 hasRelatedWork W1992184515 @default.
- W3160256987 hasRelatedWork W2005803685 @default.
- W3160256987 hasRelatedWork W2050776543 @default.
- W3160256987 hasRelatedWork W2073202004 @default.
- W3160256987 hasRelatedWork W2585574157 @default.
- W3160256987 hasRelatedWork W3026424148 @default.
- W3160256987 hasRelatedWork W3139093670 @default.
- W3160256987 hasRelatedWork W3160136729 @default.
- W3160256987 hasRelatedWork W3160256987 @default.
- W3160256987 hasRelatedWork W4234314559 @default.
- W3160256987 hasVolume "8" @default.
- W3160256987 isParatext "false" @default.
- W3160256987 isRetracted "false" @default.
- W3160256987 magId "3160256987" @default.
- W3160256987 workType "article" @default.