Concrete semantics : with isabelle/hol / Tobias Nipkow, Gerwin Klein.
Tipo de material:
TextoEditor: Cham : Springer International Publishing : Springer, 2014Descripción: xiii, 298 páginas : 87 ilustraciones, 1 ilustraciones en colorTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319105420
- QA76.9.L63
Contenidos:
Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond Equality -- Isar: A Language for Structured Proofs -- IMP: A Simple Imperative Language -- Compiler -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A, Auxiliary Definitions -- App. B, Symbols -- References.
No hay ítems correspondientes a este registro
Springer eBooks
Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond Equality -- Isar: A Language for Structured Proofs -- IMP: A Simple Imperative Language -- Compiler -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A, Auxiliary Definitions -- App. B, Symbols -- References.
Para consulta fuera de la UANL se requiere clave de acceso remoto.