Will's blog

purpose: Will Kahn-Greene's blog of Python, Linux, random content, PyBlosxom, Miro, and other projects mixed in there ad hoc, half-baked, and with a twist of lemon

Thu, 07 Dec 2006

Status 12/07/2006

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.

[ category: /content | Permalink | 0 comments ]

Please keep comments appropriate. I reserve the right to remove anonymous comments, flames, spammy, inappropriate, and other comments that I deem to be worth removing.

Note: New comments get placed in a "draft" status and will NOT show up on the site until I explicitly approve it. Usually that happens within 24 hours, but sometimes I go away and it takes a day or two.

Note 2: There is now a preview button for those of you who want to see a preview! However, it doesn't quite work the way you'd think it should work. I'll look into adjusting it some day.

Note 3: If you can't for some reason post a comment, send me an email: willg at bluesock dot org.

Your name:


Your e-mail address (this doesn't get displayed to anyone--I use it to contact you if there are issues):


URL of your website (optional):


Comment:


Yes, I am a human!

pyblosxom::2.0 dev

All contents Copyright 1996 to 2008 Will Guaraldi.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.