Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL.

Catia M. Angelo Luc J. M. Claesen Hugo De Man

Published in: HUG (1993)

Keyphrases

description languages
description language
low cost
real time
question answering
embedded systems
information extraction
vector space
natural language processing
formal methods
natural deduction
search space
case study
fine grained
hardware implementation
web services
artificial intelligence