Operational Aspects of Programming

• emacs

• unix

• Slot and Filler Source Creation (Templates)

• Incremental Programming

• Stepwise Refinement