弗莱明·尼尔森;尼尔森、汉内·里斯;张福源 用于静态分析和模型检查的多值逻辑。 (英语) Zbl 1519.68060号 Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。11200, 89-109 (2019).MSC公司:68号30 03B50号 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。11200,89-109(2019;Zbl 1519.68060) 全文: 内政部
弗莱明·尼尔森;汉内·里斯·尼尔森 形式化方法。开胃菜。 (英语) Zbl 1474.68003号 查姆:施普林格(ISBN 978-3-030-05155-6/hbk;978-3-0.30-05156-3/电子书)。十七、160页。(2019).MSC公司:68-01 68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}和\textit{H.Riis-Nielson},形式方法。开胃菜。查姆:施普林格(2019;Zbl 1474.68003) 全文: 内政部
米德加德,一月;弗莱明·尼尔森;尼尔森、汉内·里斯 同步进程的进程局部静态分析。 (英语) Zbl 1511.68184号 安德烈亚斯·波德尔斯基(编辑),《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11002, 284-305 (2018).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Midtgaard}等人,Lect。注释计算。科学。11002,284--305(2018;Zbl 1511.68184) 全文: 内政部
Vasilikos,泛神经炎;弗莱明·尼尔森;尼尔森、汉内·里斯 基于时间相关策略的访问控制。 (英语) Zbl 1515.68214号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第21条,第18页(2017年)。MSC公司:第68季度85 03B44号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Vasilikos}等人,LIPIcs——莱布尼茨国际程序。通知。90,第21条,第18页(2017;Zbl 1515.68214) 全文: 内政部
扎鲁希·阿斯兰扬;弗莱明·尼尔森 模型检查攻击场景的确切成本。 (英语) Zbl 1444.68102号 Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 210-231 (2017).MSC公司:第68季度第60季度 03B44号 68平方米25 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.阿斯兰扬}和\textit{F.尼尔森},莱克特。注释计算。科学。10204、210--231(2017;Zbl 1444.68102) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 与内容相关的信息流控制。 (英语) 兹比尔1359.68050 J.日志。代数。方法计划。 87, 6-32 (2017).MSC公司:68号30 03B70号 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}和\textit{F.Nielson},J.Log。代数。方法计划。87、6--32(2017年;Zbl 1359.68050) 全文: 内政部
米德加德,一月;弗莱明·尼尔森;尼尔森、汉内·里斯 格值正则表达式的参数抽象域。 (英语) Zbl 1394.68080号 对手,Xavier(编辑),静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53412-0/pbk;978-3-562-53413-7/电子书)。计算机科学讲座笔记9837,338-360(2016)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Midtgaard}等人,Lect。注释计算。科学。9837、338--360(2016;Zbl 1394.68080) 全文: 内政部 链接
卢赫·拉富恩特,阿尔贝托;弗莱明·尼尔森;尼尔森、汉内·里斯 面向交互的规范的自由裁量信息流控制。 (英语) Zbl 1321.68349号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,427-450(2015)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch Lafuente}等人,Lect。注释计算。科学。9200、427--450(2015年;Zbl 1321.68349) 全文: 内政部 链接
弗莱明·尼尔森;尼尔森、汉内·里斯;曾可斌 随机质量演算的随机模型检验。 (英语) Zbl 1454.68079号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·维尔辛(Martin Wirsing)在2015年从编程和软件工程主席退休之际发表的论文,德国慕尼黑。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 522-537 (2015).MSC公司:第68季度85 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。8950522--537(2015;Zbl 1454.68079) 全文: 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森 使用Horn子句的有限状态过程代数的可达性。 (英语) Zbl 1295.68169号 发现的国际期刊。计算。科学。 24,第2期,283-302(2013). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:第68季度85 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}和\textit{F.Nielson},国际期刊发现。计算。科学。24,第2号,283--302(2013;Zbl 1295.68169) 全文: 内政部
宋磊;张丽君;Jens Chr.Godskesen。;弗莱明·尼尔森 互模拟满足概率自动机的PCTL等价性。 (英语) Zbl 1264.03087号 日志。计算方法。科学。 9,第2号,第7号文件,第34页(2013年).MSC公司:03B70号 65年第68季度 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Song}等人,日志。计算方法。科学。9,第2号,第7号论文,34页(2013;Zbl 1264.03087) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森;亨利克·皮利加德 流程计算的流程逻辑。 (英语) Zbl 1293.68192号 ACM计算。Surv公司。 44,第1号,第3号论文,39页(2012).MSC公司:第68季度第60季度 03B70号 68号30 第68季度85 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}等人,ACM计算。Surv公司。44,第1号,第3号论文,39页(2012;Zbl 1293.68192) 全文: 内政部
张丽君;大卫·詹森(David N.Jansen)。;弗莱明·尼尔森;霍尔格·赫尔曼斯 使用分层进行有效的CSL模型检查。 (英语) Zbl 1348.68152号 日志。计算方法。科学。 8,第2号,第17号论文,第18页(2012年).MSC公司:第68季度第60季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Log。计算方法。科学。8,第2号,第17号论文,18页(2012;Zbl 1348.68152) 全文: 内政部
弗莱明·尼尔森;塞巴斯蒂安·南兹;尼尔森、汉内·里斯 并发行为的模式抽象。 (英语) Zbl 1351.68185号 ACM事务处理。计算。日志。 第12号第3条第18条第40页(2011年).MSC公司:第68季度85 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,ACM Trans。计算。日志。12,第3号,第18条,40页(2011年;Zbl 1351.68185) 全文: 内政部
高,韩;弗莱明·尼尔森;尼尔森、汉内·里斯 CaPiTo公司:服务的协议堆栈。 (英语) Zbl 1226.68029号 正式Asp。计算。 23,第4期,541-565(2011).MSC公司:68号30 第68季度85 第68季度第60季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,正式Asp。计算。23,第4号,541--565(2011;Zbl 1226.68029) 全文: 内政部
张丽君;大卫·詹森(David N.Jansen)。;弗莱明·尼尔森;霍尔格·赫尔曼斯 基于CSL模型的自动检查。 (英语) Zbl 1334.68135号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756271-282(2011)。MSC公司:第68季度第60季度 03B44号 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Lect。注释计算。科学。6756271--282(2011年;Zbl 1334.68135) 全文: 内政部
德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 第68季度第60季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 模型检查是模态逻辑的静态分析。 (英语) 兹比尔1284.03210 Ong,Luke(编辑),《软件科学和计算结构基础》。2010年3月20日至28日,第13届国际会议FOSSACS 2010,作为欧洲软件理论与实践联合会议ETAPS 2010的一部分,在塞浦路斯帕福斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12031-2/pbk)。计算机科学课堂讲稿6014191-205(2010)。MSC公司:03B70号 03B45号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,莱克特。注释计算。科学。6014191-205(2010年;Zbl 1284.03210) 全文: 内政部
张,叶;弗莱明·尼尔森 使用统一的可缩放包含约束求解器。 (英语) Zbl 1179.68042号 安迪·金(编辑),基于逻辑的程序合成和转换。2007年8月23日至24日,第17届国际研讨会,LOPSTR,丹麦康根斯·林比。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-78768-6/pbk)。计算机科学课堂讲稿4915,121-137(2008)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{F.Nielson},Lect。注释计算。科学。4915、121--137(2008年;Zbl 1179.68042) 全文: 内政部
塞巴斯蒂安·南兹;弗莱明·尼尔森;汉内·里斯·尼尔森 并发行为的模式抽象。 (英语) Zbl 1149.68407号 Alpunte,María(编辑)等人,《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69163-1/pbk)。计算机科学课堂讲稿5079159-173(2008)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Nanz}等人,Lect。注释计算。科学。5079159--173(2008年;Zbl 1149.68407) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 安全和安保约束的启发式。 (英语) Zbl 1277.68250号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172523-543(2007)。MSC公司:68T20型 第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,电子。注释Theor。计算。科学。172523--543(2007年;Zbl 1277.68250) 全文: 内政部
塞巴斯蒂安·南兹;弗莱明·尼尔森;尼尔森、汉内·里斯 广播网络的拓扑相关抽象。 (英语) Zbl 1151.68322号 Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703,226-240(2007)。MSC公司:68米10 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Nanz}等人,Lect。注释计算。科学。4703226--240(2007年;Zbl 1151.68322) 全文: 内政部 链接
尼尔森、汉内·里斯;弗莱明·尼尔森 CCS数据流分析。 (英语) Zbl 1149.68361号 Reps,Thomas(编辑)等人,《程序分析与编译,理论与实践》。在莱因哈德·威廉60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-71315-9/pbk)。计算机科学课堂讲稿4444311-327(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,莱克特。注释计算。科学。4444311--327(2007年;Zbl 1149.68361) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 控制流分析的类型。 (英语) Zbl 1149.68360号 Reps,Thomas(编辑)等人,《程序分析与编译,理论与实践》。在莱因哈德·威廉60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-71315-9/pbk)。计算机科学课堂讲稿4444293-310(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,莱克特。注释计算。科学。4444、293--310(2007年;Zbl 1149.68360) 全文: 内政部
博迪,恰拉;米歇尔·柯蒂;皮耶保罗·德加诺;Mikael Buchholtz公司;弗莱明·尼尔森;尼尔森、汉内·里斯;科拉多·普里亚米 LySa中规定的安全协议的性能评估。 (英语) Zbl 1272.68225号 Cerone,A.(ed.)等人,《编程语言定量方面第二次研讨会论文集》(QAPL 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记112167-189(2005)。MSC公司:第68季度第60季度 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,《电子》。注释Theor。计算。科学。112167--189(2005年;Zbl 1272.68225) 全文: 链接
弗莱明·尼尔森;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨;汉森、雷内·里多夫;亨利克·皮利加德;赫尔穆特·塞德尔 简洁的求解器套件。 (英语) Zbl 1126.68354号 Jensen,Kurt(ed.)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988251-265(2004)。MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。2988251--265(2004年;Zbl 1126.68354) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 自动复杂性分析。 (英语) Zbl 1077.68610号 Le Métayer,Daniel(编辑),《编程语言和系统》。2002年4月8日至12日,在法国格勒诺布尔举行的第11届欧洲编程研讨会,ESOP 2002,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43363-5)。莱克特。注释计算。科学。2305, 243-261 (2002).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。2305243--261(2002年;Zbl 1077.68610) 全文: 链接
尼尔森、汉内·里斯;弗莱明·尼尔森 流逻辑:静态分析的多仿生方法。 (英语) Zbl 1026.68029号 托本·莫根森。(ed.)等人,《计算的本质》。复杂性、分析、转换。献给尼尔·D·琼斯的文章。柏林:斯普林格。莱克特。注释计算。科学。2566, 223-244 (2002).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,莱克特。注释计算。科学。2566223--244(2002年;Zbl 1026.68029) 全文: 链接
弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 可规范化的Horn子句、强可识别的关系和Spi。 (英语) Zbl 1015.68042号 Hermenegildo,Manuel V.(编辑)等,《静态分析》。2002年9月17日至20日,西班牙马德里,2002年SAS第9届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2477, 20-35 (2002).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。2477,20--35(2002;Zbl 1015.68042) 全文: 链接
博迪,恰拉;皮耶保罗·德加诺;弗莱明·尼尔森;尼尔森、汉内·里斯 带安全应用程序的\(\pi\)演算的静态分析。 (英语) Zbl 1007.68118号 Inf.计算。 168,第1号,68-92(2001).MSC公司:第68季度第60季度 68第25页 第68季度85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Inf.计算。168,第1号,68--92(2001;Zbl 1007.68118) 全文: 内政部 链接
F.尼尔森。;Riis Nielson,H。;萨吉夫,M。 克莱恩的逻辑与平等。 (英语) Zbl 1032.68100号 信息处理。莱特。 80,第3期,131-137(2001).MSC公司:68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,《Inf.过程》。莱特。80,第3号,131--137(2001;Zbl 1032.68100) 全文: 内政部
弗莱明·尼尔森;赫尔穆特·塞德尔 立方时间内的控制流分析。 (英语) 兹比尔0977.68520 David Sands(编辑),《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会(ESOP 2001),是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第2028252-268页(2001年)。MSC公司:68号30 第68季度第60季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.塞德尔},莱克特。注释计算。科学。2028年,252--268(2001年;Zbl 0977.68520) 全文: 链接
尼尔森、汉内·里斯;弗莱明·尼尔森 移动环境的形状分析。 (英语) Zbl 1323.68414号 2000年1月19日至21日,美国马萨诸塞州波士顿,POPL'00,第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-125-9)。142-154 (2000).MSC公司:第68季度85 68甲18 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}和\textit{F.Nielson},摘自:第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'00,美国马萨诸塞州波士顿,2000年1月19-21日。纽约州纽约市:计算机协会(ACM)。142--154(2000年;Zbl 1323.68414) 全文: 内政部
弗莱明·尼尔森 面向语义的程序分析:工具制造商的观点。 (英语) Zbl 1482.68092号 Cousot,Radhia(编辑)等人,《静态分析》。1996年9月24日至26日,第三届国际研讨会,SAS’96,德国亚琛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1145, 2-21 (1996).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森},莱克特。注释计算。科学。1145,2--21(1996年;Zbl 1482.68092) 全文: 内政部
弗莱明·尼尔森 LOMAPS公司。程序和系统分析中的逻辑和操作方法。 (英语) Zbl 1030.68561号 牛市。EATCS公司 58, 77-88 (1996).MSC公司:68问题55 第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \发短信{F.尼尔森},公牛。EATCS 58、77--88(1996年;Zbl 1030.68561)
尼尔森、汉内·里斯;弗莱明·尼尔森 高阶并发语言的静态和动态处理器分配。 (英语) Zbl 1496.68113号 Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。第六届CAAP/FASE国际联席会议,1995年5月,丹麦奥胡斯。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 590-604 (1995).MSC公司:68号30 68甲15 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,莱克特。注释计算。科学。915590--604(1995年;Zbl 1496.68113) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 Wadler列表分析中的张量积。 (英语) Zbl 0810.68092号 科学。计算。程序。 22,第3期,327-354(1994).MSC公司:68问题55 68问题65 68甲15 06B35号 68第05页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,科学。计算。程序。22,第3号,327--354(1994;Zbl 0810.68092) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 在实现高阶函数时使用变换。 (英语) Zbl 0941.68543号 J.功能。程序。 1,第4期,459-494(1991).MSC公司:68甲18 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和textit{F.尼尔森,J.芬克。程序。1,第4号,459--494(1991;Zbl 0941.68543) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 Eureka免费定义!折叠/展开变换的分歧点。 (英语) Zbl 0765.68136号 90年员工持股计划,程序。欧洲第三交响曲。,哥本哈根/丹麦,1990年,Lect。注释计算。科学。432, 291-305 (1990).MSC公司:第68季度第60季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,莱克特。注释计算。科学。432291--305(1990年;Zbl 0765.68136)
弗莱明·尼尔森 两级语义和抽象解释。 (英语) Zbl 0696.68093号 西奥。计算。科学。 69,第2期,117-242(1989). 审核人:N.Curteanu公司 MSC公司:68问题55 第68季度第60季度 68N99型 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.尼尔森},Theor。计算。科学。69,No.2,117--242(1989;Zbl 0696.68093) 全文: 内政部
尼尔森(Hanne R.Nielson)。;弗莱明·尼尔森 类型化演算的自动绑定时间分析。 (英语) Zbl 0653.03008号 科学。计算。程序。 10,第2期,139-176(1988). 审核人:J.兹拉图斯卡 MSC公司:03B40型 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,科学。计算。程序。10,第2号,139--176(1988;Zbl 0653.03008) 全文: 内政部
弗莱明·尼尔森 严格分析和指称抽象解释。 (英语) Zbl 0636.68018号 Inf.计算。 76,第1号,29-92(1988). 审核人:F.尼尔森 MSC公司:第68季度第60季度 68问题65 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森},Inf.计算。76,编号1,29--92(1988;Zbl 0636.68018) 全文: 内政部
弗莱明·尼尔森 从两级元语言生成代码的正确性。 (英语) Zbl 0589.68012号 编程,程序。欧洲交响乐团。,Saarbrücken/FRG 1986,Lect。注释计算。科学。213, 30-40 (1986).MSC公司:第68季度第60季度 18B99型 PDF格式BibTeX公司 XML格式
弗莱明·尼尔森 指称定义的抽象解释。(调查)。 (英语) 兹比尔0589.68008 计算机科学的理论方面,第三年。交响乐团。,奥赛/法国1986年,Lect。注释计算。科学。210, 1-20 (1986).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式
弗莱明·尼尔森 数据流分析的预期形式。 (英语) Zbl 0585.68040号 程序作为数据对象。研讨会,哥本哈根/丹麦。1985年,Lect。注释计算。科学。217, 172-191 (1986).MSC公司:68N25号 68号01 PDF格式BibTeX公司 XML格式
弗莱明·尼尔森;尼尔森(Hanne R.Nielson)。 从两级指称元语言生成代码。 (英语) Zbl 0585.68012号 程序作为数据对象。研讨会,哥本哈根/丹麦。1985年,Lect。注释计算。科学。217, 192-205 (1986).MSC公司:68号01 PDF格式BibTeX公司 XML格式
弗莱明·尼尔森 指代设置中的程序转换。 (英语) Zbl 0566.68013号 ACM事务处理。程序。语言系统。 7, 359-379 (1985).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森},ACM Trans。程序。语言系统。7359-379(1985年;Zbl 0566.68013) 全文: 内政部 链接 链接
弗莱明·尼尔森 将不确定性视为抽象解释。 (英语) 兹伯利0533.68013 《软件技术和理论计算机科学基础》,第三届Conf.,班加罗尔/印度,1983年,20-39(1983)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式
A.迈克罗夫特。;F.尼尔森。 使用幂域的强抽象解释(扩展抽象)。 (英语) Zbl 0516.68012号 《自动化、语言和编程》,第10届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 536-544 (1983).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式
弗莱明·尼尔森 数据流分析的指称框架。 (英语) Zbl 0479.68012号 学报信息。 18, 265-287 (1982).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson},《信息学报》18,265--287(1982;Zbl 0479.68012) 全文: 内政部