Formal Theory, Informally

Par Jonathan Worthington (‎jnthn‎)
Date : dimanche 26 novembre 2006 11h50
Durée : 40 minutes
Langue :

Vous pouvez trouver plus d'information sur le site du présentateur :


(cette présentation sera faite en anglais)

When we talk about programming languages, we mostly talk about their syntax and semantics in an informal way. In this talk I'll take you on a sight-seeing tour of formal programming language theory, illustrated with Perl 6 and the Parrot compiler tools.

Along the way you'll parse through the land of grammars, hear the leaves of abstract syntax trees rustling in the wind and watch in wonder as attribute grammars transform them before your eyes. Then you can tuck into the formal semantics dinner and enjoy a refined type of wine as you return home through the polymorphic republic of type theory.

No experience of any of the topics being covered is required.