Manuel V. Hermenegildo

• Prolog
• Static Analysis