There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 10

Record: found
Abstract: not found
Book Chapter: not found

A Brief Overview of HOL4

Konrad Slind, Michael Norrish (2008)

0 comments Cited 35 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A machine-checked model for a Java-like language, virtual machine, and compiler

Gerwin Klein, Tobias Nipkow (2006)

0 comments Cited 32 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Comprehending monads

Philip Wadler (1992)

0 comments Cited 29 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 243-258

DOI: 10.1007/978-3-642-14052-5_18

SO-VID: e5b2aa66-40c8-4e9d-861f-bd7280837dd8

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 18

Comprehensive formal verification of an OS microkernel
Authors: Toby Murray, Rafal Kolanski, Gernot Heiser …
Engineering a Formal, Executable x86 ISA Simulator for Software Verification
Authors: Shilpi Goel, Warren A. Hunt, Matt Kaufmann
RockSalt
Authors: Greg Morrisett, Gang Tan, Joseph Tassarotti …

See all cited by

A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture

Read this book at

Related collections

Higher order chromatin architecture

Most cited references 10

A Brief Overview of HOL4

A machine-checked model for a Java-like language, virtual machine, and compiler

Comprehending monads

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,441

Cited by 18