Reasoning about Programs by Exploiting the Environment.

Limor Fix Fred B. Schneider

Published in: ICALP (1994)

Keyphrases

real time
programming environment
information retrieval
artificial intelligence
website
database systems
evolutionary algorithm
programming language
virtual world
test bed
formal theory