Login / Signup

Efficient Type-Checking for Amortised Heap-Space Analysis.

Martin HofmannDulma Rodriguez
Published in: CSL (2009)
Keyphrases
  • data structure
  • data analysis
  • knowledge representation
  • general purpose
  • multi dimensional