Concepts， Techniques， and Models of Computer Programming.pdf

《Concepts， Techniques， and Models of Computer Programming.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、Concepts,Techniques,andModelsofComputerProgrammingThispageintentionallyleftblankConcepts,Techniques,andModelsofComputerProgrammingbyPeterVanRoySeifHaridiTheMITPressCambridge,MassachusettsLondon,England
c2004MassachusettsInstituteofTechnologyAllrightsreserve

2、d.Nopartofthisbookmaybereproducedinanyformbyanyelectronicormechanicalmeans(includingphotocopying,recording,orinformationstorageandretrieval)withoutpermissioninwritingfromthepublisher.ThisbookwassetinLATEX2εbytheauthorsandwasprintedandboundintheUnitedStateso

3、fAmerica.LibraryofCongressCataloging-in-PublicationDataVanRoy,Peter.Concepts,techniques,andmodelsofcomputerprogramming/PeterVanRoy,SeifHaridip.cm.Includesbibliographicalreferencesandindex.ISBN0-262-22069-51.Computerprogramming.I.Haridi,Seif.II.Title.QA76.6.

4、V362004005.1—dc222003065140ShortContentsPrefacexiiiRunningtheExampleProgramsxxix1IntroductiontoProgrammingConcepts1IGENERALCOMPUTATIONMODELS272DeclarativeComputationModel293DeclarativeProgrammingTechniques1114DeclarativeConcurrency2335Message-PassingConcurr

5、ency3456ExplicitState4057Object-OrientedProgramming4898Shared-StateConcurrency5699RelationalProgramming621IISPECIALIZEDCOMPUTATIONMODELS67710GraphicalUserInterfaceProgramming67911DistributedProgramming70712ConstraintProgramming749IIISEMANTICS77713LanguageSe

6、mantics779viShortContentsIVAPPENDIXES813AMozartSystemDevelopmentEnvironment815BBasicDataTypes819CLanguageSyntax833DGeneralComputationModel843References853Index863TableofContentsPrefacexiiiRunningtheExampleProgramsxxix1IntroductiontoProgrammingConcepts11.1Ac

7、alculator...............................11.2Variables.................................21.3Functions.................................21.4Lists...................................41.5Functionsoverlists...........................71.6Correctness.................

8、..............91.7Complexity................................101.8Lazyevaluation.............................111.9Higher-orderprogramming.......................131.10Concurrency.........................