Native Word

MaRDI QIDQ7361163FDO

Authors Andreas Lochbihler, Peter Lammich

Publication date 17 September 2013

Cited in

(11)

• Mersenne primes and the Lucas–Lehmer test
• MiniSail - A kernel language for the ISA specification language SAIL
• WebAssembly
• Jinja with Threads
• A Separation Logic Framework for Imperative HOL
• Verified Complete Test Strategies for Finite State Machines
• Generating linear orders for datatypes
• Algorithms for Reduced Ordered Binary Decision Diagrams
• Iptables Semantics
• The Factorization Algorithm of Berlekamp and Zassenhaus
• Collections Framework

This page was built for software: Native Word