Symbolic Computation Group

David R. Cheriton School of Computer Science
University of Waterloo, Waterloo, Ontario, Canada

What Can Symbolic Computation Do For Programming Languages?
Gabriel Dos Reis, Texas A&M, USA
Friday, February 12, 2009, at U. of Waterloo.

Abstract:

In the wake of the revolution of multi cores on stock hardware,most mainstream programming languages appear to be adopting reactive responses as opposed to being proactive. Can Symbolic Computation once more nudge research in programming languages into driving design of computer architectures and systems, and the discovery of new programming models? This talk will explore recent interplay between advances in Symbolic Computation, Programming Languages in general, and influences on the next version of the ISO standard for the C++ programming language.

 

Last modified on Sunday, 04 November 2012, at 20:42 hours.