Login / Signup

Formalization in Programming Environments.

Joseph A. GoguenMark Moriconi
Published in: Computer (1987)
Keyphrases
  • programming environments
  • programming environment
  • knowledge representation
  • databases
  • operational semantics
  • data structure
  • programming language
  • peer to peer
  • autonomous agents
  • formal model
  • logical language