Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163246583> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2163246583 endingPage "198" @default.
- W2163246583 startingPage "189" @default.
- W2163246583 abstract "We describe by a sequence of examples a method, which we call expression refinement, for deriving programs from specifications. The method consists of making specifications using a rich notation for expressions; the expressions are then subjected to value-preserving transformations in which the rich notations are replaced by more primitive ones that are part of the implementation language. This leads to a style of programming that makes much use of recursive functions rather than loops and invariant relations. The technique is part of a larger effort to develop a fully formal and practical calculus of programming. Initial experience suggests that expression refinement is potentially a more attractive approach for formal programming than one relying principally on traditional approaches based on refinement of statements." @default.
- W2163246583 created "2016-06-24" @default.
- W2163246583 creator A5054781029 @default.
- W2163246583 date "1990-01-01" @default.
- W2163246583 modified "2023-09-27" @default.
- W2163246583 title "Programming by Expression Refinement: a Sequence of Examples" @default.
- W2163246583 cites W1502939989 @default.
- W2163246583 cites W1535757506 @default.
- W2163246583 cites W1547047997 @default.
- W2163246583 cites W2011444209 @default.
- W2163246583 cites W2103953153 @default.
- W2163246583 cites W2147543351 @default.
- W2163246583 cites W2344965422 @default.
- W2163246583 hasPublicationYear "1990" @default.
- W2163246583 type Work @default.
- W2163246583 sameAs 2163246583 @default.
- W2163246583 citedByCount "0" @default.
- W2163246583 crossrefType "journal-article" @default.
- W2163246583 hasAuthorship W2163246583A5054781029 @default.
- W2163246583 hasConcept C190470478 @default.
- W2163246583 hasConcept C199360897 @default.
- W2163246583 hasConcept C2778112365 @default.
- W2163246583 hasConcept C33923547 @default.
- W2163246583 hasConcept C37914503 @default.
- W2163246583 hasConcept C41008148 @default.
- W2163246583 hasConcept C45357846 @default.
- W2163246583 hasConcept C54355233 @default.
- W2163246583 hasConcept C75606506 @default.
- W2163246583 hasConcept C80444323 @default.
- W2163246583 hasConcept C86803240 @default.
- W2163246583 hasConcept C90483712 @default.
- W2163246583 hasConcept C90559484 @default.
- W2163246583 hasConcept C94375191 @default.
- W2163246583 hasConceptScore W2163246583C190470478 @default.
- W2163246583 hasConceptScore W2163246583C199360897 @default.
- W2163246583 hasConceptScore W2163246583C2778112365 @default.
- W2163246583 hasConceptScore W2163246583C33923547 @default.
- W2163246583 hasConceptScore W2163246583C37914503 @default.
- W2163246583 hasConceptScore W2163246583C41008148 @default.
- W2163246583 hasConceptScore W2163246583C45357846 @default.
- W2163246583 hasConceptScore W2163246583C54355233 @default.
- W2163246583 hasConceptScore W2163246583C75606506 @default.
- W2163246583 hasConceptScore W2163246583C80444323 @default.
- W2163246583 hasConceptScore W2163246583C86803240 @default.
- W2163246583 hasConceptScore W2163246583C90483712 @default.
- W2163246583 hasConceptScore W2163246583C90559484 @default.
- W2163246583 hasConceptScore W2163246583C94375191 @default.
- W2163246583 hasLocation W21632465831 @default.
- W2163246583 hasOpenAccess W2163246583 @default.
- W2163246583 hasPrimaryLocation W21632465831 @default.
- W2163246583 hasRelatedWork W114273005 @default.
- W2163246583 hasRelatedWork W1512029759 @default.
- W2163246583 hasRelatedWork W1975551945 @default.
- W2163246583 hasRelatedWork W2006916249 @default.
- W2163246583 hasRelatedWork W2045128100 @default.
- W2163246583 hasRelatedWork W2101225843 @default.
- W2163246583 hasRelatedWork W2114376769 @default.
- W2163246583 hasRelatedWork W2119897009 @default.
- W2163246583 hasRelatedWork W2144700864 @default.
- W2163246583 hasRelatedWork W2361061204 @default.
- W2163246583 hasRelatedWork W2427828726 @default.
- W2163246583 hasRelatedWork W2621123341 @default.
- W2163246583 hasRelatedWork W2964853020 @default.
- W2163246583 hasRelatedWork W2979520889 @default.
- W2163246583 hasRelatedWork W3005777145 @default.
- W2163246583 hasRelatedWork W3103318063 @default.
- W2163246583 hasRelatedWork W3125470836 @default.
- W2163246583 hasRelatedWork W3153601746 @default.
- W2163246583 hasRelatedWork W327634714 @default.
- W2163246583 hasRelatedWork W1736269899 @default.
- W2163246583 hasVolume "11" @default.
- W2163246583 isParatext "false" @default.
- W2163246583 isRetracted "false" @default.
- W2163246583 magId "2163246583" @default.
- W2163246583 workType "article" @default.