Login / Signup

The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary).

Geoffrey L. Burn
Published in: Functional Programming (1991)
Keyphrases
  • abstract interpretation
  • higher order
  • termination analysis
  • static analysis
  • model checking
  • text summarization
  • high level
  • active databases
  • reasoning engine
  • information systems
  • pairwise
  • active rules
  • data sources