Main Profile

At A Glance

Compiling Dynamic Languages

Google Tech TalksJanuary 22, 2007ABSTRACTDynamic 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...
Length: 43:10


Questions about Compiling Dynamic Languages

Want more info about Compiling Dynamic Languages? Get free advice from education experts and Noodle community members.

  • Answer