Universal extensions to simulate specifications.

Wim H. Hesselink

Published in: Inf. Comput. (2008)

Keyphrases

delay insensitive
data mining
clustering algorithm
formal specification
control flow
attribute grammars
recursive programs
database
real time
metadata
efficient implementation
conceptual models
kolmogorov complexity
bounded model checking