Código QR (código de barras bidimensional)

Logical Step-Indexed Logical Relations

Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However, proofs using step-indexed models typically i...

Fuld beskrivelse

Na minha lista:
Principais autores: Derek Dreyer, Amal Ahmed, Lars Birkedal
Format: Artigo
Sprog:Inglês
Udgivet: Logical Methods in Computer Science e.V. 2011-06-01
Serier:Logical Methods in Computer Science
Fag:
computer science - programming languages
computer science - logic in computer science
d.3.3, f.3.1, f.3.3
Online adgang:https://lmcs.episciences.org/698/pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker