Just read a great paper about programming language design: The Origins of the BitC Programming Language. BitC wants to be a verifiable systems programming language, suitable for implementing OS kernels with provable safety guarantees and competitive performance. They share the lessons they have learned and opinions they have formed. They are commited to inventing something that is actually usable. It is all refreshingly honest and free of the obligatory posturing of academics, and therefore probably unpublishable. Some juicy quotes: Continue reading “Truth in Researching”
Funny/sad quote of the day
From the folks who brought you UML: Semantics of a Foundational Subset for Executable UML Models
Constraints are excluded from fUML, because they are considered to be designâ€time annotations that should already be satisfied by a wellâ€formed model. Otherwise, the general semantics of the run time checking of constraints is not currently well specified in UML 2, particularly when constraints should be evaluated and what should happen if they should fail. Further elaboration of the semantics of constraint checking in UML was judged to be outside the scope of the fUML specification.
Alright already, here’s the source
Here is the source and binaries of the Schematic Tables demo. I really don’t think it is of use to anyone, but I am getting tired of explaining that. This stuff is on the shelf right now while I work on other language issues.
Parallelism matters
My colleague Danny Dig wants to rebut my last post, but is in the process of moving, so I will attempt to paraphrase his position. Continue reading “Parallelism matters”
Too many cores, not enough brains
A number of comments on my last post suggested I work on multi-core parallelism. There are a number of reasons why I am steering clear of that topic. Continue reading “Too many cores, not enough brains”