Titel

Merkliste
1 Ergebnisse

Relating complexity and precision in control flow analysis:

, In: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming,

Van Horn, David ; Mairson, Harry G. - p. 85-96 , 2007

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

RT 
T1 <cTitle>Proceedings of the 12th ACM SIGPLAN international conference on Functional programming</cTitle>: T1 <Title>Relating complexity and precision in control flow analysis</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1291166&Exemplar=1&LAN=DE
				
A1 Van Horn, David
A1 Mairson, Harry G.
PB ACM
YR 2007
K1 complexity
K1 continuation
K1 control flow analysis
K1 eta expansion
K1 geometry of interaction
K1 linear logic
K1 normalization
K1 proofnet
K1 static analysis
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program analysis
K1 Program semantics
K1 Logic
K1 Models of computation
K1 Computability
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language features
K1 Control structures
K1 Mathematics of computing
K1 Continuous mathematics
K1 Calculus
K1 Lambda calculus
K1 Mathematical analysis
SP 85
OP 96
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1291151.1291166
DO https://dl.acm.org/doi/10.1145/1291151.1291166
SF ELIB - SuUB Bremen

Export

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