• languages that limit what the programmer can do
  • i.e. java