A Compiled Implementation of Strong Reduction (0)

by Benjamin Grégoire , Inria Rocquencourt , Xavier Leroy
Citations:68 - 5 self

Active Bibliography

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
518 Enforceable Security Policies – Fred B. Schneider
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
2 The Next 700 Krivine Machines – Rémi Douence, Pascal Fradet - 2005
1The Next 700 Krivine Machines – Rémi Douence, Pascal Fradet