{"ModuleCode":"CS5218","ModuleTitle":"Principles of Program Analysis","Department":"Computer Science","ModuleDescription":"Program analysis are static (compile-time) techniques for computing approximate and yet reliable information about the dynamic behaviour of programs. This module lays the foundation for study of program analysis. It covers the essential mathematics upon which program analyses are built, and provides an overview of different approaches to program analysis. Topics include: Partially ordered sets, induction and co-induction, data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. Students with interest in programming-language design and compiler design will find this module beneficial.","ModuleCredit":"4","Workload":"2-0-0-6-2","Prerequisite":"CS3212 or CS4212.","Types":["Module"],"CorsBiddingStats":[{"AcadYear":"2014/2015","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2014/2015","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2014/2015","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2014/2015","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2014/2015","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2014/2015","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"8","Bidders":"2","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1567","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"8","Bidders":"1","LowestBid":"500","LowestSuccessfulBid":"1","HighestBid":"500","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"2","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"New Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"7","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"2","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"New Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2013/2014","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"9","Bidders":"1","LowestBid":"1000","LowestSuccessfulBid":"1","HighestBid":"1000","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2012/2013","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"9","Bidders":"2","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"100","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2012/2013","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"7","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2012/2013","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"7","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2012/2013","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"7","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2012/2013","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"7","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2012/2013","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"7","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2011/2012","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2011/2012","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2011/2012","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2011/2012","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"9","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2011/2012","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2011/2012","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"7","Bidders":"2","LowestBid":"101","LowestSuccessfulBid":"1","HighestBid":"4000","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"2","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"New Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"5","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"2","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"New Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"6","Bidders":"1","LowestBid":"100","LowestSuccessfulBid":"1","HighestBid":"100","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"5","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"2C","Group":"Lecture 1","Quota":"5","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"5","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2010/2011","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"5","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"9","Bidders":"3","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"53","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"6","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"6","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"2C","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2008/2009","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2007/2008","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"10","Bidders":"10","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1000","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2007/2008","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"1","Bidders":"1","LowestBid":"3000","LowestSuccessfulBid":"1","HighestBid":"3000","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2007/2008","Semester":"2","Round":"2C","Group":"Lecture 1","Quota":"2","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2007/2008","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"2","Bidders":"1","LowestBid":"1000","LowestSuccessfulBid":"1","HighestBid":"1000","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2007/2008","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"1","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2007/2008","Semester":"2","Round":"3C","Group":"Lecture 1","Quota":"1","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"1A","Group":"Lecture 1","Quota":"10","Bidders":"4","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"100","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"1B","Group":"Lecture 1","Quota":"6","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"2A","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"2B","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students and New Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"2C","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"3A","Group":"Lecture 1","Quota":"10","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"3B","Group":"Lecture 1","Quota":"9","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2006/2007","Semester":"2","Round":"3C","Group":"Lecture 1","Quota":"8","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"1A","Group":"Lecture 1","Quota":"10","Bidders":"1","LowestBid":"1","LowestSuccessfulBid":"1","HighestBid":"1","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"1B","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"1C","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"2A","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"2B","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"Returning Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"3A","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"3B","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"3C","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"3D","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"3E","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"},{"AcadYear":"2005/2006","Semester":"1","Round":"3F","Group":"Lecture 1","Quota":"9","Bidders":"0","LowestBid":"0","LowestSuccessfulBid":"0","HighestBid":"0","Faculty":"School Of Computing","StudentAcctType":"NUS Students [P]"}],"AcadYear":"2014/2015","History":[{"Semester":2,"Timetable":[{"ClassNo":"1","LessonType":"Lecture","WeekText":"Every Week","DayText":"Thursday","StartTime":"1830","EndTime":"2030","Venue":"VCRm"}],"IVLE":[{"Announcements":null,"Forums":[],"Workbins":[],"Webcasts":[],"Gradebooks":[],"Polls":[],"Multimedia":[],"LessonPlan":[],"ID":"f948cf23-34ac-466e-8971-ccf00089acb5","CourseLevel":"1","CourseCode":"CS5218","CourseName":"PRINCIPLES OF PROGRAM ANALYSIS","CourseDepartment":"","CourseSemester":"Semester 2","CourseAcadYear":"2014/2015","CourseOpenDate":"/Date(1419782400000+0800)/","CourseOpenDate_js":"2014-12-29T00:00:00","CourseCloseDate":"/Date(1435679940000+0800)/","CourseCloseDate_js":"2015-06-30T23:59:00","CourseMC":"4","isActive":"N","Permission":"S","Creator":{"UserID":null,"Name":"Khoo Siau Cheng","Email":null,"Title":null,"UserGuid":"914f64c4-4255-4f0e-8c81-4b27658a64bd","AccountType":null},"hasGradebookItems":true,"hasTimetableItems":true,"hasGroupsItems":false,"hasClassGroupsForSignUp":false,"hasGuestRosterItems":true,"hasClassRosterItems":true,"hasWeblinkItems":false,"hasLecturerItems":true,"hasDescriptionItems":true,"hasReadingItems":true,"hasAnnouncementItems":false,"hasProjectGroupItems":false,"hasProjectGroupsForSignUp":false,"hasConsultationItems":false,"hasConsultationSlotsForSignUp":false,"hasLessonPlanItems":true,"Badge":0,"BadgeAnnouncement":0,"WebLinks":[],"Lecturers":[{"ID":"954de5f3-a5fb-49c6-88dd-00b5840d92fa","User":{"UserID":null,"Name":"Khoo Siau Cheng","Email":null,"Title":null,"UserGuid":"914f64c4-4255-4f0e-8c81-4b27658a64bd","AccountType":null},"Role":"Lecturer ","Order":1,"ConsultHrs":null},{"ID":"9f7b0c86-8ddd-424d-9fed-b52c508ec202","User":{"UserID":null,"Name":"TA QUANG TRUNG","Email":null,"Title":null,"UserGuid":"67f4b8b1-9a60-4eaa-8d57-9e8505ea7b04","AccountType":null},"Role":"Teaching Assistant ","Order":2,"ConsultHrs":null},{"ID":"2a352f24-f8c4-42a2-9015-8db697a23f3d","User":{"UserID":null,"Name":"Zuo Zhiqiang","Email":null,"Title":null,"UserGuid":"56b9ba05-0230-4093-9f13-a814fcc4dcd1","AccountType":null},"Role":"Others ","Order":3,"ConsultHrs":null}],"Descriptions":[{"ID":"123727cf-697a-4759-8851-59ff4ca65c5b","Title":"Aims & Objectives","Description":"
Program analysis are static (compile-time) techniques for computing approximate and yet reliable information about the dynamic behaviour of programs. This module lays the foundation for study of program analysis. It covers the essential mathematics upon which program analyses are built, and provides an overview of different approaches to program analysis. Topics include: Partially ordered sets, induction and co-induction, data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. Students with interest in programming-language design and compiler design will find this module beneficial.
","Order":1},{"ID":"9a0bb03e-b572-406d-8479-8e4a5cb2472e","Title":"Prerequisites","Description":"The main prerequisite is either CS2104 (Programming Language Concepts), CS3212 (Programming Language) or CS4212 (Compiler Design). Students must have good experience in programming, preferably with knowledge in more than one programming language.","Order":2},{"ID":"11b521f7-dc4f-45de-b123-093286183a6b","Title":"Teaching Modes","Description":"\r\n\tWeekly Consultation (by appointment): 4.30pm - 5.30pm (Thursday)
\r\n\r\n\tWeekly Lecture : 6.30pm - 8.30pm (Thursday)
\r\n\r\n\tOccasional Tutorial : 8.30pm - 9.30pm (Thursday)
\r\n","Order":3},{"ID":"320ac06a-bf1f-4813-8db9-087e433ed944","Title":"Schedule","Description":"Lecture: Every Thursday 6.30pm - 8.30pm at COM1 #0212 \r\nWhat is Program Analysis for in this advanced IT world?
\r\nA Wonderful Scheme for defining Program Analysis: Abstract Interpretation
\r\nClassical Program Analysis: Data-Flow Analysis
\r\nDescribing Program Properties using Constraints: Constraint-Based Analysis
\r\nThe Power of Program Types in Analysis: Type and Effect Systems
","Order":6},{"ID":"d30d6e25-ec23-4100-8dd9-fdffb59fc326","Title":"Assessment","Description":"