ICSE 97 program update.

Published in: ACM SIGSOFT Softw. Eng. Notes (1997)

Keyphrases

programming environment
program execution
knowledge base
program synthesis
real time
real world
social networks
web services
three dimensional
high level
special case
computer programs
update rules