Login / Signup

DAda - an Ada preprocessor for functional programming.

Paul A. BailesDan JohnsonEric J. SalzmanLi Wang
Published in: TRI-Ada (1990)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • data structure
  • software engineering
  • data distribution
  • integrity constraints