Automatic Type Inference for Amortised Heap-Space Analysis.

Martin Hofmann Dulma Rodriguez

Published in: ESOP (2013)

Keyphrases

database
genetic algorithm
artificial intelligence
information systems
case study
multi agent
data structure
structural analysis