Re: Paper on reflection

rv_harris@ccmail.pnl.gov
Mon, 01 May 1995 10:31 -0700 (PDT)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: ma_friesel@ccmail.pnl.gov: "Re[2]: QED Workshop."
Previous message: Lawrence C Paulson: "Isabelle users workshop"
Maybe in reply to: David McAllester: "Paper on reflection"
Next in thread: John Harrison: "Re: Paper on reflection"

>Subject: Paper on reflection
>Author: dam@ai.mit.edu
>Date: 4/30/95 11:44 AM
>... Of course to use a C
>program in a foundational verifier one would have to verify C (as John
>notes).
> ... David

Not to mention having to verify the operation of the hardware on which the C
code is running (as per the recent Pentium flap).

Rob Harris

Next message: ma_friesel@ccmail.pnl.gov: "Re[2]: QED Workshop."
Previous message: Lawrence C Paulson: "Isabelle users workshop"
Maybe in reply to: David McAllester: "Paper on reflection"
Next in thread: John Harrison: "Re: Paper on reflection"