Syntax Directed Analysis of Liveness Properties

Krzysztof R. Apt Carole Delporte-Gallet

Published in: Inf. Control. (1986)

Keyphrases

statistical analysis
image processing
wide range
structural properties
semantic analysis
database
multiscale
data structure
data model