Login / Signup

SADLI: Functional Programming in a Safety Critical Application.

Morris F. ChudleighChris BerridgeJenny ButlerRodney MayIan Poole
Published in: SSS (1996)
Keyphrases
  • functional programming
  • safety critical
  • data mining
  • artificial intelligence
  • information systems
  • decision making
  • high level
  • management system
  • database management systems
  • formal methods