Programming languages (design and implementation), Automatic memory management (garbage collection), Memory models, Concurrency

Formal methods, Interactive theorem proving