Centaur Technology Media Unit Verification
Abstract elided by the publisher.
Related papers
- Verifying x86 instruction implementations CPP 2020
- Balancing Automation and Control for Formal Verification of Microprocessors CAV 2021
- Implementation of an Interpreter for a Parallel Language in Centaur ESOP 1990
- Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study ESOP 1992
- The Bits Between The Lambdas: Binary Data in a Lazy Functional Language ISMM 1998
- Compiler and language design for quantum computing (keynote) CC 2018
- Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652 JFP 2013
- Functional Programming for Java Developers - Tools for Better Concurrency, Abstraction, and Agility, By Wampler, Media, July 2011, ISBN-13: 978-1449311032, 90pp JFP 2012