Algebraic-Coalgebraic Specification in Co Casl.

Till Mossakowski Horst Reichel Markus Roggenbach Lutz Schröder

Published in: WADT (2002)

Keyphrases

high level
formal specification
specification language
databases
formal methods
algebraic structure
transition systems
database
data mining
search engine
web pages
clustering algorithm
formal verification
operational semantics