>> Google Books

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Christian Urban, Xingyuan Zhang
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XI, 469 p. 63 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9236
目次情報:
Verified, Practical Upper Bounds for State Space Diameters
Formalization of Error-correcting Codes: from Hamming to Modern Coding Theory
ROSCoq: Robots powered by Constructive Reals
Asynchronous processing of Coq documents: from the kernel up to the user interface
A Concrete Memory Model for CompCert
Validating Dominator Trees for a Fast, Verified Dominance Test
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
Mechanisation of AKS Algorithm
Machine-Checked Verification of the Correctness and Amortized
Improved Tool Support for Machine-Code Decompilation in HOL4
A Formalized Hierarchy of Probabilistic System Types
Learning To Parse on Aligned Corpora
A Consistent Foundation for Isabelle/HOL
Foundational Property-Based Testing
A First-Order Functional Intermediate Language for Verified Compilers
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
ModuRes: a Coq Library for Modular Reasoning about Concurrent
Higher-Order Imperative Programming Languages
Transfinite Constructions in Classical Type Theory
A Mechanized Theory of regular trees in dependent type theory
Deriving Comparators and Show-Functions in Isabelle/HOL
Formalizing Knot Theory in Isabelle/HOL
Pattern Matches in HOL: A New Representation and Improved Code Generation
Verified, Practical Upper Bounds for State Space Diameters
Formalization of Error-correcting Codes: from Hamming to Modern Coding Theory
ROSCoq: Robots powered by Constructive Reals
Asynchronous processing of Coq documents: from the kernel up to the user interface
A Concrete Memory Model for CompCert
Validating Dominator Trees for a Fast, Verified Dominance Test
続きを見る
書誌ID:
LB00386390
ISBN:
9783319221014 [3319221019]  CiNii Books  Webcat Plus  Google Books
9783319221021 [3319221027]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Kahl, Wolfram, Winter, Michael, Oliveira, Jose, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

De Nivelle, Hans, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Piterman, Nir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Mousavi, Mohammad Reza, Berger, Christian, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Xu, Dachuan, Du, Donglei, Du, Dingzhu, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Blanchette, Jasmin Christian, Kosmatov, Nikolai, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bieger, Jordi, Goertzel, Ben, Potapov, Alexey, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Parisi-Presicce, Francesco, Westfechtel, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Li, Xuandong, Liu, Zhiming, Yi, Wang, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer