程序学

programatics 研究编制程序的方法和程序设计语言的一门学科。