Interesting paper from MS Research tries to represent financial derivatives as a small programming language.

Seems to be a great deal more sensible than you might think, since it allows derivatives to be added or subtacted from one another. You could then take all you liablities and net them off against each other... (Counterparty risk and random happenings aside.)