Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502853102> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1502853102 endingPage "100" @default.
- W1502853102 startingPage "91" @default.
- W1502853102 abstract "Abstract The theory presented here, IOCC (Impredicative theory of Operations, Control and Classes) is an essentially first-order, two-layered theory. The lower layer is a theory of program equivalence and definedness. Program primitives that can be treated within this theory include functional application and abstraction, conditional, numbers, pairing, and continuation capture and resumption. The upper layer is a theory of class membership with a general comprehension principle for defining classes. Many standard class constructions and data types can be represented naturally including algebraic abstract data types, list-, record-, and function-type constructions. In addition classes can be constructed satisfying systems of equations such as[S = A×G; G = B → S] which are useful in treating programming concepts such as streams and object behaviors. Coroutines can also be classified within this theory. Examples are given illustrating the derivation of programs using escape mechanisms, and methods for reasoning about streams and coroutines. Methods are given for constructing models of IOCC from semantic models of the underlying programming language." @default.
- W1502853102 created "2016-06-24" @default.
- W1502853102 creator A5090498111 @default.
- W1502853102 date "1990-01-01" @default.
- W1502853102 modified "2023-09-27" @default.
- W1502853102 title "A theory for program and data type specification" @default.
- W1502853102 cites W1498926208 @default.
- W1502853102 cites W1500123554 @default.
- W1502853102 cites W1763978647 @default.
- W1502853102 cites W1963842623 @default.
- W1502853102 cites W1970554275 @default.
- W1502853102 cites W1991570511 @default.
- W1502853102 cites W2043416466 @default.
- W1502853102 cites W2054299141 @default.
- W1502853102 cites W2076928733 @default.
- W1502853102 cites W2088735483 @default.
- W1502853102 cites W2135287414 @default.
- W1502853102 cites W2152944474 @default.
- W1502853102 cites W3145454088 @default.
- W1502853102 doi "https://doi.org/10.1007/3-540-52531-9_128" @default.
- W1502853102 hasPublicationYear "1990" @default.
- W1502853102 type Work @default.
- W1502853102 sameAs 1502853102 @default.
- W1502853102 citedByCount "5" @default.
- W1502853102 crossrefType "book-chapter" @default.
- W1502853102 hasAuthorship W1502853102A5090498111 @default.
- W1502853102 hasConcept C111472728 @default.
- W1502853102 hasConcept C124304363 @default.
- W1502853102 hasConcept C134306372 @default.
- W1502853102 hasConcept C138885662 @default.
- W1502853102 hasConcept C138958017 @default.
- W1502853102 hasConcept C154945302 @default.
- W1502853102 hasConcept C175971053 @default.
- W1502853102 hasConcept C18903297 @default.
- W1502853102 hasConcept C199360897 @default.
- W1502853102 hasConcept C2777212361 @default.
- W1502853102 hasConcept C2777299769 @default.
- W1502853102 hasConcept C2779782106 @default.
- W1502853102 hasConcept C33923547 @default.
- W1502853102 hasConcept C41008148 @default.
- W1502853102 hasConcept C42383842 @default.
- W1502853102 hasConcept C80444323 @default.
- W1502853102 hasConcept C86803240 @default.
- W1502853102 hasConcept C93682546 @default.
- W1502853102 hasConcept C9376300 @default.
- W1502853102 hasConceptScore W1502853102C111472728 @default.
- W1502853102 hasConceptScore W1502853102C124304363 @default.
- W1502853102 hasConceptScore W1502853102C134306372 @default.
- W1502853102 hasConceptScore W1502853102C138885662 @default.
- W1502853102 hasConceptScore W1502853102C138958017 @default.
- W1502853102 hasConceptScore W1502853102C154945302 @default.
- W1502853102 hasConceptScore W1502853102C175971053 @default.
- W1502853102 hasConceptScore W1502853102C18903297 @default.
- W1502853102 hasConceptScore W1502853102C199360897 @default.
- W1502853102 hasConceptScore W1502853102C2777212361 @default.
- W1502853102 hasConceptScore W1502853102C2777299769 @default.
- W1502853102 hasConceptScore W1502853102C2779782106 @default.
- W1502853102 hasConceptScore W1502853102C33923547 @default.
- W1502853102 hasConceptScore W1502853102C41008148 @default.
- W1502853102 hasConceptScore W1502853102C42383842 @default.
- W1502853102 hasConceptScore W1502853102C80444323 @default.
- W1502853102 hasConceptScore W1502853102C86803240 @default.
- W1502853102 hasConceptScore W1502853102C93682546 @default.
- W1502853102 hasConceptScore W1502853102C9376300 @default.
- W1502853102 hasLocation W15028531021 @default.
- W1502853102 hasOpenAccess W1502853102 @default.
- W1502853102 hasPrimaryLocation W15028531021 @default.
- W1502853102 hasRelatedWork W1487166760 @default.
- W1502853102 hasRelatedWork W1501172849 @default.
- W1502853102 hasRelatedWork W1552692622 @default.
- W1502853102 hasRelatedWork W1575193864 @default.
- W1502853102 hasRelatedWork W159258052 @default.
- W1502853102 hasRelatedWork W1667454546 @default.
- W1502853102 hasRelatedWork W1877007579 @default.
- W1502853102 hasRelatedWork W1964840612 @default.
- W1502853102 hasRelatedWork W1970554275 @default.
- W1502853102 hasRelatedWork W2006602106 @default.
- W1502853102 hasRelatedWork W2034261398 @default.
- W1502853102 hasRelatedWork W2037967876 @default.
- W1502853102 hasRelatedWork W2040125385 @default.
- W1502853102 hasRelatedWork W2050646635 @default.
- W1502853102 hasRelatedWork W2154929064 @default.
- W1502853102 hasRelatedWork W2158086586 @default.
- W1502853102 hasRelatedWork W2162418869 @default.
- W1502853102 hasRelatedWork W2401436341 @default.
- W1502853102 hasRelatedWork W2122986504 @default.
- W1502853102 hasRelatedWork W332295136 @default.
- W1502853102 isParatext "false" @default.
- W1502853102 isRetracted "false" @default.
- W1502853102 magId "1502853102" @default.
- W1502853102 workType "book-chapter" @default.