注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. International Symposium on Software Testing and Analysis 2010年论文集

  2. 是International Symposium on Software Testing and Analysis 2010年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。

  3. 所属分类：专业指导

    • 发布日期：2010-10-18
    • 文件大小：16777216
    • 提供者：qysh123

  1. POPL 2010-Annual Symposium on Principles of Programming Languages 2010论文集（proceedings of POPL 2010）

  2. （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 国际软件工程和编程语言界的顶级会议，POPL 2010年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信

  3. 所属分类：专业指导

    • 发布日期：2011-03-07
    • 文件大小：19922944
    • 提供者：qysh123

  1. POPL 2011-Annual Symposium on Principles of Programming Languages 2011论文集

  2. （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 国际软件工程和编程语言界的顶级会议，POPL 2011年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信

  3. 所属分类：其它

    • 发布日期：2012-03-14
    • 文件大小：28311552
    • 提供者：qysh123

  1. POPL 2012-Annual Symposium on Principles of Programming Languages 2012

  2. 国际软件工程和编程语言界的顶级会议，POPL 2011年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。在07年的计算机科学会议排名中，POPL名列第一，参见：http://citeseerx.ist.psu.edu/stats/venues 2012年POPL共收录包括Invited talk在内的18个session，共计48篇文章。 另外值得一提的是，中科大计算机学院有一篇文章被2012年POPL收录：A

  3. 所属分类：其它

    • 发布日期：2012-05-09
    • 文件大小：29360128
    • 提供者：qysh123

  1. POPL 2013-Annual Symposium on Principles of Programming Languages 2013

  2. （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） 国际软件工程和编程语言界的顶级会议，POPL 2013年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具

  3. 所属分类：其它

    • 发布日期：2013-03-26
    • 文件大小：30408704
    • 提供者：qysh123

  1. Linux内核分析—寻址方式—计算机内部操作流程

  2. 通过反汇编一个简单的C程序，分析汇编代码，理解计算机是如何工作的 了解两种计算机体系结构，及汇编语言和高级语言的发展过程；掌握一些寻址方式，（例如：立即数寻址、直接寻址、寄存器寻址、间接寻址、变址寻址等寻址方式）和指令（例如：call、ret、pushl、popl、enter、leave等）

  3. 所属分类：Linux

    • 发布日期：2016-04-05
    • 文件大小：1048576
    • 提供者：lhj_1530714929

  1. POPL-lecture

  2. principle of programming languages, teadf dfadfdsaf

  3. 所属分类：其它

    • 发布日期：2018-04-02
    • 文件大小：375808
    • 提供者：weixin_39910717

  1. POPHMI软件新增功能使用说明.pdf

  2. POPHMI软件新增功能使用说明pdf,POPHMI软件新增功能使用说明TUMBO PPHM软件新墡功能使用说明 下面是几种显示例了: 【画面编辑】 【文本属性】 位置x位置Y4彐 上海博深电子有限公司 厂反色缩小 浦东大道2508号1904室 文本满东大道2508号1904军 021-51927017 图四、 画由编辑】 【文本属性】 54,3 位置x72三位置Y T1=99999T5=99999 厂反色{缩小 T2=99999 T6=99999 文本T8= T3=99999 T7=99999

  3. 所属分类：其它

    • 发布日期：2019-10-09
    • 文件大小：113664
    • 提供者：weixin_38743481

  1. POPL 2012-Annual Symposium on Principles of Programming Languages 2012论文集

  2. 内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 国际软件工程和编程语言界的顶级会议，POPL 2012年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。 2012年POPL共收录包括Invited talk在内的18个session，共计48篇文章。 另外值得一提的是，中科大计算机学院有一篇文章被2012年POPL收录：A re

  3. 所属分类：其它

    • 发布日期：2012-05-09
    • 文件大小：29360128
    • 提供者：qysh123

  1. icfp2020-papers:ICFP 2020年论文。 众包-源码

  2. ICFP 2020 类似网页老年ICFP（ ， ， ， ， ， ， ， ），popl等（ ， ， ， ）， 。 使用匹配逻辑定义绑定器的通用方法陈晓红，格里戈尔·罗苏（Grigore Rosu） （ ） 快速了解隐含性亚历杭德罗·塞拉诺（Alejandro Serrano），尤里安·哈格（Jurriaan Hage），西蒙·佩顿·琼斯（Simon Peyton Jones），迪米特里奥斯·维蒂尼奥蒂（ ） 类型系统中模态的统一视图安德烈亚斯·亚伯（Andreas Ab

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：4096
    • 提供者：weixin_42109125

  1. TypeSoundnessCertifier：免费的认证类型声音！-源码

  2. 类型SoundnessCertifier 作者：Matteo Cimini（ ） 使用包含2.0.2到2.0.5的Abella版本测试的工具。 快速链接 消息：临时停止：几天后，该项目将停止工作，因为几天后我将上传更多文件。 TypeSoundnessCertifier包含两个组件： Lang-n-Check：输入语言定义，并对其进行类型检查以查看其是否为声音。 Lang-n-Prove：输入已由Lang-n-Check进行类型检查的语言定义，并在Abella证明助手中生成机器检查的类

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：3145728
    • 提供者：weixin_42131261

  1. POPL-Langage-源码

  2. Hunt Sparra POPL语言 在2020年秋季编程语言原理课中，我们使用ANTLR4 for Java创建了一种简单的动态类型化语言。 特征 具有逻辑运算和比较的布尔值 带算术运算和比较的整数值 分枝 变数 函数（带递归） 布尔运算 一个布尔值TRUE或FALSE（在敏感病例）。 以中缀表示法，运算将为val1 OPERATION val2 ，但NOT除外， NOT仅采用1个参数。 不是 和 或者 算术运算 数字是整数，可以是正数也可以是负数。 以中缀表示法，操作将为val1 OPER

  3. 所属分类：其它

    • 发布日期：2021-03-29
    • 文件大小：8192
    • 提供者：weixin_42099070