ppt课件-advanced formal methods（先进的正式的方法）.pptVIP

Advanced Formal Methods Lecturer: Rosemary Monahan Program Language Design Lecturer: Rosemary Monahan Programming languages ... Many different languages Programmer must fully master the languages which they use to solve problems They must know what phrases are permitted They must know what these phrases mean Language descriptions are usually in the form of: Program Language reference manuals Programming guides Program Language Definition- plays a central role as all other descriptions are based on it. It must give a complete and precise account of the language as possible … Programming langua