LIPIcs，第19卷
第18届国际证明类型和程序研讨会（2011年类型）
-
部分： 系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 国际证据和程序类型会议（Types）
出版物详细信息
发布时间：2013-01-21 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准图书编号：978-3-939897-49-1 DBLP： db/conf/types/types2011
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
LIPIcs，第19卷，11类，完整卷
摘要
引用为
@会议记录{danielsson_et_al:LIPIcs.TYPES.2011， title={{LIPIcs，第19卷，类型'11，完整卷}}， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，本特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011 }, URN={URN:nbn:de:0030-drops-41132}， doi={10.4230/LIPIcs.TYPES.2011}， annote={关键词：应用（功能）编程、软件/程序验证、指定和验证以及程序推理、数学逻辑} }
前言、目录、前言、车间组织
摘要
引用为
@会议记录{danielsson_et_al:LIPIcs.类型2011.i， author={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，本特}， title={{Frontmatter，目录，前言，车间组织}}， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， 页数={i--vii}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，Bengt}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TYPES.2011.i }, URN={URN:nbn:de:0030-drops-38957}， doi={10.4230/LIPIcs.TYPES.2011.i}， 注释={关键词：前言、目录、前言、车间组织} }
Coq中的非构造复杂分析
摘要
引用为
@会议记录{布鲁内尔：LIPIcs.类型2011.1， author={Brunel，Alo\“ {i} 秒 }, title={{Coq}}中的非构造复杂分析， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， 页数={1--15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，本特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.1下载 }, URN={URN:nbn:de:0030-drops-38968}， doi={10.4230/LIPIcs.TYPES.2011.1}， annote={关键词：Coq，绕组数，复杂分析} }
无限重复写作
摘要
引用为
@会议记录{endrullis_et_al:LIPIcs.TYPES.2011.16， author={Endrulis，J“ {o} rg公司 Andrew Polonsky和， title={{无限重复重写}}， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， 页数={16--27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor=｛Danielsson、Nils Anders和Nordstr｝ {o} 米 ，本特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.16 }, URN={URN:nbn:de:0030-drops-38971}， doi={10.4230/LIPIcs.TYPES.2011.16}， annote={关键词：无限重写，共约，lambda演算，标准化} }
模型图语义的一种新方法
摘要
引用为
@《美国诉讼汇编》{granstrom:LIPIcs.TYPES.2011.28， author={Granstr\“ {o} 米 ，约翰·G·}， title={{模型图语义的新方法}}， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， 页数={28--40}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，本特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.28 }, URN={URN:nbn:de:0030-drops-38980}， doi={10.4230/LIPIcs.TYPES.2011.28}， annote={关键词：模型图，建模，元建模，语义，组合，自描述，元循环，自反性，通用模型，MOF，UML} }
气候影响研究中的测试与证明
摘要
引用为
@会议记录{ionescu_et_al:LIPIcs.TYPES.2011.41， author={Ionescu、Cezar和Jansson、Patrik}， title={{气候影响研究中的测试与证明}}， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， 页数={41--54}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，本特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.41 }, URN={URN:nbn:de:0030-drops-38991}， doi={10.4230/LIPIcs.TYPES.2011.41}， annote={关键词：依赖型编程，特定领域的语言，气候影响研究，形式化} }
用共约法验证无限三角矩阵的重新修饰
摘要
引用为
@会议记录{matthes_et_al:LIPIcs.TYPES.2011.55， author={Matthes、Ralph和Picard、Celia}， title={{使用共约}}验证无限三角矩阵的重新修饰， booktitle={第18届国际校样和程序类型研讨会（2011年类型）}， 页码＝{55-69}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-49-1}， ISSN={1868-8969}， 年份={2013}， 体积={19}， editor={Danielsson、Nils Anders和Nordstr\“ {o} 米 ，本特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.55 }, URN={URN:nbn:de:0030-drops-39001}， doi={10.4230/LIPIcs.TYPES.2011.55}， annote={关键词：嵌套数据类型，共归纳，定理证明，Coq} }