Patrick Cousot

1948

• Définition interprétative et implantation de langages de programmation
• Static analysis