What do you use for debugging, or instead of debugging?
On 19/04/18 23:02, michael.norr...@data61.csiro.au wrote:
> I've never used the Poly/ML debugger. The HOL4 REPL is a custom piece of code
> (handling the lexing of “...” forms, for example), so I guess this interferes
> with what the
In the way Mike and colleagues modelled hardware, a device is modelled
as a predicate over the external wires (ports) of the device.
Information hiding is achieved by existential quantification
(relational composition). The basics of this are laid out in
