Principles of OBJ2.

Kokichi Futatsugi Joseph A. Goguen Jean-Pierre Jouannaud José Meseguer

Published in: POPL (1985)

Keyphrases

real time
data mining
search engine
legal issues
artificial intelligence
image segmentation
high level
multiscale
information technology
trade off