The Logical Modularity of Programs.

Daniel Ratiu Radu Marinescu Jan Jürjens

Published in: WCRE (2009)

Keyphrases

computer programs
dynamic logic
logical properties
data sets
community detection
logical representation
databases
database systems
logical structure
automatic programming
prolog programs