Titel

Merkliste
1 Ergebnisse

Primitive recursive program transformation:

, In: Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages,

Boyer, R. S. ; Moore, J. S. ; Shostak, R. E. - p. 171-174 , 1976

Link: https://dl.acm.org/doi/10.1145/800168.811550

RT 
T1 <cTitle>Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages</cTitle>: T1 <Title>Primitive recursive program transformation</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-811550&Exemplar=1&LAN=DE
				
A1 Boyer, R. S.
A1 Moore, J. S.
A1 Shostak, R. E.
PB ACM
YR 1976
K1 Flowcharts
K1 LISP
K1 Program verification
K1 Structural induction
K1 Theorem proving
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Theorem proving algorithms
K1 Artificial intelligence
K1 Knowledge representation and reasoning
K1 Software and its engineering
K1 Software creation and management
K1 Software development techniques
K1 Flowcharts
K1 Theory of computation
K1 Semantics and reasoning
K1 Program constructs
K1 Program schemes
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Language features
K1 Recursion
SP 171
OP 174
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/800168.811550
DO https://dl.acm.org/doi/10.1145/800168.811550
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)