Login / Signup

LEMA: towards a language for reliable arithmetic.

Vincent LefèvrePhilippe ThévenyFlorent de DinechinClaude-Pierre JeannerodChristophe MouilleronDavid PfannholzerNathalie Revol
Published in: ACM Commun. Comput. Algebra (2010)
Keyphrases
  • programming language
  • natural language
  • object oriented programming
  • databases
  • data mining
  • artificial intelligence
  • decision trees
  • object oriented
  • pattern languages
  • arithmetic operations
  • english text