Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950698144> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2950698144 abstract "In first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper we present a program format that supports the development from specification to code in small and obvious steps; that is, a discovery process. The format, called Matrix Code, can be interpreted as a proof according to the Floyd-Hoare program verification method. The process consists of expressing the specification of a function body as an initial code matrix and then growing the matrix by adding rows and columns until the completed matrix is translated in a routine fashion to compilable code. As worked example we develop a Java program that generates the table of the first N prime numbers." @default.
- W2950698144 created "2019-06-27" @default.
- W2950698144 creator A5031090793 @default.
- W2950698144 date "2012-03-11" @default.
- W2950698144 modified "2023-09-27" @default.
- W2950698144 title "Discovering Algorithms with Matrix Code" @default.
- W2950698144 cites W1577384748 @default.
- W2950698144 hasPublicationYear "2012" @default.
- W2950698144 type Work @default.
- W2950698144 sameAs 2950698144 @default.
- W2950698144 citedByCount "0" @default.
- W2950698144 crossrefType "posted-content" @default.
- W2950698144 hasAuthorship W2950698144A5031090793 @default.
- W2950698144 hasConcept C106487976 @default.
- W2950698144 hasConcept C111919701 @default.
- W2950698144 hasConcept C11413529 @default.
- W2950698144 hasConcept C114614502 @default.
- W2950698144 hasConcept C133162039 @default.
- W2950698144 hasConcept C135598885 @default.
- W2950698144 hasConcept C151578736 @default.
- W2950698144 hasConcept C159985019 @default.
- W2950698144 hasConcept C177264268 @default.
- W2950698144 hasConcept C184992742 @default.
- W2950698144 hasConcept C192562407 @default.
- W2950698144 hasConcept C199360897 @default.
- W2950698144 hasConcept C26517878 @default.
- W2950698144 hasConcept C2776760102 @default.
- W2950698144 hasConcept C33923547 @default.
- W2950698144 hasConcept C41008148 @default.
- W2950698144 hasConcept C45235069 @default.
- W2950698144 hasConcept C47434764 @default.
- W2950698144 hasConcept C50951305 @default.
- W2950698144 hasConcept C548217200 @default.
- W2950698144 hasConcept C77088390 @default.
- W2950698144 hasConcept C80444323 @default.
- W2950698144 hasConcept C98045186 @default.
- W2950698144 hasConceptScore W2950698144C106487976 @default.
- W2950698144 hasConceptScore W2950698144C111919701 @default.
- W2950698144 hasConceptScore W2950698144C11413529 @default.
- W2950698144 hasConceptScore W2950698144C114614502 @default.
- W2950698144 hasConceptScore W2950698144C133162039 @default.
- W2950698144 hasConceptScore W2950698144C135598885 @default.
- W2950698144 hasConceptScore W2950698144C151578736 @default.
- W2950698144 hasConceptScore W2950698144C159985019 @default.
- W2950698144 hasConceptScore W2950698144C177264268 @default.
- W2950698144 hasConceptScore W2950698144C184992742 @default.
- W2950698144 hasConceptScore W2950698144C192562407 @default.
- W2950698144 hasConceptScore W2950698144C199360897 @default.
- W2950698144 hasConceptScore W2950698144C26517878 @default.
- W2950698144 hasConceptScore W2950698144C2776760102 @default.
- W2950698144 hasConceptScore W2950698144C33923547 @default.
- W2950698144 hasConceptScore W2950698144C41008148 @default.
- W2950698144 hasConceptScore W2950698144C45235069 @default.
- W2950698144 hasConceptScore W2950698144C47434764 @default.
- W2950698144 hasConceptScore W2950698144C50951305 @default.
- W2950698144 hasConceptScore W2950698144C548217200 @default.
- W2950698144 hasConceptScore W2950698144C77088390 @default.
- W2950698144 hasConceptScore W2950698144C80444323 @default.
- W2950698144 hasConceptScore W2950698144C98045186 @default.
- W2950698144 hasLocation W29506981441 @default.
- W2950698144 hasOpenAccess W2950698144 @default.
- W2950698144 hasPrimaryLocation W29506981441 @default.
- W2950698144 hasRelatedWork W110635735 @default.
- W2950698144 hasRelatedWork W173907665 @default.
- W2950698144 hasRelatedWork W178253668 @default.
- W2950698144 hasRelatedWork W2029791423 @default.
- W2950698144 hasRelatedWork W2116796716 @default.
- W2950698144 hasRelatedWork W2125522798 @default.
- W2950698144 hasRelatedWork W2163756016 @default.
- W2950698144 hasRelatedWork W233266270 @default.
- W2950698144 hasRelatedWork W3114531509 @default.
- W2950698144 hasRelatedWork W38165312 @default.
- W2950698144 hasRelatedWork W49614733 @default.
- W2950698144 hasRelatedWork W1570896660 @default.
- W2950698144 hasRelatedWork W180586646 @default.
- W2950698144 hasRelatedWork W2264799781 @default.
- W2950698144 hasRelatedWork W2812458472 @default.
- W2950698144 hasRelatedWork W2820847662 @default.
- W2950698144 hasRelatedWork W2826008106 @default.
- W2950698144 hasRelatedWork W2864280570 @default.
- W2950698144 hasRelatedWork W2880560907 @default.
- W2950698144 hasRelatedWork W3180074656 @default.
- W2950698144 isParatext "false" @default.
- W2950698144 isRetracted "false" @default.
- W2950698144 magId "2950698144" @default.
- W2950698144 workType "article" @default.