欢迎来到天天文库
浏览记录
ID:7919362
大小:3.46 MB
页数:304页
时间:2018-03-02
《denotial semantics. a methodology for language development外语英文电子书》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、DenotationalSemantics____________________________________________________________________________________________________________________________________________________________________________________________________________________________________AMETHODOLOGYFORLANGUAGEDEVELOPMENT______________
2、__________________________________________________________________________________________________________________________________________DavidA.SchmidtCopyrightnotice:Copyright1997byDavidA.Schmidt.Permissiontoreproducethismaterialmustbeobtainedfromtheauthor.Author’saddress:DavidSchmidt,Departme
3、ntofComputingandInformationSciences,234NicholsHall,KansasStateUniversity,Manhattan,KS66506.schmidt@cis.ksu.eduContentsPrefaceviiiChapter0INTRODUCTION_______________________________________________________________________________________________1MethodsforSemanticsSpecification2SuggestedReadings3Ch
4、apter1SYNTAX______________________________________________________________________________________________________________51.1AbstractSyntaxDefinitions91.2MathematicalandStructuralInduction12SuggestedReadings15Exercises15Chapter2SETS,FUNCTIONS,ANDDOMAINS____________________________________________
5、__________________172.1Sets172.1.1ConstructionsonSets182.2Functions202.2.1RepresentingFunctionsasSets212.2.2RepresentingFunctionsasEquations242.3SemanticDomains252.3.1SemanticAlgebras25SuggestedReadings27Exercises27Chapter3DOMAINTHEORYI:SEMANTICALGEBRAS____________________________________________
6、303.1PrimitiveDomains303.2CompoundDomains343.2.1Product343.2.2DisjointUnion353.2.3FunctionSpace393.2.4LiftedDomainsandStrictness42iiiivContents3.3RecursiveFunctionDefinitions443.4RecursiveDomainDefinitions463.5Summary46SuggestedReadings48Exercises48Chapter4BASICSTRUCTUREOFDENOTATIONALDEFINITIONS___
7、____________________544.1TheValuationFunction544.2FormatofaDenotationalDefinition574.3ACalculatorLanguage59SuggestedReadings63Exercises63Chapter5IMPERATIVELANGUAGES_______________________________________________________
此文档下载收益归作者所有