|
Showing 1 - 5 of
5 matches in All Departments
|
Echo - DNA #4 (Paperback)
Nick Houde, Katrin Klingan, Johanna Schindler; Text written by Louis Chude-Sokei, Maya Ganesh, …
|
R322
Discovery Miles 3 220
|
Ships in 12 - 17 working days
|
This book constitutes the thoroughly refereed post-workshop
proceedings of the Second International Workshop on Types in
Compilation, TIC '98, held in Kyoto, Japan in March 1998.
The book presents 13 revised full papers carefully selected during
an iterated reviewing process together with three invited papers.
The papers are organized in topical sections on typed intermediate
languages, program analyses, program transformations and code
generation, memory management, partial evaluation and run-time code
generation, and distributed computing.
Separation Logic is the twenty-first-century variant of Hoare Logic
that permits verification of pointer-manipulating programs. This
book covers practical and theoretical aspects of Separation Logic
at a level accessible to beginning graduate students interested in
software verification. On the practical side it offers an
introduction to verification in Hoare and Separation logics, simple
case studies for toy languages, and the Verifiable C program logic
for the C programming language. On the theoretical side it presents
separation algebras as models of separation logics; step-indexed
models of higher-order logical features for higher-order programs;
indirection theory for constructing step-indexed separation
algebras; tree-shares as models for shared ownership; and the
semantic construction (and soundness proof) of Verifiable C. In
addition, the book covers several aspects of the CompCert verified
C compiler, and its connection to foundationally verified software
analysis tools. All constructions and proofs are made rigorous and
accessible in the Coq developments of the open-source Verified
Software Toolchain.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Southpaw
Jake Gyllenhaal, Forest Whitaker, …
DVD
R99
R24
Discovery Miles 240
|