Resources
Here are some resources to find out more about the area that Contemplate is working in. Over the coming year we will add some more specific information about our own technology.
-
Static code analysis is a useful Wikipedia article that introduces software that “thinks” about software.
-
Conferences whose talks and papers we enjoy include POPL, SAS and ETAPS.
-
Lambda the Ultimate is a programming languages blog, which often has good pointers to the research literature and fun to read discussion.