SPLASH: A Reconfigurable Linear Logic Array.
Maya B. GokhaleWilliam HolmesAndrew KopserDick KunzeDaniel P. LoprestiSara P. LucasRonald G. MinnichPeter OlsenPublished in: ICPP (1) (1990)
Keyphrases
- linear logic
- systolic array
- fixed point
- logic programming
- desirable properties
- low cost
- sequent calculus
- proof theoretic
- cut elimination
- logical framework
- intuitionistic logic
- general purpose
- proof search
- hardware implementation
- high level
- logic programs
- programming language
- dynamical systems
- higher order
- image segmentation
- field programmable gate array