Garbage Collection for Multicore NUMA Machines
Generation of and Debugging with Logical Pre and Postconditions
Generative Unbinding of Names
Generic and Efficient Program Monitoring by trace analysis
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
Global Trie for Subterms
Grammatic -- a tool for grammar definition reuse and modularity
Grammatical Aspects for Language Descriptions