Fault-tolerant typed assembly language.

Frances Perry Lester W. Mackey George A. Reis Jay Ligatti David I. August David Walker

Published in: PLDI (2007)

Keyphrases

fault tolerant
fault tolerance
distributed systems
lambda calculus
load balancing
programming language
language learning
high availability
natural language
databases
higher order
shortest path
data replication
state machine
multi agent systems
safety critical