The SLam Calculus: Programming with Secrecy and Integrity.

Nevin Heintze Jon G. Riecke

Published in: POPL (1998)

Keyphrases

programming language
simultaneous localization and mapping
mobile robot
dynamic environments
integrity constraints
object oriented programming
integrity checking
kalman filter
mobile robotics
data association
computer programming