Revisiting Smalltalk-80 blocks: a logic generator for FPGAs.

Bernard Pottier José-Luis Llopis

Published in: FCCM (1996)

Keyphrases

classical logic
programming language
modal logic
object oriented
block size
data model
fractal image coding
digital circuits
logic programming
multi valued
field programmable gate array
proof theory
databases
automated reasoning
logical framework
dct coefficients
defeasible logic
predicate logic
linear logic