Matches in SemOpenAlex for { <https://semopenalex.org/work/W1765091824> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1765091824 abstract "Rum is an intensional semantic theory of function and control abstractions as computation primitives. It is a mathematical foundation for understanding and improving current practice in symbolic (Lisp-style) computation. The theory provides, in a single context, a variety of semantics ranging from structures and rules for carrying out computations to an interpretation as functions on the computation domain. Properties of powerful programming tools such as functions as values, streams, aspects of object oriented programming, escape mechanisms, and coroutines can be represented naturally. In addition a wide variety of operations on programs can be treated including program transformations which introduce function and control abstractions, compiling morphisms that transform control abstractions into function abstractions, and operations that transform intensional properties of programs into extensional properties. The theory goes beyond a theory of functions computed by programs, providing tools for treating both intensional and extensional properties of programs. This provides operations on programs with meanings to transform as well as meanings to preserve. Applications of this theory include expressing and proving properties of particular programs and of classes of programs and studying mathematical properties of computation mechanisms. Additional applications are the design and implementation of interactive computation systems and the mechanization of reasoning about computation. These notes are based on lectures given at the Western Institute of Computer Science summer program, 31 July - 1 August 1986. Here we focus on programming and proving with function and control abstractions and present a variety of example programs, properties, and techniques for proving these properties." @default.
- W1765091824 created "2016-06-24" @default.
- W1765091824 creator A5090498111 @default.
- W1765091824 date "1989-10-01" @default.
- W1765091824 modified "2023-09-23" @default.
- W1765091824 title "Programming and Proving with Function and Control Abstractions," @default.
- W1765091824 cites W1498926208 @default.
- W1765091824 cites W1509898628 @default.
- W1765091824 cites W1527809250 @default.
- W1765091824 cites W1633776801 @default.
- W1765091824 cites W171436000 @default.
- W1765091824 cites W1969682671 @default.
- W1765091824 cites W2003295303 @default.
- W1765091824 cites W2007270285 @default.
- W1765091824 cites W2043416466 @default.
- W1765091824 cites W2054299141 @default.
- W1765091824 cites W2078779296 @default.
- W1765091824 cites W2084099544 @default.
- W1765091824 cites W2089674328 @default.
- W1765091824 cites W2093541252 @default.
- W1765091824 cites W2113757735 @default.
- W1765091824 cites W2134112335 @default.
- W1765091824 cites W2140560121 @default.
- W1765091824 cites W2141568518 @default.
- W1765091824 cites W2152944474 @default.
- W1765091824 cites W2154273644 @default.
- W1765091824 cites W3145454088 @default.
- W1765091824 cites W655501358 @default.
- W1765091824 doi "https://doi.org/10.21236/ada324006" @default.
- W1765091824 hasPublicationYear "1989" @default.
- W1765091824 type Work @default.
- W1765091824 sameAs 1765091824 @default.
- W1765091824 citedByCount "6" @default.
- W1765091824 crossrefType "report" @default.
- W1765091824 hasAuthorship W1765091824A5090498111 @default.
- W1765091824 hasConcept C136197465 @default.
- W1765091824 hasConcept C14036430 @default.
- W1765091824 hasConcept C151730666 @default.
- W1765091824 hasConcept C154945302 @default.
- W1765091824 hasConcept C184337299 @default.
- W1765091824 hasConcept C199360897 @default.
- W1765091824 hasConcept C2779343474 @default.
- W1765091824 hasConcept C41008148 @default.
- W1765091824 hasConcept C45374587 @default.
- W1765091824 hasConcept C78458016 @default.
- W1765091824 hasConcept C80444323 @default.
- W1765091824 hasConcept C86803240 @default.
- W1765091824 hasConceptScore W1765091824C136197465 @default.
- W1765091824 hasConceptScore W1765091824C14036430 @default.
- W1765091824 hasConceptScore W1765091824C151730666 @default.
- W1765091824 hasConceptScore W1765091824C154945302 @default.
- W1765091824 hasConceptScore W1765091824C184337299 @default.
- W1765091824 hasConceptScore W1765091824C199360897 @default.
- W1765091824 hasConceptScore W1765091824C2779343474 @default.
- W1765091824 hasConceptScore W1765091824C41008148 @default.
- W1765091824 hasConceptScore W1765091824C45374587 @default.
- W1765091824 hasConceptScore W1765091824C78458016 @default.
- W1765091824 hasConceptScore W1765091824C80444323 @default.
- W1765091824 hasConceptScore W1765091824C86803240 @default.
- W1765091824 hasLocation W17650918241 @default.
- W1765091824 hasOpenAccess W1765091824 @default.
- W1765091824 hasPrimaryLocation W17650918241 @default.
- W1765091824 hasRelatedWork W1500814630 @default.
- W1765091824 hasRelatedWork W1509898628 @default.
- W1765091824 hasRelatedWork W1538667139 @default.
- W1765091824 hasRelatedWork W1571996863 @default.
- W1765091824 hasRelatedWork W1577168582 @default.
- W1765091824 hasRelatedWork W172004165 @default.
- W1765091824 hasRelatedWork W2017160649 @default.
- W1765091824 hasRelatedWork W2088735483 @default.
- W1765091824 hasRelatedWork W2089214613 @default.
- W1765091824 hasRelatedWork W2097031842 @default.
- W1765091824 hasRelatedWork W2098603571 @default.
- W1765091824 hasRelatedWork W2132981613 @default.
- W1765091824 hasRelatedWork W2137054551 @default.
- W1765091824 hasRelatedWork W2151716725 @default.
- W1765091824 hasRelatedWork W2319980797 @default.
- W1765091824 hasRelatedWork W2787989049 @default.
- W1765091824 hasRelatedWork W2963037560 @default.
- W1765091824 hasRelatedWork W3190269883 @default.
- W1765091824 hasRelatedWork W319349425 @default.
- W1765091824 hasRelatedWork W602798929 @default.
- W1765091824 isParatext "false" @default.
- W1765091824 isRetracted "false" @default.
- W1765091824 magId "1765091824" @default.
- W1765091824 workType "report" @default.