On the Design of Generic Abstract Interpretation Frameworks.

Baudouin Le Charlier Pascal Van Hentenryck

Published in: WSA (1992)

Keyphrases

information systems
software architecture
high level
mobile devices
database technology