A Concurrent Abstract Interpreter.

Stephen Weeks Suresh Jagannathan James Philbin

Published in: LISP Symb. Comput. (1994)

Keyphrases

production system
multiscale
artificial neural networks
programming language
higher level
mutual exclusion
real time
genetic algorithm
artificial intelligence
search engine
high level
state space
object oriented
abstract data types