返回
denotial semantics. a methodology for language development外语英文电子书

denotial semantics. a methodology for language development外语英文电子书

ID：7919362

大小：3.46 MB

页数：304页

时间：2018-03-02

denotial semantics. a methodology for language development外语英文电子书_第1页
denotial semantics. a methodology for language development外语英文电子书_第2页
denotial semantics. a methodology for language development外语英文电子书_第3页
denotial semantics. a methodology for language development外语英文电子书_第4页
denotial semantics. a methodology for language development外语英文电子书_第5页
资源描述：

《denotial semantics. a methodology for language development外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、DenotationalSemantics____________________________________________________________________________________________________________________________________________________________________________________________________________________________________AMETHODOLOGYFORLANGUAGEDEVELOPMENT______________

2、__________________________________________________________________________________________________________________________________________DavidA.SchmidtCopyrightnotice:Copyright1997byDavidA.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_______________________________________________________

当前文档最多预览五页，下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页，下载文档查看全文
温馨提示：
1. 部分包含数学公式或PPT动画的文件，查看预览时可能会显示错乱或异常，文件下载后无此问题，请放心下载。
2. 本文档由用户上传，版权归属用户，天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容，确认文档内容符合您的需求后进行下载，若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误，付费完成后未能成功下载的用户请联系客服处理。