Mutatis mutandis: safe and predictable dynamic software updating.

Gareth Paul Stoyle Michael W. Hicks Gavin M. Bierman Peter Sewell Iulian Neamtiu

Published in: POPL (2005)

Keyphrases

dynamically updated
software systems
dynamic environments
software architecture
software platform
software development
software design
software evolution
mobile devices
multi agent systems
multi agent
database
software projects
personal computer
software tools
software testing
neural network
real time