Andrew Bernard

List of publications from the DBLP Bibliography Server - FAQ

2002

2 EE Andrew Bernard, Peter Lee: Temporal Logic for Proof-Carrying Code. CADE 2002: 31-46

1998

1 EE Andrew Bernard, Robert Harper, Peter Lee: How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. Types in Compilation 1998: 53-77

2002
2	EE	Andrew Bernard, Peter Lee: Temporal Logic for Proof-Carrying Code. CADE 2002: 31-46
1998
1	EE	Andrew Bernard, Robert Harper, Peter Lee: How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. Types in Compilation 1998: 53-77

Coauthor Index