Static Determination of Dynamic Properties of Generalized Type Unions.

Patrick Cousot Radhia Cousot

Published in: Language Design for Reliable Software (1977)

Keyphrases

dynamic environments
dynamic analysis
information systems
neural network
artificial intelligence
desirable properties
dynamic constraints
databases
machine learning
information retrieval
lower bound
expert systems