8
Additional keywords and phrases: control abstractions, data abstractions, compiler support, description systems, behavioral specification, implementation specification slide: Abstract data types