×

兹马思-数学第一资源

程序设计语言和系统。第14届亚洲研讨会,APLAS 2016,越南河内,2016年11月21-23日。诉讼程序。(英语) Zbl 1347.68009
计算机科学讲义10017查姆:斯普林格(ISBN 978-3-319-47957-6/pbk;978-3-319-47958-3/电子书)。十七,465页。(2016年)。

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

本卷的文章将单独审查。上一次研讨会见[Zbl 1326.68018号].
索引文章:
德扬,亨利;芬宁,弗兰克,作为自动机的子结构证明,3-22[Zbl 06667483号]
查,苏英;郑世勋;哦,哈珠,学习从大型代码库中选择扩大阈值的策略,25-41[Zbl 06667484]
谭佳琪;戴惠君;甘地,拉吉耶夫;纳拉辛汉,普里亚,AUSPICE-R:机器代码中真实特征的自动安全性能证明,42-62[Zbl 06667485号]
阿部,达特苏亚;前田,Toshiyuki,松弛内存一致性模型的基于观察的并发程序逻辑,63-84[Zbl 06667486]
蒂乌,阿尔文;阮,南;霍恩,罗斯,规范:安全协议的等价性检查器,87-95[Zbl 06667487]
Hüttel,汉斯,用于psi计算的二进制会话类型,96-115[Zbl 06667488]
斯塔德米勒,凯;苏尔兹曼,马丁;蒂曼,彼得,基于静态跟踪的同步mini-go死锁分析,116-136[Zbl 06667489号]
罗莎,安德里亚;陈,莉迪亚·Y。;宾德,沃尔特,Akkaprof:Akka参与者在并行和分布式应用中的剖析器,139-147[Zbl 06667490]
原野,柳叶;佐藤,石垣;岩崎、秀叶,Python中的调试器协作高阶契约系统,148-168[Zbl 06667491]
雅集,太极;住友,Eijiro,一个完整的上下文等价的完全互模拟\(\lambda\)-calculation with call/cc,171-186[Zbl 06667492]
多尔蒂,丹尼尔J。;德利古罗,乌戈;利库里,路易吉;斯托尔兹,克劳德,交集和并集类型的可实现性解释,187-205[Zbl 06667493]
阿卡托利,贝尼氨基;Guerrieri,朱利奥,按值打开调用,206-226[Zbl 06667494]
弘塞尔,福里奥;莱尼萨,玛丽娜;利库里,路易吉;斯格内托,伊凡,实施康托天堂,229-250[Zbl 06667495]
杨艳鹏;碧萱;奥利维拉,布鲁诺C.d.S。,iso类型的统一语法,251-270[Zbl 06667496]
基塞尔约夫,奥列格;Kameyama,Yukiyoshi;Sudo,Yuto,改进的环境分类器。使用可变单元生成类型和范围安全代码,271-291[Zbl 06667497]
太郎、大谷;津田、竹石;小林,直木,直接样式的高阶模型检查,295-313[Zbl 06667498]
杜鹃花;霍博尔,阿奎那;维拉德,朱尔斯;加德纳,菲利帕,验证并发图算法,314-334[Zbl 06667499]
靖田,和藏;津田、竹石;小林,直木,具有动态资源创建的高阶并发程序验证,335-353[Zbl 06667500]
基塞尔约夫,奥列格,概率程序设计语言及其增量评估,357-376[Zbl 06667501]
拉丹,加布里埃尔;沃伊隆,你;巴拉特,文森特,伊莱姆:用于无层web编程的核心ML语言,377-397[Zbl 06667502]
杜鹃花;桑托斯,何塞·弗拉戈索;加德纳,菲利帕,DOM:规范和客户端推理,401-422[Zbl 06667503]
Tatsuta,Makoto;乐广路;金伟恩,具有归纳定义和普雷斯伯格算法的分离逻辑的决策过程,423-443[Zbl 06667504]
胡,Zhé;蒂乌,阿尔文,一阶抽象分离逻辑的完备性,444-463[Zbl 06667505]

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