Combining functional programming and hardware verification (abstract of invited talk).

Carl-Johan H. Seger

Published in: ICFP (2000)

Keyphrases

invited talk
functional programming
functional language
execution model
object oriented programming
selected papers
programming language
high level
knowledge discovery and data mining
relational databases
database
data mining
knowledge discovery
data integration
program committee