Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.

Torben Amtoft Flemming Nielson Hanne Riis Nielson Jürgen Ammann

Published in: LOMAPS (1996)

Keyphrases

dynamic environments
databases
neural network
image analysis
mobile robot
statistical analysis
quantitative analysis
e learning
image segmentation
image sequences
multi agent systems
formal semantics