Symbolic Programming Methods