高阶和符号计算 简短标题： 高-订购符号。计算。 出版商： 马萨诸塞州诺威尔市斯普林格 国际标准编号： 1388-3690; 1573-0557/年 在线： http://link.springer.com/journal/volumesAndIssues/10990 前任： 评论： 期刊；不再索引 已编制索引的文档： 209出版物(1998–2013) 索引的引用： 104出版物参考文献3671。 全部的 前5名最新问题 262013年第1-4号 252012年第2-4号 252012年第1期 242011年第4号 242011年第3期 24，编号1-2（2011） 232010年第4期 232010年第3期 232010年第2期 232010年第1期 222009年第4期 222009年第3期 222009年第2期 222009年第1期 212008年第4号 212008年第3号 21，第1-2号（2008） 202007年第4号 202007年第3号 20，第1-2号（2007） 192006年第4号 192006年第2-3号 192006年第1期 18，编号3-4（2005） 182005年第1-2号 172004年第4期 172004年第3期 17，第1-2号（2004年） 16，第4号（2003） 16，第3号（2003年） 16，第1-2号（2003） 152002年第4期 15，第2-3号（2002） 15，第1期（2002年） 142001年第4号 142001年第2-3号 142001年第1期 132000年第4期 132000年第3期 132000年第1-2号 12，第4号（1999） 12，第3号（1999） 12，第2期（1999年） 12，第1期（1999年） 11，第4号（1998年） 11，第3号（1998年） 11，第2期（1998年） 11，第1期（1998年） 全部的 前5名作者 6 朱莉娅·劳尔。 5 卡罗琳·塔尔科特。 4 奥利维尔·丹维 4 彼得·兰丁。 4 Hayo Thielecke 三 泽纳·M·阿里奥拉。 三 查尔斯·康塞尔 三 Dybvig，R.肯特 三 罗伯特·哈珀 三 邱小成 三 奥列格·基塞利约夫 三 直纪小林 三 何塞·梅塞盖尔·瓜伊塔 三 阿穆尔·萨布里 三 戴维·施密特（David A.Schmidt）。 三 杰拉尔德·杰伊·苏斯曼 三 德国维达尔 三 米切尔·旺德 2 浅井，肯尼奇 2 埃多尔多·比亚吉奥尼 2 朱利叶斯·克洛博切克 2 霍雷修·西尔斯泰 2 雷米·杜伦斯 2 丹尼尔·弗里德曼（Daniel P.Friedman）。 2 约翰·加拉赫。 2 尼尔·加尼 2 尤里安·黑格 2 马科托·哈马纳 2 凯文·哈蒙德 2 约翰·哈特克利夫 2 雨果·赫贝林 2 苏雷什·贾甘纳森 2 帕特里夏·约翰 2 加布里埃尔·科尼丝 2 克洛德·基什内尔 2 戴维·莱西 2 泽维尔·勒罗伊 2 马克·利利布里奇 2 刘燕红安妮 2 丽塔·勒根 2 雷诺·马莱 2 伊恩·梅森。 2 伊莎贝拉·马斯特罗尼 2 松田和川 2 格雷格·迈克尔森 2 卢克·莫罗 2 亨利克·尼尔森 2 阿尔贝托·佩特罗西 2 毛里齐奥·普罗埃蒂 2 约翰·查尔斯·雷诺兹 2 Shan、Chung-chieh 2 克里斯蒂安·斯卡尔卡 2 斯科特·史密斯。 2 Sørensen，Morten Heine B。 2 福斯托·斯波托 2 盖·刘易斯·朱·斯蒂尔。 2 克里斯托弗·斯特拉基 2 罗伯特·坦南特。 2 彼得·蒂曼。 2 埃里克·范怀克 2 Janis Voigtlander公司 2 克里斯托弗·沃兹沃思。 1 哈罗德·阿贝尔森 1 彼得·阿奇顿 1 亚当斯，N.I.IV 1 亚历山大·艾肯 1 桑德拉·阿尔维斯 1 阿姆托夫特，托本 1 史蒂夫·巴克 1 吉尔·巴特 1 D.H.巴特利。 1 乔什·伯丁 1 克拉拉·贝托利西 1 拉尔斯·比克达尔 1 克里斯蒂安·比肖夫。 1 盖伊·E·布莱洛赫。 1 保罗·博卡（Paul P.Boca）。 1 戴维森·R·博卡多。 1 理查德·博纳特 1 杰拉德·布多尔 1 罗德·M·伯斯托尔。 1 约翰·卡珀 1 伊利亚诺·塞维萨托 1 布莱恩·查德威克 1 陈坤 1 魏恩根·钦 1 桑德琳·奇洛科夫 1 克里斯滕森，索伦 1 克拉克，托尼 1 西尔维娅·克莱里奇 1 肯·克莱恩 1 威廉·克林格。 1 Coquand，卡塔琳娜 1 皮埃尔·克雷古特 1 扎伊娜·达盖伊 1 马丁·戴维斯 1 奥格·德穆尔 1 瑟伦·德博伊斯 1 德根，马库斯 1 拉斐尔·德尔瓦多·维塞达 …还有228位作者 全部的 前5名领域 195 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 16 历史和传记（01-XX） 9 总体主题；集合（00-XX） 2 数值分析（65-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 138出版物有被引用944中的次747文件 引用人▼ 年份▼ 八角形抽象域。 Zbl 1105.68069号 安托万·米内 123 2006 使用窄化的符号可达性分析及其在密码协议验证中的应用。 Zbl 1115.68079号 何塞·梅塞盖尔;普拉桑纳·塔蒂 39 2007 高阶编程语言的定义解释器。 Zbl 0934.68034号 约翰·雷诺兹（John C.Reynolds）。 35 1998 证明会员资格均衡程序的操作终止。 兹比尔1192.68154 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔班 29 2008 编程语言中的基本概念。 Zbl 0949.68510号 克里斯托弗·斯特拉基 28 2000 按值调用：分解按值调用和按名称调用。 Zbl 1112.68025号 保罗·布莱恩·利维 28 2006 一台叫lambda-calculus的机器。 Zbl 1130.68057号 Jean-Louis Krivine 27 2007 续：用于处理完整跳跃的数学语义。 Zbl 0951.68078号 克里斯托弗·斯特拉基;克里斯托弗·沃兹沃思。 26 2000 实时淡紫色的语义和语用。 Zbl 1115.68095号 彼得·塞巴·奥维茨基;何塞·梅塞盖尔 26 2007 关于置换代数、（前）层和命名集。 Zbl 1105.68083号 法比奥·加杜奇;马里诺·米库兰;乌戈州蒙塔纳里 23 2006 顺序程序中安全信息流的每种模型。 Zbl 0967.68039号 安德烈·萨贝尔菲尔德;大卫·桑兹 15 2001 算法语言方案的修订报告。 Zbl 0965.68008号 H.阿贝尔森。;Dybvig，R.K。;C.T.海恩斯。;G.J.罗扎斯。;亚当斯，N.I.IV;弗里德曼，D.P。;科尔贝克，E。;斯蒂尔（G.L.jun Steele）。;D.H.巴特利。;R.霍尔斯特德。;D.奥克斯利。;G.J.苏斯曼。;G·布鲁克斯。;汉森，C。;皮特曼，K.M。;M·旺德。 15 1998 在功能框架中嵌套转发模式AD。 Zbl 1175.68104号 杰弗里·马克·西斯金德;巴拉克·A·皮尔默特。 13 2008 模型构建的切片软件。 兹比尔0972.68021 约翰·哈特克利夫;马修·德怀尔。;郑红军 13 2000 重访了定义口译员。 兹比尔0934.68033 约翰·雷诺兹（John C.Reynolds）。 13 1998 跳转和标签的概括。 Zbl 0934.68036号 彼得·兰丁。 12 1998 节省空间的渐进式打字。 Zbl 1232.68025号 大卫·赫尔曼;阿伦·汤姆;科马克·弗拉纳根 12 2010 程序终止验证的依赖类型。 Zbl 1041.68059号 席宏伟 11 2002 动态绑定的句法理论。 Zbl 0934.68038号 卢克·莫罗 11 1998 计算过程的部分评估–编译器编译器的一种方法。 Zbl 1009.68504号 福村义彦 10 1999 计算机程序的功能区分。 Zbl 0967.68174号 Jerzy Karczmarczuk 10 2001 Scheme：扩展lambda演算的解释器。 Zbl 0929.68045号 杰拉尔德·杰伊·苏斯曼;盖·利·朱·斯蒂尔（Guy L.jun Steele）。 10 1998 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼;塔尔莫乌斯塔卢;马科托·哈马纳 10 2006 强烈减少Krivine抽象机的变体。 兹比尔1130.68052 皮埃尔·克雷古特 10 2007 流产延续的证明理论基础。 Zbl 1128.68089号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 10 2007 关于自动区分工具的实现。 Zbl 1168.65324号 克里斯蒂安·比肖夫。;保罗·D·霍夫兰。;博亚娜·诺里斯 9 2008 CPS翻译和应用程序：立方体及其他。 Zbl 0936.03015号 吉尔·巴特;约翰·哈特克利夫;Sørensen，Morten Heine B。 9 1999 捷径融合的推广及其正确性证明。 Zbl 1020.68022号 帕特里夏·约翰 9 2002 线性连续通过。 Zbl 1030.68011号 乔什·伯丁;彼得·奥赫恩;乌代·雷迪;Hayo Thielecke 9 2002 使功能程序适应高阶逻辑。 兹比尔1175.68103 斯科特·欧文斯;康拉德·斯林德 8 2008 正在计算大小类型。 Zbl 0994.68015号 魏恩根·钦;邱小成 8 2001 程序切片的非标准语义。 兹比尔1074.68034 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗尼 8 2003 演员理论的可组合语义模型。 Zbl 0934.68058号 卡罗琳·塔尔科特。 8 1998 变量绑定的伪分布律和公理。 Zbl 1105.68077号 田中、美琪;权力，约翰 8 2006 通过线性延续保护信息流。 Zbl 1030.68015号 史蒂夫·兹丹塞维奇;安德鲁·迈尔斯（Andrew C.Myers）。 8 2002 动态分隔控件的静态模拟。 Zbl 1128.68010号 Shan、Chung-chieh 8 2007 用显式替换证明简单类型lambda演算的可靠性和完整性的形式化证明。 Zbl 1041.68016号 Coquand，卡塔琳娜 7 2002 基于区域的内存管理回顾。 Zbl 1075.68563号 托夫特，疯子;拉尔斯·比克达尔;马丁·埃尔斯曼;尼尔斯·哈伦伯格 7 2004 使用带置换的经典一阶项理论的机械化（lambda）微积分。 Zbl 1105.68093号 迈克尔·诺里什 7 2006 勘误表：多态类型赋值和CPS转换。 Zbl 1058.68727号 罗伯特·哈珀;马克·利利布里奇 6 2003 介绍兰丁的“跳跃和标签的概括”。 Zbl 0934.68035号 Hayo Thielecke 6 1998 关于键入分隔的继续符：printf问题的三个新解决方案。 Zbl 1202.68084号 浅井，肯尼奇 6 2009 使用循环程序在累积参数时进行消雾。 Zbl 1075.68013号 贾尼斯·沃格特兰德 6 2004 有限精度计算中舍入误差传播的语义。 Zbl 1105.65052号 马蒂厄·马特尔 6 2006 每个不等式抽象域的两个变量。 Zbl 1232.68030号 埃克塞尔·西蒙;安迪·金 6 2010 比较双筒CPS的控制结构。 Zbl 1029.03017号 Hayo Thielecke 6 2002 在Haskell中使用嵌套类型进行编程的一种原则性方法。 Zbl 1183.68141号 帕特里夏·约翰;尼尔·加尼 6 2010 一种可编程编辑器，用于开发基于双向转换的结构化文档。 兹比尔1194.68096 胡镇江;穆申成;Masato Takeichi 5 2008 继续回顾。 Zbl 0951.68077号 克里斯托弗·沃兹沃思。 5 2000 在线和离线部分评估的混合方法。 Zbl 0994.68037号 埃希罗·苏米;直纪小林 5 2001 从句法理论到解释器：自动证明唯一分解。 Zbl 1051.68101号 肖勇;阿穆尔·萨布里;泽纳·M·阿里奥拉。 5 2001 通过归纳法证明Moessner定理。 Zbl 1256.68120号 M.尼基。;J.J.M.M.鲁顿。 5 2011 直接反射元编程。 兹比尔1183.68164 阿伦·斯塔姆 5 2010 改进懒惰的克里文机器。 兹比尔1130.68055 丹尼尔·弗里德曼（Daniel P.Friedman）。;阿卜杜勒·阿齐兹·古卢姆;杰里米·西克。;奥妮·林恩·温伯格 5 2007 一种新的带约束的函数逻辑程序设计通用方案。 Zbl 1115.68048号 路易斯·弗拉瓜，弗朗西斯科·J。;马里奥·罗德里格斯·阿塔列霍;拉斐尔·德尔瓦多·维塞达 5 2007 通过Jones优化逻辑程序专业化实现高效灵活的访问控制。 Zbl 1189.68043号 史蒂夫·巴克;Michael Leuschel先生;毛里西奥·瓦雷亚 4 2008 基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号 克劳迪奥·奥乔亚;乔塞普·席尔瓦;德国维达尔 4 2008 一个难以遵循的行为。 Zbl 0951.01025号 C.A.R.霍尔。 4 2000 操作语义的形式基础。 Zbl 1074.68033号 乔纳森·福特;伊恩·梅森。 4 2003 直接风格的\（\pi\）-演算。 Zbl 0934.68037号 杰拉德·布多尔 4 1998 限定延续的类型理论基础。 Zbl 1213.68187号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 4 2009 基于时序逻辑的编译器优化正确性。 兹比尔1075.68015 戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森 4 2004 Java字节码本地化分析的魔法集。 Zbl 1244.68052号 福斯托·斯波托;帕耶特，Étienne 4 2010 使“严格性”更具相关性。 Zbl 1232.68026号 斯特凡·霍尔德曼;尤里安·黑格 4 2010 具有基于判别的联接和符号笛卡尔乘积的通用多集编程。 Zbl 1232.68028号 弗里茨·亨利恩;肯·弗里斯·拉森 4 2010 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Shinohara、Ayumi;Kazuya Yaguchi 4 2012 按调用值递归的公理。 Zbl 1030.68012号 长谷川、Masahito;川谷义彦 4 2002 关系的最小自反点。 Zbl 1081.06001号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 4 2005 关于克里文机器的正确性。 Zbl 1130.68060号 米切尔·旺德 4 2007 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 Zbl 1115.68073号 伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 4 2007 一流延续的实施策略。 Zbl 0935.68004号 威廉·克林格。 三 1999 未选中的异常可能比call/cc更强大。 Zbl 0935.68010号 马克·利利布里奇 三 1999 存储的抽象模型。 Zbl 0949.68536号 罗伯特·坦南特。;Dan R.吉卡。 三 2000 第二个Futamura投影用于类型定向部分求值。 Zbl 0994.68042号 伯恩德·格罗鲍尔;杨哲 三 2001 纯lambda演算的线性时间自解释。 Zbl 0972.68029号 托本·莫根森。 三 2000 CPS变换的收缩方法。 Zbl 0934.68032号 雅科夫·库坎 三 1998 多次数据遍历累加函数的多项式时间反演计算。 Zbl 1360.68366号 松田和川;稻田，Kazuhiro;中野圭介 三 2012 演员系统规范图。 Zbl 1020.68051号 斯科特·史密斯。;卡罗琳·塔尔科特。 三 2002 通过静态增量化进行动态编程。 Zbl 1038.68024号 刘燕红A。;斯科特·斯托勒。 三 2003 使用APTS从正式需求规范中综合程序。 Zbl 1038.68080号 伊丽莎白·伦纳德。;康斯坦斯·海特迈尔。 三 2003 程序分析的逻辑近似。 Zbl 1256.68045号 罗伯特·西蒙斯。;弗兰克·芬宁 三 2011 正在修复letrec公司：Scheme递归绑定构造的忠实而高效的实现。 Zbl 1086.68524号 奥斯卡·沃德尔;迪潘维塔·萨卡尔;Dybvig，R.肯特 三 2005 在按调用值函数语言中编译扩展递归。 Zbl 1183.68140号 汤姆·赫肖维茨;泽维尔·勒罗伊;威尔斯，J.B。 三 2009 lambda-calculus表达式的状态转换机器。 Zbl 1130.68040号 戴维·施密特（David A.Schmidt）。 三 2007 CPS层次结构中控制运算符的公理。 Zbl 1128.68009号 Yukiyoshi县Kameyama 三 2007 显式约束应用程序的演算。 Zbl 1115.68094号 霍雷修·西尔斯泰;德国福雷;克洛德·基什内尔 三 2007 通过仪器化解释器专业化进行必要的程序转换。 Zbl 1176.68103号 瑟伦·德博伊斯 2 2008 多态类型与子类型的最佳表示。 Zbl 0941.68076号 亚历山大·艾肯;爱德华·L·威默斯。;延斯·帕尔斯伯格 2 1999 通过提高效率：引言。 Zbl 0972.68020号 刘燕红A。 2 2000 更高阶取消货币化。 Zbl 0972.68037号 约翰·汉南;帕特里克·希克斯 2 2000 多态环境演算及其类型引用算法。 Zbl 0972.68030号 西崎新亚 2 2000 通过解释器专门化进行静态和动态程序编译。 Zbl 0969.68581号 斯科特·蒂鲍特;查尔斯·康塞尔;朱莉娅·劳尔。;雷诺·马莱;吉尔斯·穆勒 2 2000 自动生成分段几何谓词。 Zbl 1059.68147号 阿列克桑达尔·纳内夫斯基;布莱洛克，盖伊;罗伯特·哈珀 2 2003 通过转换为lambda-I-微积分，从弱归一化得到强归一化。 Zbl 1074.68010号 Görtz，Inge Li;罗伊斯，西尼;莫滕·海因·瑟伦森 2 2003 去掉标签。 Zbl 1211.68053号 P.J.兰丁。 2 2009 功能逻辑程序的成本加成部分评估。 Zbl 1075.68010号 德国维达尔 2 2004 通过输出约束专门化进行程序调整。 兹比尔1075.68012 邱小成;施坤 2 2004 用初始代数方法处理带有可变绑定器的项重写系统。 兹比尔1105.68055 马科托·哈马纳 2 2006 小工具的精益规范：具有一流等式证明的系统F。 Zbl 1232.68029号 阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨 2 2010 契约与懒惰的相互作用。 Zbl 1360.68325号 德根，马库斯;彼得·蒂曼;斯特凡·韦尔 2 2012 伊甸园中基于图形的通信。 Zbl 1360.68330号 托马斯·霍斯特迈尔;丽塔·勒根 1 2013 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Shinohara、Ayumi;Kazuya Yaguchi 4 2012 多次数据遍历累加函数的多项式时间反演计算。 Zbl 1360.68366号 松田和川;稻田，Kazuhiro;中野圭介 三 2012 契约与懒惰的相互作用。 Zbl 1360.68325号 德根，马库斯;彼得·蒂曼;斯特凡·韦尔 2 2012 为隐式类型函数语言完成变量名的方法。 Zbl 1360.68340号 伊索·萨萨诺;Takumi Goto公司 1 2012 通过归纳法证明Moessner定理。 Zbl 1256.68120号 M.尼基。;J.J.M.M.鲁顿。 5 2011 程序分析的逻辑近似。 Zbl 1256.68045号 罗伯特·西蒙斯。;弗兰克·芬宁 三 2011 改进通用Java的类型错误消息。 Zbl 1256.68026号 纳比勒·布斯塔尼;尤里安·黑格 2 2011 嵌套递归模块的路径解析。 Zbl 1256.68032号 雅克·加里格;中田庆子 1 2011 Continuation通过C，通过Continuation将线程编译为事件。 Zbl 1256.68038号 加布里埃尔·科尼丝;朱利叶斯·克洛博切克 1 2011 具有过程分离的特定类型的阶段式编程。 Zbl 1256.68022号 刘宇大卫;克里斯蒂安·斯卡尔卡;斯科特·史密斯。 1 2011 在惰性函数程序中使用改进序列进行修剪。 Zbl 1256.68033号 岩崎、秀霞;森本武史;高野雅雄 1 2011 节省空间的渐进式打字。 Zbl 1232.68025号 大卫·赫尔曼;阿伦·汤姆;科马克·弗拉纳根 12 2010 每个不等式抽象域的两个变量。 Zbl 1232.68030号 埃克塞尔·西蒙;安迪·金 6 2010 在Haskell中使用嵌套类型进行编程的一种原则性方法。 Zbl 1183.68141号 帕特里夏·约翰;尼尔·加尼 6 2010 直接反射元编程。 兹比尔1183.68164 阿伦·斯塔姆 5 2010 Java字节码本地化分析的魔法集。 Zbl 1244.68052号 福斯托·斯波托;帕耶特，Étienne 4 2010 使“严格性”更具相关性。 Zbl 1232.68026号 斯特凡·霍尔德曼;尤里安·黑格 4 2010 具有基于判别的联接和符号笛卡尔乘积的通用多集编程。 Zbl 1232.68028号 弗里茨·亨利恩;肯·弗里斯·拉森 4 2010 小工具的精益规范：具有一流等式证明的系统F。 Zbl 1232.68029号 阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨 2 2010 Hop的多层语义。 Zbl 1256.68024号 曼纽尔·塞拉诺;克里斯蒂安·奎因内克 2 2010 分布式阵列的更多依赖类型。 Zbl 1256.68025号 沃特，斯维尔斯特拉 2 2010 简约地看待不断扩大的运营商。 Zbl 1183.68200号 戴维·莫尼奥 2 2010 特刊：PEPM 2010，ACM SIGPLAN 2010部分评估和程序操作研讨会，西班牙马德里，2010年1月18日至19日。精选论文。 Zbl 1254.68029号 1 2010 面对变化保持冷静。通过推理变化来优化FRP。 Zbl 1232.68027号 尼尔·斯卡索普;亨利克·尼尔森 1 2010 记忆法：在运行时生成类型安全的字节码。 Zbl 1234.68055号 约翰内斯·鲁道夫;彼得·蒂曼 1 2010 1999/2000年与2007/2008年职能方案拟订趋势的趋势。 Zbl 1256.68028号 彼得·阿奇顿;马克·范·埃克伦;皮特·库普曼;马可·T·莫拉赞。 1 2010 关于键入分隔的继续符：printf问题的三个新解决方案。 Zbl 1202.68084号 浅井，肯尼奇 6 2009 限定延续的类型理论基础。 Zbl 1213.68187号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 4 2009 在按调用值函数语言中编译扩展递归。 Zbl 1183.68140号 汤姆·赫肖维茨;泽维尔·勒罗伊;威尔斯，J.B。 三 2009 去掉标签。 Zbl 1211.68053号 P.J.兰丁。 2 2009 证明会员资格均衡程序的操作终止。 兹比尔1192.68154 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔班 29 2008 在功能框架中嵌套转发模式AD。 Zbl 1175.68104号 杰弗里·马克·西斯金德;巴拉克·A·皮尔默特。 13 2008 关于自动区分工具的实现。 Zbl 1168.65324号 克里斯蒂安·比肖夫。;保罗·D·霍夫兰。;博亚娜·诺里斯 9 2008 使功能程序适应高阶逻辑。 兹比尔1175.68103 斯科特·欧文斯;康拉德·斯林德 8 2008 一种可编程编辑器，用于开发基于双向转换的结构化文档。 兹比尔1194.68096 胡镇江;穆申成;Masato Takeichi 5 2008 通过Jones优化逻辑程序专业化实现高效灵活的访问控制。 Zbl 1189.68043号 史蒂夫·巴克;Michael Leuschel先生;毛里西奥·瓦雷亚 4 2008 基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号 克劳迪奥·奥乔亚;乔塞普·席尔瓦;德国维达尔 4 2008 通过仪器化解释器专业化进行必要的程序转换。 Zbl 1176.68103号 瑟伦·德博伊斯 2 2008 对象方向的类型和跟踪效果。 Zbl 1175.68098号 克里斯蒂安·斯卡尔卡 1 2008 关于Jones最优性和BTI通用特殊化的研究。 Zbl 1188.68112号 罗伯特·格莱克 1 2008 流敏感型系统和环境演算。 Zbl 1175.68268号 阿姆托夫特，托本 1 2008 通过基础良好的注释完全正确地进行逻辑程序转换。 Zbl 1194.68095号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2008 使用窄化的符号可达性分析及其在密码协议验证中的应用。 Zbl 1115.68079号 何塞·梅塞盖尔;普拉桑纳·塔蒂 39 2007 一台叫lambda-calculus的机器。 Zbl 1130.68057号 Jean-Louis Krivine 27 2007 实时淡紫色的语义和语用。 Zbl 1115.68095号 彼得·塞巴·奥维茨基;何塞·梅塞盖尔 26 2007 强烈减少Krivine抽象机的变体。 兹比尔1130.68052 皮埃尔·克雷古特 10 2007 流产延续的证明理论基础。 Zbl 1128.68089号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 10 2007 动态分隔控件的静态模拟。 Zbl 1128.68010号 Shan、Chung-chieh 8 2007 改进懒惰的克里文机器。 兹比尔1130.68055 丹尼尔·弗里德曼（Daniel P.Friedman）。;阿卜杜勒·阿齐兹·古卢姆;杰里米·西克。;奥妮·林恩·温伯格 5 2007 一种新的带约束的函数逻辑程序设计通用方案。 Zbl 1115.68048号 路易斯·弗拉瓜，弗朗西斯科·J。;马里奥·罗德里格斯·阿塔列霍;拉斐尔·德尔瓦多·维塞达 5 2007 关于克里文机器的正确性。 Zbl 1130.68060号 米切尔·旺德 4 2007 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 Zbl 1115.68073号 伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 4 2007 lambda-calculus表达式的状态转换机器。 Zbl 1130.68040号 戴维·施密特（David A.Schmidt）。 三 2007 CPS层次结构中控制运算符的公理。 Zbl 1128.68009号 Yukiyoshi县Kameyama 三 2007 显式约束应用程序的演算。 Zbl 1115.68094号 霍雷修·西尔斯泰;德国福雷;克洛德·基什内尔 三 2007 重新访问状态转换机器。 Zbl 1129.68411号 戴维·施密特（David A.Schmidt）。 2 2007 PLT方案web服务器的实现和使用。 Zbl 1129.68330号 克里希纳穆提，施莱姆;霍普金斯，彼得·沃尔顿;杰·麦卡锡;Paul T.Graunke。;格雷格·佩蒂约翰;马提亚斯·费莱森 1 2007 八角形抽象域。 Zbl 1105.68069号 安托万·米内 123 2006 按值调用：分解按值调用和按名称调用。 Zbl 1112.68025号 保罗·布莱恩·利维 28 2006 关于置换代数、（前）层和命名集。 Zbl 1105.68083号 法比奥·加杜奇;马里诺·米库兰;乌戈州蒙塔纳里 23 2006 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼;塔尔莫乌斯塔卢;马科托·哈马纳 10 2006 变量绑定的伪分布律和公理。 Zbl 1105.68077号 田中、美琪;权力，约翰 8 2006 使用带置换的经典一阶项理论的机械化（lambda）微积分。 Zbl 1105.68093号 迈克尔·诺里什 7 2006 有限精度计算中舍入误差传播的语义。 Zbl 1105.65052号 马蒂厄·马特尔 6 2006 用初始代数方法处理带有可变绑定器的项重写系统。 兹比尔1105.68055 马科托·哈马纳 2 2006 多形型非功能化和具体化。 Zbl 1105.68018号 弗朗索瓦·波蒂埃;Nadji Gauthier 1 2006 逻辑框架中的正式编译器构造。 Zbl 1105.68020号 杰森·希基;阿列克西·诺金 1 2006 关系的最小自反点。 Zbl 1081.06001号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 4 2005 正在修复letrec公司：Scheme递归绑定构造的忠实而高效的实现。 Zbl 1086.68524号 奥斯卡·沃德尔;迪潘维塔·萨卡尔;Dybvig，R.肯特 三 2005 Curry不动点组合子的变分扩展。 Zbl 1083.68015号 梅耶·戈德伯格 1 2005 改进别名分析算法的变换推导。 Zbl 1084.68016号 戈亚尔、迪帕克 1 2005 基于区域的内存管理回顾。 Zbl 1075.68563号 托夫特，疯子;拉尔斯·比克达尔;马丁·埃尔斯曼;尼尔斯·哈伦伯格 7 2004 使用循环程序在累积参数时进行消雾。 Zbl 1075.68013号 贾尼斯·沃格特兰德 6 2004 基于时序逻辑的编译器优化正确性。 兹比尔1075.68015 戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森 4 2004 功能逻辑程序的成本加成部分评估。 Zbl 1075.68010号 德国维达尔 2 2004 通过输出约束专门化进行程序调整。 兹比尔1075.68012 邱小成;施坤 2 2004 程序切片的非标准语义。 兹比尔1074.68034 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗尼 8 2003 勘误表：多态类型赋值和CPS转换。 Zbl 1058.68727号 罗伯特·哈珀;马克·利利布里奇 6 2003 操作语义的形式基础。 Zbl 1074.68033号 乔纳森·福特;伊恩·梅森。 4 2003 通过静态增量化进行动态编程。 Zbl 1038.68024号 刘燕红A。;斯科特·斯托勒。 三 2003 使用APTS从正式需求规范中综合程序。 Zbl 1038.68080号 伊丽莎白·伦纳德。;康斯坦斯·海特迈尔。 三 2003 自动生成分段几何谓词。 Zbl 1059.68147号 阿列克桑达尔·纳内夫斯基;布莱洛克，盖伊;罗伯特·哈珀 2 2003 通过转换为lambda-I-微积分，从弱归一化得到强归一化。 Zbl 1074.68010号 Görtz，Inge Li;罗伊斯，西尼;莫滕·海因·瑟伦森 2 2003 逻辑程序的路径相关分析。 Zbl 1074.68009号 卢伦金 1 2003 比较并行函数语言：编程和性能。 Zbl 1074.68541号 H.-W.罗伊德。;F.鲁比奥。;斯凯夫，N。;哈蒙德，K。;Horiguchi，S。;美国克鲁西克。;罗根。;迈克尔森，G.J。;佩尼亚，R。;普里贝，S。;阿拉巴马州雷邦。J。;特林德，P.W。 1 2003 计算分差和分差算法。 Zbl 1040.68148号 代表，Thomas W。;路易·B·拉尔。 1 2003 程序终止验证的依赖类型。 Zbl 1041.68059号 席宏伟 11 2002 捷径融合的推广及其正确性证明。 Zbl 1020.68022号 帕特里夏·约翰 9 2002 线性连续通过。 Zbl 1030.68011号 乔什·伯丁;O＆rsquo的；彼得·赫恩;乌代·雷迪;Hayo Thielecke 9 2002 通过线性延续保护信息流。 Zbl 1030.68015号 史蒂夫·兹丹塞维奇;安德鲁·迈尔斯（Andrew C.Myers）。 8 2002 用显式替换证明简单类型lambda演算的可靠性和完整性的形式化证明。 Zbl 1041.68016号 Coquand，卡塔琳娜 7 2002 比较双筒CPS的控制结构。 Zbl 1029.03017号 Hayo Thielecke 6 2002 按调用值递归的公理。 Zbl 1030.68012号 长谷川、Masahito;川谷义彦 4 2002 演员系统规范图。 Zbl 1020.68051号 斯科特·史密斯。;卡罗琳·塔尔科特。 三 2002 使用本地CPS转换优化嵌套循环。 Zbl 1030.68019号 约翰·雷皮 2 2002 功能几何。 Zbl 1021.68023号 彼得·亨德森 1 2002 顺序程序中安全信息流的每种模型。 Zbl 0967.68039号 安德烈·萨贝尔菲尔德;大卫·桑兹 15 2001 计算机程序的功能区分。 Zbl 0967.68174号 Jerzy Karczmarczuk 10 2001 正在计算大小类型。 Zbl 0994.68015号 魏恩根·钦;邱小成 8 2001 …还有38个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1056位作者引用 40 何塞·梅塞盖尔·瓜伊塔 23 圣地亚哥埃斯科瓦尔 18 奥利维尔·丹维 16 萨尔瓦多卢卡斯 14 卡罗琳·塔尔科特。 12 克里希南·苏布拉马尼 11 玛丽亚·阿尔普特 11 弗朗西斯科·杜兰 10 泽纳·M·阿里奥拉。 10 马丁·奥列特，纳西索 10 Peter Csaba，Olveczky 9 尼尔·加尼 9 安迪·金 9 Wojciechowski，Piotr J。 8 文森佐·西安西亚 8 安托万·米内 8 乌戈·蒙塔纳里。 8 Janis Voigtlander公司 7 吉尔·巴特 7 帕特里夏·约翰 6 黛米斯·巴利斯 6 Dariusz Biernacki 6 保罗·唐恩 6 伊莎贝拉·马斯特罗尼 6 马蒂奥·桑马蒂诺 6 朱莉娅·萨皮娜 6 Shan、Chung-chieh 6 埃琳娜·祖卡 5 吉安卢卡·阿马托 5 浅井，肯尼奇 5 马·戈扎塔·比尔纳卡 5 弗雷德里克·布兰基 5 雨果·赫贝林 5 奥列格·基塞利约夫 5 Lasse R.尼尔森。 5 弗雷德里克·诺德瓦尔·福斯伯格 5 碧姬·品特卡 5 戴维·施密特（David A.Schmidt）。 5 赫尔穆特·塞德尔 5 彼得·蒂曼。 5 城市，基督教 5 塔尔莫乌斯塔卢 5 德国维达尔 4 贝尼亚米·阿卡托利 4 艾尔维拉·阿尔伯特 4 罗伯托·布鲁尼 4 阿戈斯蒂诺·科尔特斯 4 帕特里克·库索特 4 乌戈·达尔拉戈 4 拉斐尔·德尔瓦多·维塞达 4 史蒂文·艾克 4 马提亚斯·费莱森 4 皮埃特罗·费拉拉 4 保拉·吉安尼尼 4 罗伯特·格莱克 4 约翰·哈特克利夫 4 安德雷·赫肖维茨 4 格雷厄姆·赫顿 4 何塞·伊波拉 4 保罗·布莱恩·利维 4 马可·马格西 4 马蒂厄·马特尔 4 凯瑟琳·梅多斯。 4 凯文·米利金 4 费德里科·奥尔萨尼戈 4 米盖尔·帕洛米诺 4 巴拉克·A·皮尔默特。 4 卡米洛·罗查 4 格里高·罗什乌 4 阿穆尔·萨布里 4 弗朗西丝卡·斯科扎里 4 埃克塞尔·西蒙 4 Sørensen，Morten Heine B。 4 菲利普·李·沃德勒 4 埃纳州扎法内拉 三 路易斯·安东尼奥·阿吉雷 三 阿伦斯，贝内迪克特 三 阿姆托夫特，托本 三 大卫·安科纳 三 文森佐·阿塞里 三 Jörg Brauer 三 安东尼奥·布恰雷利 三 陈丽倩 三 塞巴斯蒂安·达尼西奇 三 托马斯·埃尔哈德 三 莫雷诺，法拉斯基 三 丹尼尔·弗里德曼（Daniel P.Friedman）。 三 藤田，健毅 三 格雷姆·恒河 三 朱利奥·格雷里 三 劳尔·古铁雷斯 三 马科托·哈马纳 三 马克·哈曼 三 雅各布·M·豪。 三 伊利克、丹科 三 拉杜·奥西夫 三 杰·巴里 三 Yukiyoshi县Kameyama 三 迪莉娅·凯斯纳 三 安布罗斯·拉丰 …还有956名作者 全部的 前5名70种期刊被引用 74 理论计算机科学 52 高阶和符号计算 48 函数编程杂志 26 程序设计中的逻辑和代数方法杂志 25 信息与计算 19 MSCS公司。计算机科学中的数学结构 16 自动推理杂志 16 系统设计中的形式化方法 16 计算机科学中的逻辑方法 15 逻辑程序设计理论与实践 13 计算机程序设计科学 12 信息处理信件 12 逻辑与代数程序设计杂志 12 计算机语言、系统和结构 11 计算的形式方面 9 符号计算杂志 7 信息学报 6 新一代计算 4 纯逻辑与应用逻辑年鉴 4 算法 4 RAIRO公司。理论信息学及其应用 4 计算机基础理论 三 计算机与系统科学杂志 三 范畴的理论与应用 三 优化方法和软件 2 人工智能 2 ACM数学软件汇刊 2 数值算法 2 工程、通信和计算中的应用代数 2 逻辑、语言与信息杂志 2 应用的分类结构 2 数学与人工智能年鉴 2 组合优化期刊 1 计算机与数学及其应用 1 离散应用数学 1 比特币 1 国际工程数值方法杂志 1 计算与应用数学杂志 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 编程和计算机软件 1 SIAM计算机杂志 1 软件。实践与经验 1 Studia Logica公司 1 订单 1 计算机科学与技术杂志 1 离散和计算几何 1 计算力学 1 实时系统 1 控制论与系统分析 1 数学科学杂志（纽约） 1 符号逻辑公报 1 约束条件 1 美国计算机学会期刊 1 并行与计算：实践与经验 1 应用数学中的计算方法 1 机器学习研究杂志（JMLR） 1 萨达纳 1 ACM计算逻辑事务 1 计算智能 1 离散优化 1 理论计算机科学电子笔记 1 计算机科学中的数学 1 电子统计学杂志 1 算法 1 RAIRO公司。理论信息学及其应用 1 可计算性 1 贝叶斯分析 1 欧洲应用和工业数学系列（ESAIM）：论文集和调查 全部的 前5名31个字段中引用 688 计算机科学（68至XX） 166 数学逻辑和基础（03-XX） 32 范畴理论；同调代数（18-XX） 28 数值分析（65-XX） 22 运筹学、数学规划（90-XX） 12 信息与通信理论、电路（94-XX） 8 阶、格、有序代数结构（06-XX） 4 历史和传记（01-XX） 三 数论（11-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 凸和离散几何（52-XX） 三 统计学（62-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 2 偏微分方程（35-XX） 2 概率论与随机过程（60-XX） 2 系统理论；控制（93至XX） 1 总体主题；集合（00-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 结合环与代数（16-XX） 1 实际功能（26年X月X日） 1 特殊功能（33至XX） 1 常微分方程（34-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 几何图形（51至XX） 1 粒子和系统力学（70-XX） 1 可变形固体力学（74-XX） 1 量子理论（81-XX） 按年份列出的引文