Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037123721> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3037123721 abstract "Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is developed incrementally from a specification in pre/post-condition form. The computations of a code matrix are characterized by powers of the matrix when it is interpreted as a transformation in a space of vectors of logical conditions. Correctness of a code matrix is expressed in terms of a fixpoint of the transformation. The abstract machine for Matrix Code is the dual-state machine, which we present as a variant of the classical finite-state machine." @default.
- W3037123721 created "2020-07-02" @default.
- W3037123721 creator A5041958265 @default.
- W3037123721 date "2011-09-25" @default.
- W3037123721 modified "2023-09-27" @default.
- W3037123721 title "Matrix Code" @default.
- W3037123721 cites W1498432697 @default.
- W3037123721 cites W1570949334 @default.
- W3037123721 cites W1577384748 @default.
- W3037123721 cites W1585380779 @default.
- W3037123721 cites W1853368733 @default.
- W3037123721 cites W1994104792 @default.
- W3037123721 cites W2011306767 @default.
- W3037123721 cites W2012140001 @default.
- W3037123721 cites W2059322630 @default.
- W3037123721 cites W2069300761 @default.
- W3037123721 cites W2162836594 @default.
- W3037123721 cites W2569098540 @default.
- W3037123721 cites W2913344232 @default.
- W3037123721 cites W3146075203 @default.
- W3037123721 cites W8723063 @default.
- W3037123721 hasPublicationYear "2011" @default.
- W3037123721 type Work @default.
- W3037123721 sameAs 3037123721 @default.
- W3037123721 citedByCount "0" @default.
- W3037123721 crossrefType "posted-content" @default.
- W3037123721 hasAuthorship W3037123721A5041958265 @default.
- W3037123721 hasConcept C106487976 @default.
- W3037123721 hasConcept C11413529 @default.
- W3037123721 hasConcept C121332964 @default.
- W3037123721 hasConcept C136119220 @default.
- W3037123721 hasConcept C156325763 @default.
- W3037123721 hasConcept C159985019 @default.
- W3037123721 hasConcept C165443888 @default.
- W3037123721 hasConcept C177264268 @default.
- W3037123721 hasConcept C184337299 @default.
- W3037123721 hasConcept C192562407 @default.
- W3037123721 hasConcept C199360897 @default.
- W3037123721 hasConcept C202444582 @default.
- W3037123721 hasConcept C207648694 @default.
- W3037123721 hasConcept C2776760102 @default.
- W3037123721 hasConcept C33923547 @default.
- W3037123721 hasConcept C39920418 @default.
- W3037123721 hasConcept C41008148 @default.
- W3037123721 hasConcept C55439883 @default.
- W3037123721 hasConcept C74650414 @default.
- W3037123721 hasConcept C80444323 @default.
- W3037123721 hasConceptScore W3037123721C106487976 @default.
- W3037123721 hasConceptScore W3037123721C11413529 @default.
- W3037123721 hasConceptScore W3037123721C121332964 @default.
- W3037123721 hasConceptScore W3037123721C136119220 @default.
- W3037123721 hasConceptScore W3037123721C156325763 @default.
- W3037123721 hasConceptScore W3037123721C159985019 @default.
- W3037123721 hasConceptScore W3037123721C165443888 @default.
- W3037123721 hasConceptScore W3037123721C177264268 @default.
- W3037123721 hasConceptScore W3037123721C184337299 @default.
- W3037123721 hasConceptScore W3037123721C192562407 @default.
- W3037123721 hasConceptScore W3037123721C199360897 @default.
- W3037123721 hasConceptScore W3037123721C202444582 @default.
- W3037123721 hasConceptScore W3037123721C207648694 @default.
- W3037123721 hasConceptScore W3037123721C2776760102 @default.
- W3037123721 hasConceptScore W3037123721C33923547 @default.
- W3037123721 hasConceptScore W3037123721C39920418 @default.
- W3037123721 hasConceptScore W3037123721C41008148 @default.
- W3037123721 hasConceptScore W3037123721C55439883 @default.
- W3037123721 hasConceptScore W3037123721C74650414 @default.
- W3037123721 hasConceptScore W3037123721C80444323 @default.
- W3037123721 hasLocation W30371237211 @default.
- W3037123721 hasOpenAccess W3037123721 @default.
- W3037123721 hasPrimaryLocation W30371237211 @default.
- W3037123721 hasRelatedWork W1540154185 @default.
- W3037123721 hasRelatedWork W1547121950 @default.
- W3037123721 hasRelatedWork W1547914931 @default.
- W3037123721 hasRelatedWork W1605468179 @default.
- W3037123721 hasRelatedWork W2013319508 @default.
- W3037123721 hasRelatedWork W2037627534 @default.
- W3037123721 hasRelatedWork W2039504742 @default.
- W3037123721 hasRelatedWork W2041234854 @default.
- W3037123721 hasRelatedWork W2130345504 @default.
- W3037123721 hasRelatedWork W2133976022 @default.
- W3037123721 hasRelatedWork W2165243864 @default.
- W3037123721 hasRelatedWork W2289498755 @default.
- W3037123721 hasRelatedWork W2397859332 @default.
- W3037123721 hasRelatedWork W2413260086 @default.
- W3037123721 hasRelatedWork W2502732928 @default.
- W3037123721 hasRelatedWork W2516874317 @default.
- W3037123721 hasRelatedWork W2750465938 @default.
- W3037123721 hasRelatedWork W2793306607 @default.
- W3037123721 hasRelatedWork W2794307297 @default.
- W3037123721 hasRelatedWork W2926749829 @default.
- W3037123721 isParatext "false" @default.
- W3037123721 isRetracted "false" @default.
- W3037123721 magId "3037123721" @default.
- W3037123721 workType "article" @default.