Compiling Dynamic Languages
Google Tech Talks
January 22, 2007
ABSTRACT
Dynamic languages like Python have gained significant popularity in mainstream programming. To support their dynamic features, they are often interpreted. In scientific computing applications, this works well for prototyping, but often means that significant efforts must later be invested in building the "real" application. Our thesis is that dynamic languages like Python can be effectively compiled by translation to statically typed functional languages like OCaml. Not only that, but this approach is highly amenable to formal verification. This, in fact, entails developing a formal semantics for the dynamic language. The talk described ongoing efforts...
On this page of the site you can watch the video online Compiling Dynamic Languages with a duration of hours minute second in good quality, which was uploaded by the user Google TechTalks 08 October 2007, share the link with friends and acquaintances, this video has already been watched 4,480 times on youtube and it was liked by 11 viewers. Enjoy your viewing!
