Minisymposium (ID: SS-SMCGPL)

Symbolic Methods in Code Generation and Programming Languages

Jacques Carette (McMaster University), Eugene Zima (Wilfrid Laurier University)

Symbolic methods are increasingly finding a wide variety of applications in and around programming languages. Starting from their immensely successful use in generation of numerical codes, their applicability is widening to both code analysis (often through abstract interpretation) and even in certain phases of compilers themselves, as exemplified in recent probabilistic programming languages. This session will bring together experts in symbolic computation along with programming languages experts to exchange ideas on the state of the art in this domain.

Please note the ID code assigned to your presentation (identical to the ID code of your accepted abstract). It is required for submitting your paper for the AMMCS-2017 Proceedings. Submission is not mandatory. All submitted papers will be refereed and only accepted papers will be published in the AMMCS-2017 Proceedings.

If you intend to submit your paper, please go to the AMMCS-2017 Proceedings Page. Follow exactly the Author Instructions accessible from that page.