A new robust and efficient implementation of controlled types in the GNAT compiler.

Hristian Hristov Kirtchev

Published in: HILT (2012)

Keyphrases

efficient implementation
efficient processing
computationally efficient
active set
hardware implementation
highly parallel
general purpose
signal processing