{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,22]]，“日期-时间”：“2024-04-22T05:07:26Z”，“时间戳”：1713762446568}，“引用-计数”：65，“发布者”：“计算机协会（ACM）”，“问题”：“1”，“内容-域”:{“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“short-container-title”：[“ACM Trans.Program.Lang.Syst.”]，“published-print”：{“date-parts”：[[1997,1]]}，“abstract”：“A类软类型系统为动态类型程序的过程和数据结构推断类型。与传统的静态类型一样，软类型表示程序不变量，从而为程序优化和调试提供有价值的信息。柔软型checker使用软类型系统推断的类型来消除可证明不必要的运行时检查；任何剩余的运行时检查都被标记为潜在的程序错误。Soft Scheme是R4RS Scheme的一种实用的软类型检查器。它的底层类型系统通过合并递归类型和有限形式的并集类型来推广传统的Hindley-Milner类型推理。软方案适用于所有R4RS方案，包括固定和可变arity、赋值和延续的未附带过程<\/jats:p>“，”DOI“：”10.1145\/239912.239917“，”type“：”journal-article“，”created“：{”date-parts“：[2002,10,7]]，”date-time“：”2002-10-07T13:52:47Z“，”timestamp“：1033998767000}，”page“：：72，“标题”：[“方案的实用软类型系统”]，“前缀“：”10.1145“，”卷“：”19“，”作者“：[｛”给定“：”安德鲁·K“，”家族“：”赖特“，”序列“：”第一“，”隶属关系“：[｛”名称“：”美国国家选举委员会研究所，普林斯顿，NJ“｝]｝，｛”给定“：”罗伯特“，”家族“：”卡特赖特“，”序列“：”附加“，”隶属关系“：[｛”名称“：”莱斯大学，休斯敦，TX“｝]｝]，”成员“：”320“，”在线发表“：｛”日期部分“：[[1997,1]]｝，”reference“：[{”key“：”e_1_1_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/103135.103138“}，{”key“：“journal-title”：“J.Funct.Program.”}，{“key”：“e_1_2_1_3_1“，”首页“：”182“，“volume-title”：“函数编程语言和计算机体系结构CM会议记录。ACM出版社“，”author“：”AIKEN A.“，”year“：”1995“}，{”key“：”e_1_1_4_1“，”first page“：“31”，”volume-title“：”Proceedings of the International Conferences on Functional Programming Languages and Computer Architecture。ACM出版社”，“author”：“AIKEN A”，“year”：“1993”}，“key”：“e_2_1_5_1”，“first pages”：“163”，”volume-title:“”第21届程序设计语言原理年度研讨会论文集。ACM出版社”，“作者”：“AIKEN A.”，“年份”：“1994”}，{“key”：“e_1_1_6_1”，“首页”：“104”，“volume-title”：“第十七届程序设计语言原理年会论文集”，ACM出版社，“author”：“AMADIO R.M”，“year”：“1990”}BARENDREGT H.P.“，”年份“：“1984”}，{“issue”：“2”，“key”：“e_1_2_1_8_1”，“doi-asserted-by”：“crossref”，”首页“：“5”，“doi”：“10.1145\/1317193.1317195”，“article-title”：“Common Lisp实用类型推断系统的初步报告”，“volume”：”1“，“author”：“BEER R.D.”，“year”：“1987”，“journal-title“：”Lisp指针“}，”{“key“：“e_1_2_1_9_1”，“第一页“：”202“，”卷标题“：”第16届程序设计语言原理年度研讨会论文集。ACM出版社“，”author“：”CARDELLI L.“，”year“：”1989“}，{”key“：”e_1_1_10_1“，“first page”：“278”，“volume-title”：“91年编程语言设计与实现会议论文集。ACM出版社”，“author”：“CARTWRIGHT R.”，“year”：“1991”}，“key”：”e_e1_2_1_11_1“”，“first-page”：“244”，“volume-title:”计算机科学理论专题讨论会。Springer-Verlag“，”author“：”CARTWRIGHT R.“，”year“：”1994“}，{”key“：”e_1_1_12_1“，“unstructured”：“CHAMBERS C.1992。SELF编译器的设计和实现是面向对象编程语言的优化编译器。1992年斯坦福大学斯坦福加利福尼亚商会博士论文。SELF编译器的设计和实现是面向对象编程语言的优化编译器。加州斯坦福大学博士论文“}，{”key“：”e_1_2_1_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/382130.382133”}，“key”：“e_1_i_14_1”，“unstructured”：“DAMAS L.M.M.1985。编程语言中的类型赋值。爱丁堡大学苏格兰分校博士论文。DAMAS L.M.M.1985年。编程语言中的类型赋值。苏格兰爱丁堡爱丁堡大学博士论文。“}，{”key“：”e_1_1_15_1“，”first page“：“239”，”volume-title“：”Lisp和函数式编程的CM会议记录。ACM出版社“，”author“：”DZENG H.“，“年份”：“1994”}，“{”key“：。软类型：一种用于动态类型语言的类型检查方法。Rice Univ.Houston Tex.FAGAN M.1990博士论文。软类型：动态类型语言的类型检查方法。Rice Univ.Houston Tex.博士论文“}，{”key“：”e_1_1_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF01018696”}，“key”：“e_2_1_18_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/0167-6423（91）90036-W“}”，{/0304-3975（92）90014-7“}，{“密钥”：“e_1_2_1_21_1”，“非结构化”：“弗里曼T.1993。优化类型。卡内基梅隆大学（Carnegie Mellon Univ.Pittsburgh Pa.FREEMAN T.1993）博士论文。优化类型。宾夕法尼亚州匹兹堡卡内基梅隆大学博士论文“}，{”key“：”e_1_1_22_1“，”first page“：“268”，”volume-title“：”91年编程语言设计与实现会议论文集。ACM出版社“，”author“：”FREEMAN T.“，“年份”：“1991”}，“key”：“e_2_1_23_1”，“doi-asserted-by”：“crossref”，”firstpage“282”，“doi”：“10.1145\/91556.91672”，”“volume-title”：“1990年ACM LISP和函数编程会议记录。ACM Press“，”author“：”GOMARD C.“，”year“：”1990“}，{”key“：”e_1_2_1_24_1“，”doi-asserted-by“：”crossref“，“unstructured”：“GREENGARD L.1987。粒子系统势场的快速评估。ACM出版社，纽约，GREENGARD L.1987。粒子系统势场的快速评估。ACM出版社纽约。“，”DOI“：”10.7551\/mitpress\/5750.0001“}，{“key”：“e_1_2_1_26_1”，“first page”：”206“，”volume-title“：”第20届程序设计语言原理年度A CM研讨会论文集。ACM出版社“，”author“：”HARPER R.“，“year”：“1993”}，“key“：”e_1_i_1_28_1“，‘series-title’：”计算机科学讲稿“，”volume-titel“：”《欧洲程序设计研讨会论文集》，“作者”：“HENGLEIN F.”}，{“key”：“e_1_2_1_29_1”，“doi-asserted-by”：“crossref”，《首页》：“205”，”doi“：“10.1145”/141542”，“volume-title”：“1992年ACM Lisp和函数编程会议论文集。ACM出版社”，“author”：“HENGLEIN F”，“年份”：“1992”}第一页“：”192“，”卷标题“：函数编程语言和计算机体系结构CM会议记录。ACM Press“，”author“：”HENGLEIN F.“，”year“：”1995“}，{”key“：”e_1_1_31_1“，“first page”：“29”，”article-title“：”组合逻辑中对象的主要类型模式“，”volume“：“146”，“author”：“HINDLEY R.”，”year:“1969”，“journal-title”：“Trans.Am.Math.Soc.”}，“key”：”e_ 1_1_ 32_1“”，“unstructured”：“HINDLEY R.J.和SELDIN J.第1986页。组合器和N演算简介。剑桥大学出版社，纽约。HINDLEY R.J.和SELDIN J.P.，1986年。组合器和N演算简介。剑桥大学出版社纽约。“}，{”key“：”e_1_2_1_33_1“，”volume-title“：”第八届计算机科学逻辑年度研讨会论文集。IEEE计算机社会出版社，加利福尼亚州洛斯阿拉米托斯，15-25“，”author“：”HOANG M.“，“年份”：“1993”}，“key”：“e_1_i_1_34_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145 \/130697.130699“}”，{“key“”：“d_2_35_1”第一页“：”294“，”volume-title“：”Lisp和函数编程CM会议记录。ACM出版社“，”作者“：”JAGANNATHAN S.“，”年份“：”1994“}，{“key”：“e_1_1_36_1”，“series-title”：“计算机科学讲义”，“volume-title”：《第二届国际静态分析研讨会论文集》，“author”：“JAGANNATAN S.”}，“key“：1992年ACM Lisp和函数编程会议记录。ACM Press“，”author“：”I~AES S.“，”year“：”1992“}，{“key”：“e_1_1_38_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/322169.322181“}、{“密钥”：“e_1_2_1_39_1”、“doi-sserted-by“：”publisher“，“doi”：“10.1007\/BF01025919”}，“key“：”e_2_2_40_1“、”unstructured“：”LEROY X.1992年。类型多态性d’un langage Mgorithmique。法国巴黎大学博士论文。LEROY X.1992年。类型多态性d’un langage Mgorithmique。法国巴黎大学博士论文。“}，{”key“：”e_1_1_41_1“，”first page“：“177”，”volume-title“：”第19届程序设计语言原理年会论文集。ACM出版社“，”author“：”LEROY X.“，”year“：”1992“}”，{“issue”：“4”，“key”：“e_1_i_1_42_1”，“doi-asserted-by”：“crossref”，《第一页》：“431”，“doi”：“10.1017\/S0956780000848”，“article-title”：“Dynamics”以ML“，”卷“：”3“，“作者”：“LEROY X”，“年份”：“1993”，“新闻标题”：“J.Funct”。程序。“}，{”key“：”e_1_1_43_1“，”first page“：“291”，”volume-title“：”第18届程序设计语言原理年度研讨会论文集。ACM出版社“，”author“：”LEROY X.“，”year“：”1991“}”，{“key”：“e_1_i_1_44_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1002\/spe.4380200606“}“，{me-title“：”Lisp和函数编程CM会议论文集。ACM Press“，”author“：”MACLACHLAN R.A.“，”year“：”1992“}，{”key“：”e_1_1_46_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0019-9958（86）80019-5“}”，{“key”：“e_2_1_48_1”，“doi-assert-by”：“crossref”，”first page“”：“348”，”doi“：”10.1016\/0022-0000（78）90014-4“，”article-title“：”编程中的类型多态理论”，“volume”：“17”，“author”：“MILNER R.“，“年份”：“1978年”，“新闻标题”：“J.Compute。系统。科学。}，{“key”：“e_1_2_1_49_1”，“非结构化”：“MILNER R.TOFTE M.和HARPER R.1990。标准ML的定义。麻省理工学院出版社剑桥马萨诸塞州。MILNER R.TOFTE M.和HARPER R.1990。标准ML.MMIT Press Cambridge Mass.的定义，}，{“key”：“e_1_2_1_50_1”，“doi asserted by”：“crossref”，“首页”：“3”，“doi”：“10.1017\/S0956796800000113”，“文章标题”：“简单亚型的类型推理”，“卷”：“1”，“作者”：“MITCHELL J.C.”，“年份”：“1991”，“期刊标题”：“J.Funct.Program.”}，{“key”：“e_1_2_1_51_1”，“系列标题”：“计算机科学讲稿”，“volume-title”：“欧洲编程研讨会论文集”，“author”：“O'KEEFE P.M.”}，{“key”：“e_1_1_52_1”，“doi-asserted-by”：“crossref”，”first page“：”2“，”doi“：”10.1016\/0022-0000（78）90043-0“，”article-title“：”Linear unified“，”volume“：“16”，”author“：”PATERSON M.S.“，“年份”：“1978”，“日记标题”：“J。计算。系统。科学。“}，{”key“：”e_1_1_53_1“，”first page“：“77”，”volume-title“：”第16届程序设计语言原理年会论文集。ACM出版社“，”author“：”RI~MY D.“，”year“：”1989“}”，{“key”：“e_1_i_1_56_1”，“first pages”：“439”，“volume-title”：“第20届程序设计语言学原理年会文献集。ACM出版社”，“author”：“”SHAO Z.“，”year“：”1993“}，{”key“：”e_1_2_1_57_1“，”unstructured“：”SHIVERS O.1991。高阶语言的控制流分析。卡内基·梅隆大学（Carnegie Mellon Univ.Pittsburgh Pa.SHIVERS O.1991）博士论文。高阶语言的控制流分析。宾夕法尼亚州匹兹堡卡内基梅隆大学博士论文“}，{“key”：“e_1_1_58_1”，“首页”：“472”，“volume-title”：“第21届程序设计语言原理年度研讨会论文集。ACM出版社”，“author”：“STEELE G.L.”，《年份》：“1994”}第七届计算机科学逻辑年度研讨会论文集。IEEE Computer Society Press，Los Alamitos，Calif.，162-173“，“author”：“TALPIN J.-P.”，“year”：“1992”}，{“key”：“e_1_1_60_1”，“series-title”：“Computer Science课堂笔记”，“volume-title”：《自动化、语言和程序设计：第十五届国际学术讨论会》，“authat S.R.”}、{“key”：《e_2_1_61_1》，“首页”：“367”，“volume-title:”第17届程序设计语言原理年度研讨会论文集。ACM Press“，”author“：”THATTE S.R.“，”year“：”1990“}，”{“key”：“e_1_1_62_1”，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0890-5401（90）90018-D”}，“key“：”e_1_i_1_63_1“，，{“键”：“e_1_2_1_64_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（91）90050-C”}，{“key”：“e_1_i_1_65_1”，《series-title》：“计算机科学讲义”，“volume-title”：“第九届欧洲编程研讨会论文集”，“author”：“WRIGHT A.K.”}、{“key”：”e_2_1.66_1“非结构化”：“WRIGHT t.K.1994。实用的软打字。Rice Univ.Houston Tex.WRIGHT t.K.1994博士论文。实用的软打字。Rice Univ.Houston Tex.博士论文“}，{”key“：”e_1_1_67_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF01018828”}，“key”：“e_2_1_68_1”，“首页”：“250”，“volume-title”：“Lisp和函数编程的CM会议论文集。ACM出版社”，“author”：“WRIGHT A.K.”，“年份”：“1994”}、{”key“：右侧t.K。和1993年出生的迪拜。方案的模式匹配。莱斯大学德克萨斯州休斯顿分校，网址：http://www.neci.nj.nec.com/homepages\/wright.html。WRIGHT t.K.和DUBA B.F.1993年。方案的模式匹配。莱斯大学德克萨斯州休斯顿分校，网址：http://www.neci.nj.nec.com/homepages\/wright.html。“}，{”key“：”e_1_1_70_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1006\/inco.1994.1093”}，“{”key“：“e_1_i_1_71_1”，“unstructured”：“ZHAO F.1987。三维N体模拟的O（N）算法。麻省理工学院电气工程与计算机科学硕士学位论文系，剑桥马萨诸塞州，赵峰，1987年。三维N体模拟的O（N）算法。马萨诸塞州剑桥理工学院电气工程与计算机科学系硕士论文“}]，“container-title”：[“ACM Transactions on Programming Languages and Systems”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/239912.239917”，“content-type”：“unspecified”，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,4,24]]，”date-time“：”2023-04-24T20:09:008Z“，”timestamp“：1682366948000}，”score“：1，”resource“：”primary“：”{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/239912.239917”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date”parts“：[[1997,1]]}，”references-count“：65，”日志问题“：{”问题“：“1”，“published-print”：{“date-parts”：[[1997,1]]}}，“alternative-id”：[“10.1145\/239912.239917”]，“URL”：“http://\/dx.doi.org\/10.1145\/239112.239917“，”关系“：{}，”ISSN“：[”0164-0925“，”1558-4593“]，”ISSN-type“：[{”value“：”0164-00925“”，“type”：“”打印“}，{”值“：”1558-4593“，”类型“：”电子“}]，”主题“：[]，”发布“：{”date-parts“：[[1997,1]]}，”assertion“：[{”value“：”1997-01-01“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}}