Status 12/07/2006

Note: This is an old post in a blog with a lot of posts. The world has changed, technologies have changed, and I've changed. It's likely this is out of date and not representative. Let me know if you think this is something that needs updating.

I had my last class of Semantics in Programming Languages today. We finished up with proving adequacy between the denotational semantics of the Untyped Lambda Calculus (the P-omega semantics from Scott) with the operational semantics. It was pretty wild stuff... Most of it a little over my head but mostly because we zipped through it due to the impending termination of class (class turns out not to be bottom--it does in fact terminate).

I have a bit more to do on a project for my Advanced Software Development class and I think I'm going to write up a case-study for using DAJ to build a unit tester with test cases described by a DSL. DAJ has all the pieces to make this very easy to design, build, maintain, and modify.

I'm going to be doing a research project related to DAJ next semester which I'm excited about. But... that's a month away at least. For now I'm going to prioritize and cruise through my backlog of stuff I've been sitting on. Like finishing up the work I was doing on PyBlosxom over the summer.

Want to comment? Send an email to willkg at bluesock dot org. Include the url for the blog entry in your comment so I have some context as to what you're talking about.