An ASM Dynamic Semantics for Standard ML.

Steven C. Cater James K. Huggins

Published in: Abstract State Machines (2000)

Keyphrases

maximum likelihood
social networks
databases
information retrieval
computer vision
knowledge base
web services
multi agent
formal semantics
dynamically changing