Semantical Analysis of Specification Logic

Robert D. Tennent

Published in: Inf. Comput. (1990)

Keyphrases

search algorithm
database
information systems
real world
high level
multiscale
evolutionary algorithm
data model
programming language
logic programming
quantitative analysis