Effect systems spring to mind but they're rather esoteric (in the Java world).