Pure patterns type systems.

Gilles Barthe Horatiu Cirstea Claude Kirchner Luigi Liquori

Published in: POPL (2003)

Keyphrases

complex systems
data sets
real world
spatio temporal
computer systems
systems require
neural network
case study
expert systems
data mining techniques
building blocks
sequential patterns