Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594353830> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1594353830 endingPage "133" @default.
- W1594353830 startingPage "99" @default.
- W1594353830 abstract "Our basic premise is that the ability to construct and modify programs will not improve without a new and comprehensive look at the entire programming process. Past theoretical research, say, in the logics of programs, has tended to focus on methods for reasoning about individual programs; little has been done, it seems to us, to develop a sound understanding of the process of programming — the process by which programs evolve in concept and in practice. At present, we lack the means to describe the techniques of program construction and improvement in ways that properly link verification, documentation and adaptability." @default.
- W1594353830 created "2016-06-24" @default.
- W1594353830 creator A5018254610 @default.
- W1594353830 creator A5059068538 @default.
- W1594353830 date "1993-01-01" @default.
- W1594353830 modified "2023-10-17" @default.
- W1594353830 title "First Steps Towards Inferential Programming" @default.
- W1594353830 cites W157359292 @default.
- W1594353830 cites W1988901815 @default.
- W1594353830 cites W1992808564 @default.
- W1594353830 cites W1996081324 @default.
- W1594353830 cites W1996508547 @default.
- W1594353830 cites W2005973420 @default.
- W1594353830 cites W2012721044 @default.
- W1594353830 cites W2023299380 @default.
- W1594353830 cites W2025452930 @default.
- W1594353830 cites W2050584095 @default.
- W1594353830 cites W2072868498 @default.
- W1594353830 cites W2094837773 @default.
- W1594353830 cites W2101188827 @default.
- W1594353830 cites W2112437375 @default.
- W1594353830 cites W2132364484 @default.
- W1594353830 cites W2147543351 @default.
- W1594353830 cites W2177002043 @default.
- W1594353830 cites W21960598 @default.
- W1594353830 cites W2987977008 @default.
- W1594353830 cites W4249551641 @default.
- W1594353830 cites W4256124958 @default.
- W1594353830 cites W4256288722 @default.
- W1594353830 cites W2136197657 @default.
- W1594353830 doi "https://doi.org/10.1007/978-94-011-1793-7_6" @default.
- W1594353830 hasPublicationYear "1993" @default.
- W1594353830 type Work @default.
- W1594353830 sameAs 1594353830 @default.
- W1594353830 citedByCount "30" @default.
- W1594353830 crossrefType "book-chapter" @default.
- W1594353830 hasAuthorship W1594353830A5018254610 @default.
- W1594353830 hasAuthorship W1594353830A5059068538 @default.
- W1594353830 hasBestOaLocation W15943538302 @default.
- W1594353830 hasConcept C111472728 @default.
- W1594353830 hasConcept C115903868 @default.
- W1594353830 hasConcept C120665830 @default.
- W1594353830 hasConcept C121332964 @default.
- W1594353830 hasConcept C138885662 @default.
- W1594353830 hasConcept C162324750 @default.
- W1594353830 hasConcept C177606310 @default.
- W1594353830 hasConcept C187736073 @default.
- W1594353830 hasConcept C192209626 @default.
- W1594353830 hasConcept C199360897 @default.
- W1594353830 hasConcept C2778023277 @default.
- W1594353830 hasConcept C2780801425 @default.
- W1594353830 hasConcept C41008148 @default.
- W1594353830 hasConcept C56666940 @default.
- W1594353830 hasConcept C98045186 @default.
- W1594353830 hasConceptScore W1594353830C111472728 @default.
- W1594353830 hasConceptScore W1594353830C115903868 @default.
- W1594353830 hasConceptScore W1594353830C120665830 @default.
- W1594353830 hasConceptScore W1594353830C121332964 @default.
- W1594353830 hasConceptScore W1594353830C138885662 @default.
- W1594353830 hasConceptScore W1594353830C162324750 @default.
- W1594353830 hasConceptScore W1594353830C177606310 @default.
- W1594353830 hasConceptScore W1594353830C187736073 @default.
- W1594353830 hasConceptScore W1594353830C192209626 @default.
- W1594353830 hasConceptScore W1594353830C199360897 @default.
- W1594353830 hasConceptScore W1594353830C2778023277 @default.
- W1594353830 hasConceptScore W1594353830C2780801425 @default.
- W1594353830 hasConceptScore W1594353830C41008148 @default.
- W1594353830 hasConceptScore W1594353830C56666940 @default.
- W1594353830 hasConceptScore W1594353830C98045186 @default.
- W1594353830 hasLocation W15943538301 @default.
- W1594353830 hasLocation W15943538302 @default.
- W1594353830 hasOpenAccess W1594353830 @default.
- W1594353830 hasPrimaryLocation W15943538301 @default.
- W1594353830 hasRelatedWork W1527862632 @default.
- W1594353830 hasRelatedWork W2107961661 @default.
- W1594353830 hasRelatedWork W2109507516 @default.
- W1594353830 hasRelatedWork W2112962394 @default.
- W1594353830 hasRelatedWork W2118300983 @default.
- W1594353830 hasRelatedWork W2135396778 @default.
- W1594353830 hasRelatedWork W2166247150 @default.
- W1594353830 hasRelatedWork W2388245212 @default.
- W1594353830 hasRelatedWork W2807945054 @default.
- W1594353830 hasRelatedWork W4243252198 @default.
- W1594353830 isParatext "false" @default.
- W1594353830 isRetracted "false" @default.
- W1594353830 magId "1594353830" @default.
- W1594353830 workType "book-chapter" @default.