Program logics for certified compilers.
保存先:
| 主要な著者: | , , , , , , , |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
New York, NY., USA:
Cambridge University Press,
2014.
|
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 18019819 | ||
| 003 | CL-VaPUC | ||
| 005 | 20240126132148.0 | ||
| 008 | 140127s2014 nyua b 001 0 eng | ||
| 999 | |c 442926 |d 442924 | ||
| 010 | |a 2014001794 | ||
| 020 | |a 9781107048010 (hardback) | ||
| 040 | |c Pontificia Universidad Católica de Valparaíso | ||
| 082 | 0 | 0 | |a 005.14 APP 2014 |2 23 |
| 100 | 1 | |a Appel, Andrew W., |d 1960- |e author |9 887039 | |
| 245 | 1 | 0 | |a Program logics for certified compilers. |
| 260 | |a New York, NY., USA: |b Cambridge University Press, |c 2014. | ||
| 300 | |a x, 458 páginas. | ||
| 500 | |a c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023 | ||
| 504 | |a Includes bibliographical references (pages 442-451) and index. | ||
| 505 | 0 | |a Generic separation logic -- Hoare logic -- Separation logic -- Soundness of Hoare logic -- Mechanized semantic library -- Separation algebras -- Operators on separation algebras -- First-order separation logic -- A little case study -- Covariant recursive predicates -- Share accounting -- Higher order separation logic -- Separation logic as a logic -- From separation algebras to separation logic -- Simplification by rewriting -- Introduction to step-indexing -- Predicate implication and subtyping -- General recursive predicates -- Case study: separation logic with first-class functions. | |
| 583 | |c 20240109 |k GC | ||
| 650 | 0 | |a Software |x Verificación |9 887040 | |
| 650 | 0 | |a Lógica, simbólica y matemática |9 866627 | |
| 650 | 0 | |a Compiladores (programas informáticos) |9 887048 | |
| 700 | |a Dockins, Robert |e author |9 887041 | ||
| 700 | |a Hobor, Aquinas |e author |9 887042 | ||
| 700 | |a Beringer, Lennart |e author |9 887043 | ||
| 700 | |a Dodds, Josiah |e author |9 887044 | ||
| 700 | |a Stewart, Gordon |e author |9 887045 | ||
| 700 | |a Blazy, Sandrine |e author |9 887046 | ||
| 700 | |a Leroy, Xavier |e author |9 887047 | ||
| 942 | |2 ddc |c BK | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 005_140000000000000_APP_2014 |7 0 |8 A |9 593225 |a BIBING |b BIBING |d 2024-01-09 |e Donación |i 5660041 |o 005.14 APP 2014 |p 5660041 |r 2025-01-20 |t 1 |w 2024-01-09 |y BK |k CCI | ||