Jeff Key

Deprecated HTML

It's been a while since I've done much HTML work, but I had no idea that I'd missed the boat. Apparently a good chunk of HTML elements and attributes have been deprecated.

This is fine by me, as I'm taking a few minutes to learn hard-core CSS (goodbye, tables!), but the few of you that don't need to support Navigator 2.x anymore may want to check out the following link.

Good riddance, width attribute when used in an hr, pre, td or th tag!

Deprecated HTML tags and alternatives

Wuh, Orkut?

Tiny peek into the future#

The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software.   The system consists of:

• A programming methodology, which includes a sound treatment of object invariants in object-oriented programs.
• The Spec# programming language, which is a superset of C# and adds things like non-null types, checked exceptions, method contracts (like pre- and postconditions), and object invariants.
• The Spec# compiler, which is integrated into the Microsoft Visual Studio development environment, statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the specifications in metadata for consumption by the program verifier.
• The Spec# static program verifier, which translates programs into logical verification conditions, which are passed to an automatic theorem prover.
• An interface to the SpecExplorer tool for test generation and model-based testing.

Mr. Key Gone to Heaven