Foundations of Programming Languages

Thisclearlywrittentextbookintroducesthereadertothethreestylesofprogramming，examiningobject-oriented/imperative，functional，andlogicprogramming.Thefocusofthetextmovesfromhighlyprescriptivelanguagestoverydescriptivelanguages，demonstratingthemanyandvariedwaysinwhichwecanthinkaboutprogramming.Designedforinteractivelearningbothinsideandoutsideoftheclassroom，eachprogrammingparadigmishighlightedthroughtheimplementationofanon-trivialprogramminglanguage，demonstratingwheneachlanguagemaybeappropriateforagivenproblem.Features：includesreviewquestionsandsolvedpracticeexercises，withsupplementarycodeandsupportfilesavailablefromanassociatedwebsite;providesthefoundationsforunderstandinghowthesyntaxofalanguageisformallydefinedbyagrammar;examinesassemblylanguageprogrammingusingCoCo;introducesC++，StandardML，andProlog;describesthedevelopmentofatypeinferencesystemforthelanguageSmall.