Login / Signup

Feature (De)composition in Functional Programming.

Sven ApelChristian KästnerArmin GrößlingerChristian Lengauer
Published in: SC@TOOLS (2009)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • quantifier elimination
  • object oriented programming
  • information systems
  • management system
  • database
  • general purpose
  • logic programs