Login / Signup

An Imperative, First-Order Calculus with Object Extension.

Viviana BonoKathleen Fisher
Published in: ECOOP (1998)
Keyphrases
  • object model
  • complex objects
  • d objects
  • higher order
  • data objects
  • database
  • neural network
  • multiscale
  • moving objects
  • first order logic
  • spatial relations
  • target object
  • complex scenes
  • term rewriting
  • deformable objects