Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999659898> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1999659898 endingPage "27" @default.
- W1999659898 startingPage "17" @default.
- W1999659898 abstract "The notions of procedures, parameters, and abstraction are by convention treated together in methods of imperative program development. Rules for preserving correctness in such developments can be complex. We show that the three concerns can be separated, and we give simple rules for each. Crucial to this is the ability to embed specification—representing abstraction—directly within programs; with this we can use the elegant copy rule of ALGOL-60 to treat procedure calls, whether abstract or not. Our contribution is in simplifying the use of the three features, whether separately or together, and in the proper location of any difficulties that do arise. The aliasing problem, for example, is identified as a “loss of monotonicity” with respect to program refinement." @default.
- W1999659898 created "2016-06-24" @default.
- W1999659898 creator A5039019347 @default.
- W1999659898 date "1988-10-01" @default.
- W1999659898 modified "2023-10-18" @default.
- W1999659898 title "Procedures, parameters, and abstraction: Separate concerns" @default.
- W1999659898 cites W2011444209 @default.
- W1999659898 cites W2084291524 @default.
- W1999659898 cites W2086869884 @default.
- W1999659898 cites W2087713039 @default.
- W1999659898 cites W2987907651 @default.
- W1999659898 doi "https://doi.org/10.1016/0167-6423(88)90062-7" @default.
- W1999659898 hasPublicationYear "1988" @default.
- W1999659898 type Work @default.
- W1999659898 sameAs 1999659898 @default.
- W1999659898 citedByCount "40" @default.
- W1999659898 countsByYear W19996598982015 @default.
- W1999659898 countsByYear W19996598982016 @default.
- W1999659898 countsByYear W19996598982017 @default.
- W1999659898 crossrefType "journal-article" @default.
- W1999659898 hasAuthorship W1999659898A5039019347 @default.
- W1999659898 hasConcept C111472728 @default.
- W1999659898 hasConcept C124304363 @default.
- W1999659898 hasConcept C134306372 @default.
- W1999659898 hasConcept C136536468 @default.
- W1999659898 hasConcept C138885662 @default.
- W1999659898 hasConcept C154945302 @default.
- W1999659898 hasConcept C199360897 @default.
- W1999659898 hasConcept C2780586882 @default.
- W1999659898 hasConcept C33923547 @default.
- W1999659898 hasConcept C4069607 @default.
- W1999659898 hasConcept C41008148 @default.
- W1999659898 hasConcept C55439883 @default.
- W1999659898 hasConcept C72169020 @default.
- W1999659898 hasConcept C80444323 @default.
- W1999659898 hasConcept C90483712 @default.
- W1999659898 hasConcept C98183937 @default.
- W1999659898 hasConceptScore W1999659898C111472728 @default.
- W1999659898 hasConceptScore W1999659898C124304363 @default.
- W1999659898 hasConceptScore W1999659898C134306372 @default.
- W1999659898 hasConceptScore W1999659898C136536468 @default.
- W1999659898 hasConceptScore W1999659898C138885662 @default.
- W1999659898 hasConceptScore W1999659898C154945302 @default.
- W1999659898 hasConceptScore W1999659898C199360897 @default.
- W1999659898 hasConceptScore W1999659898C2780586882 @default.
- W1999659898 hasConceptScore W1999659898C33923547 @default.
- W1999659898 hasConceptScore W1999659898C4069607 @default.
- W1999659898 hasConceptScore W1999659898C41008148 @default.
- W1999659898 hasConceptScore W1999659898C55439883 @default.
- W1999659898 hasConceptScore W1999659898C72169020 @default.
- W1999659898 hasConceptScore W1999659898C80444323 @default.
- W1999659898 hasConceptScore W1999659898C90483712 @default.
- W1999659898 hasConceptScore W1999659898C98183937 @default.
- W1999659898 hasIssue "1" @default.
- W1999659898 hasLocation W19996598981 @default.
- W1999659898 hasOpenAccess W1999659898 @default.
- W1999659898 hasPrimaryLocation W19996598981 @default.
- W1999659898 hasRelatedWork W1967226206 @default.
- W1999659898 hasRelatedWork W1999659898 @default.
- W1999659898 hasRelatedWork W2068981034 @default.
- W1999659898 hasRelatedWork W2122069763 @default.
- W1999659898 hasRelatedWork W2140761641 @default.
- W1999659898 hasRelatedWork W2155334493 @default.
- W1999659898 hasRelatedWork W2276164673 @default.
- W1999659898 hasRelatedWork W2573962391 @default.
- W1999659898 hasRelatedWork W3160136729 @default.
- W1999659898 hasRelatedWork W4233023898 @default.
- W1999659898 hasVolume "11" @default.
- W1999659898 isParatext "false" @default.
- W1999659898 isRetracted "false" @default.
- W1999659898 magId "1999659898" @default.
- W1999659898 workType "article" @default.