Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003298503> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2003298503 abstract "Writing any large program poses difficult problems of organization. In many modern programming languages these problems are addressed by special linguistic constructs, variously known as modules, packages, or clusters, which provide for partitioning programs into manageable components and for securely combining these components to form complete programs. Some general purpose components are able to take on a life of their own, being separately compiled and stored in libraries of generic, reusable program units. Usually modularity constructs also support some form of information hiding, such as abstract data types. Programming in the large is concerned with using such constructs to impose structure on large programs, in contrast to programming in the small, which deals with the detailed implementation of algorithms in terms of data structures and control constructs. Our goal here is to examine some of the proposed linguistic notions with respect to how they meet the pragmatic requirements of programming in the large." @default.
- W2003298503 created "2016-06-24" @default.
- W2003298503 creator A5051036861 @default.
- W2003298503 date "1986-01-01" @default.
- W2003298503 modified "2023-10-16" @default.
- W2003298503 title "Using dependent types to express modular structure" @default.
- W2003298503 cites W1511621732 @default.
- W2003298503 cites W1529526858 @default.
- W2003298503 cites W1567081087 @default.
- W2003298503 cites W1595372275 @default.
- W2003298503 cites W1979366339 @default.
- W2003298503 cites W1984807151 @default.
- W2003298503 cites W1986382835 @default.
- W2003298503 cites W2021790140 @default.
- W2003298503 cites W2027657506 @default.
- W2003298503 cites W2084792162 @default.
- W2003298503 cites W2099305192 @default.
- W2003298503 cites W2106718208 @default.
- W2003298503 cites W2114705282 @default.
- W2003298503 cites W2151520617 @default.
- W2003298503 cites W2166822586 @default.
- W2003298503 cites W2211325406 @default.
- W2003298503 cites W2721785287 @default.
- W2003298503 cites W64032884 @default.
- W2003298503 cites W1604750060 @default.
- W2003298503 doi "https://doi.org/10.1145/512644.512670" @default.
- W2003298503 hasPublicationYear "1986" @default.
- W2003298503 type Work @default.
- W2003298503 sameAs 2003298503 @default.
- W2003298503 citedByCount "132" @default.
- W2003298503 countsByYear W20032985032012 @default.
- W2003298503 countsByYear W20032985032014 @default.
- W2003298503 countsByYear W20032985032015 @default.
- W2003298503 countsByYear W20032985032016 @default.
- W2003298503 countsByYear W20032985032017 @default.
- W2003298503 countsByYear W20032985032018 @default.
- W2003298503 countsByYear W20032985032019 @default.
- W2003298503 countsByYear W20032985032020 @default.
- W2003298503 countsByYear W20032985032021 @default.
- W2003298503 countsByYear W20032985032023 @default.
- W2003298503 crossrefType "proceedings-article" @default.
- W2003298503 hasAuthorship W2003298503A5051036861 @default.
- W2003298503 hasConcept C101468663 @default.
- W2003298503 hasConcept C115903868 @default.
- W2003298503 hasConcept C154945302 @default.
- W2003298503 hasConcept C162319229 @default.
- W2003298503 hasConcept C199360897 @default.
- W2003298503 hasConcept C2776502983 @default.
- W2003298503 hasConcept C2779478453 @default.
- W2003298503 hasConcept C34165917 @default.
- W2003298503 hasConcept C41008148 @default.
- W2003298503 hasConcept C54355233 @default.
- W2003298503 hasConcept C7051814 @default.
- W2003298503 hasConcept C77781355 @default.
- W2003298503 hasConcept C80444323 @default.
- W2003298503 hasConcept C86803240 @default.
- W2003298503 hasConcept C88482812 @default.
- W2003298503 hasConceptScore W2003298503C101468663 @default.
- W2003298503 hasConceptScore W2003298503C115903868 @default.
- W2003298503 hasConceptScore W2003298503C154945302 @default.
- W2003298503 hasConceptScore W2003298503C162319229 @default.
- W2003298503 hasConceptScore W2003298503C199360897 @default.
- W2003298503 hasConceptScore W2003298503C2776502983 @default.
- W2003298503 hasConceptScore W2003298503C2779478453 @default.
- W2003298503 hasConceptScore W2003298503C34165917 @default.
- W2003298503 hasConceptScore W2003298503C41008148 @default.
- W2003298503 hasConceptScore W2003298503C54355233 @default.
- W2003298503 hasConceptScore W2003298503C7051814 @default.
- W2003298503 hasConceptScore W2003298503C77781355 @default.
- W2003298503 hasConceptScore W2003298503C80444323 @default.
- W2003298503 hasConceptScore W2003298503C86803240 @default.
- W2003298503 hasConceptScore W2003298503C88482812 @default.
- W2003298503 hasLocation W20032985031 @default.
- W2003298503 hasOpenAccess W2003298503 @default.
- W2003298503 hasPrimaryLocation W20032985031 @default.
- W2003298503 hasRelatedWork W1602755719 @default.
- W2003298503 hasRelatedWork W165412472 @default.
- W2003298503 hasRelatedWork W1843038441 @default.
- W2003298503 hasRelatedWork W1932253815 @default.
- W2003298503 hasRelatedWork W2006694164 @default.
- W2003298503 hasRelatedWork W2122786262 @default.
- W2003298503 hasRelatedWork W4206708621 @default.
- W2003298503 hasRelatedWork W4383682018 @default.
- W2003298503 hasRelatedWork W4385607592 @default.
- W2003298503 hasRelatedWork W2517735682 @default.
- W2003298503 isParatext "false" @default.
- W2003298503 isRetracted "false" @default.
- W2003298503 magId "2003298503" @default.
- W2003298503 workType "article" @default.