Titel

Merkliste
1 Ergebnisse

Deriving the full-reducing Krivine machine from the small-s..:

, In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming,

García-Pérez, Álvaro ; Nogueira, Pablo ; Moreno-Navarro, Juan José - p. 85-96 , 2013

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

RT 
T1 <cTitle>Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming</cTitle>: T1 <Title>Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2505887&Exemplar=1&LAN=DE
				
A1 García-Pérez, Álvaro
A1 Nogueira, Pablo
A1 Moreno-Navarro, Juan José
PB ACM
YR 2013
K1 abstract machines
K1 closures
K1 explicit substitutions
K1 foundations
K1 full reduction
K1 lambda calculus
K1 operational semantics
K1 program transformation
K1 programming languages
K1 reduction semantics
K1 reduction strategies
K1 reduction-based normalisation
K1 reduction-free normalisation
K1 Theory of computation
K1 Semantics and reasoning
K1 Program semantics
K1 Operational semantics
K1 Mathematics of computing
K1 Mathematical analysis
K1 Calculus
K1 Lambda calculus
K1 Continuous mathematics
SP 85
OP 96
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2505879.2505887
DO https://dl.acm.org/doi/10.1145/2505879.2505887
SF ELIB - SuUB Bremen

Export

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