Certified Programs and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642353079, 9783642353086
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor

2012 ◽  
pp. 43-59 ◽  
Author(s):  
Dominic P. Mulligan ◽  
Claudio Sacerdoti Coen

A String of Pearls: Proofs of Fermat’s Little Theorem

2012 ◽  
pp. 188-207
Author(s):  
Hing-Lun Chan ◽  
Michael Norrish
Keyword(s):  
String Of Pearls ◽  
Fermat’S Little Theorem

Rating Disambiguation Errors

2012 ◽  
pp. 240-255
Author(s):  
Andrea Asperti ◽  
Wilmer Ricciotti

Noninterference for Operating System Kernels

2012 ◽  
pp. 126-142 ◽  
Author(s):  
Toby Murray ◽  
Daniel Matichuk ◽  
Matthew Brassil ◽  
Peter Gammie ◽  
Gerwin Klein
Keyword(s):  
Operating System ◽  
Operating System Kernels

The New Quickcheck for Isabelle

2012 ◽  
pp. 92-108 ◽  
Author(s):  
Lukas Bulwahn

scholarly journals Compact Proof Certificates for Linear Logic

2012 ◽  
pp. 208-223 ◽  
Author(s):  
Kaustuv Chaudhuri
Keyword(s):  
Linear Logic

Coherent and Strongly Discrete Rings in Type Theory

2012 ◽  
pp. 273-288 ◽  
Author(s):  
Thierry Coquand ◽  
Anders Mörtberg ◽  
Vincent Siles
Keyword(s):  
Type Theory

Scalable Formal Machine Models

2012 ◽  
pp. 1-3 ◽  
Author(s):  
Greg Morrisett
Load More ...
Sign in / Sign up

Export Citation Format

Share Document