×

兹马思-数学第一资源

程序设计语言和系统。第24届欧洲编程研讨会,ESOP 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。诉讼程序。(英语) Zbl 1333.68020
计算机科学讲义9032柏林:斯普林格(ISBN 978-3-662-46668-1/pbk;978-3-662-46669-8/电子书)。十四,838页。(2015年)。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。上一次研讨会见[Zbl 1284.68032].
索引文章:
多伦多,尼尔;麦卡锡,杰伊;范霍恩,大卫,向后运行概率程序,53-79[Zbl 1335.68029]
埃伯尔,曼纽尔;霍尔兹尔,约翰内斯;尼普科,托比亚斯,概率密度函数的已验证编译器,80-104[Zbl 1335.68037]
乔恩,帕沃;亨辛格,托马斯A。;科瓦茨,劳拉;拉德哈基什纳,阿琼;Zwirchmayr,雅各布,用于最坏情况执行时间分析的段抽象,105-131[1336805]
霍夫曼,一月;邵,钟,并行程序的自动静态成本分析,132-157[Zbl 1335.68056]
彭宁克斯,威廉;雅各布斯,巴特;皮尔森,弗兰克,程序输入/输出行为的声音、模块化和合成验证,158-182[Zbl 1335.68063]
大卫,克里斯蒂娜;丹尼尔·克罗宁;刘易斯,马特,位向量程序的无限制终止和非终止参数,183-204[Zbl 1335.68050]
尼伦,皮埃尔;托尔马赫,安德鲁;维瑟,Eelco;瓦克斯穆特,吉多,名称解析理论,205-231[Zbl 1335.68062]
卡斯塔格纳,朱塞佩;我,贤承;阮,金;本扎肯,维罗尼克,XQuery3.0的核心微积分。结合导航和模式匹配方法,232-256[Zbl 1335.68026]
谢尔盖,伊利亚;纳涅夫斯基,亚历山达;班纳吉,阿尼迪亚,用历史和主观性详细说明和验证并行算法,333-358[Zbl 1335.68067]
布兰切特,贾斯敏·克里斯蒂安;波佩斯库,安德烈;特劳特尔,德米特里,见证(co)数据类型,359-382[Zbl 1335.68224]
切切克,以斯基;加格,迪帕克;阿卡尔,乌姆特,增量计算复杂性的细化类型,406-431[Zbl 1335.68030]
谢克,杰里米·G。;维图塞克,迈克尔M。;基米尼,马特奥;托宾·霍克施塔特,山姆;加西亚,罗纳德,高效渐进式键入的单调引用,432-456[Zbl 1335.68069]
舒尔茨·弗里林豪斯,斯特凡;彼得,迈克尔;塞德尔,赫尔穆特,程序间两变量赫伯兰等式,457-482[Zbl 1335.68066]
卡尔扎瓦拉,斯特凡诺;布列西,米歇尔;克拉法、西尔维亚;恩里科,斯特芬隆戈,对浏览器扩展的权限提升攻击的细粒度检测,510-534[Zbl 1335.68047]
埃米,迈克尔;甘蒂,皮埃尔;马朱姆达尔,鲁帕克;罗莎·维拉多,费尔南多,异步程序分析与基于事件的同步,535-559[Zbl 1335.68053]
林德利,山姆;莫里斯,J.加勒特,命题作为会话的语义,560-584[Zbl 1335.68060]
哥斯曼,亚历克西;杨红石,复合复制数据类型,585-609[Zbl 1335.68054]
太郎,太郎;浩,乌诺《松弛分层:实用完全谓词求精的新方法》,610-633[Zbl 1335.68072]
美国焊接学会Albargouthi;别丁,乔希;库克,拜伦;金凯,扎卡里,空间插入物,634-660[Zbl 1335.68040]
大卫,克里斯蒂娜;丹尼尔·克罗宁;刘易斯,马特,关于堆操作程序的安全性和终止的命题推理,661-684[Zbl 1335.68051]
谢勒,加布里埃尔;雷米,迪迪埃,面对荒谬的完全还原,685-709[Zbl 1335.68065]
杜鹃花;维拉德,朱尔斯;加德纳,菲利帕,歌罗尔:并行局部主观逻辑,710-735[Zbl 1335.68064]
希茨科夫斯基,菲利普;卡斯帕·斯文森;伯克达尔,拉尔斯;比肯·法拉伯德,让,虚构序列一致性的分离逻辑,736-761[Zbl 1335.68068]
里奇奥蒂,威尔默,将结构绑定为抽象数据类型,762-786[Zbl 1335.68153]
瓦康塞洛斯,佩德罗;乔斯特,斯特芬;弗洛里多,马里奥;哈蒙德,凯文《懒惰函数语言中基于类型的共递归分配分析》,787-811[Zbl 1335.68035]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68牛顿 软件理论
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部