Lambda the Ultimate

An article from IEEE Security & Privacy magazine.

The article is an accessible introduction to the idea of static code analysis. Several security-related tools are described.

I guess it's tool-week here on LtU what with Dialyzer, JFluid and now this...

Microsoft gave a demo of their Software Factories & DSL tools and philosophy over at OOPSLA. It would be great to see the slides but as far as I can see they aren't available online.

I want to love the DSL approach, but I still haven't seen enough examples and detailed discussion to be convinced.

I'd be happy to hear what others think about the UML vs. DSL controversy.

this challenge has already been mentioned on slashdot but i thought it was interesting to refer to it here in that one of the more elegant solutions was in J , which given the recent death of Dr. Kenneth Iverson made an example of his nice work (in language design) especially poignant
the challenge;
the
J solution;
the author of the j solution's live journal thread on the challenge.