计算机协会：查询关键字搜索

计算机协会：查询关键字搜索图书/期刊的关键字搜索结果：POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集——与关键字搜索查询匹配的新结果（每日更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevance 计算机协会：查询关键字搜索计算机协会英语-美国 Atypon系统 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站带类型推理的一类多态性 https://dl.acm.org/doi/abs/10.1145/263699.263765？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第483-496页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第483-496页 数字对象标识代码：10.1145/263699.263765 1997年1月1日T08:00:00Z 带类型推理的一类多态性 483 496 1997年1月1日T08:00:00Z 10.1145/263699.263765年 https://dl.acm.org/doi/abs/10.1145/263699.263765？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey PolyP-一种多类型编程语言扩展 https://dl.acm.org/doi/abs/10.1145/263699.263763？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第470-482页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第470-482页 数字对象标识代码：10.1145/263699.263763 1997年1月1日T08:00:00Z PolyP-一种多类型编程语言扩展 470 482 1997年1月1日T08:00:00Z 10.1145/263699.263763 https://dl.acm.org/doi/abs/10.1145/263699.263763？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 高级阅读和数据结构编译 https://dl.acm.org/doi/abs/10.1145/263699.263762？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第456-469页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第456-469页 数字对象标识代码：10.1145/263699.263762 1997年1月1日T08:00:00Z 高级阅读和数据结构编译 456 469 1997年1月1日T08:00:00Z 10.1145/263699.263762 https://dl.acm.org/doi/abs/10.1145/263699.263762？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 关系参数和度量单位 https://dl.acm.org/doi/abs/10.1145/263699.263761？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第442-455页 POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第442-455页 数字对象标识代码：10.1145/263699.263761 1997年1月1日T08:00:00Z 关系参数和度量单位 442 455 1997年1月1日T08:00:00Z 10.1145/263699.263761 https://dl.acm.org/doi/abs/10.1145/263699.263761？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 从SOS规则到证明原则 https://dl.acm.org/doi/abs/10.1145/263699.263760？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第428-441页 POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第428-441页 数字对象标识代码：10.1145/263699.263760 1997年1月1日T08:00:00Z 从SOS规则到证明原则 428 441 1997年1月1日T08:00:00Z 10.1145/263699.263760 https://dl.acm.org/doi/abs/10.1145/263699.263760？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 阻止高阶森林砍伐的制约因素 https://dl.acm.org/doi/abs/10.1145/263699.263758？af=R&ConceptID=67&ContentGroupKey=10.1145%2F2263699&content=standard&target=topic&sortBy=相关性 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第400-413页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第400-413页 数字对象标识代码：10.1145/263699.263758 1997年1月1日T08:00:00Z 阻止高阶森林砍伐的制约因素 400 413 1997年1月1日T08:00:00Z 10.1145/263699.263758 https://dl.acm.org/doi/abs/10.1145/263699.263758？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 使用基于操作的术语模型的指称语义 https://dl.acm.org/doi/abs/10.1145/263699.263755？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第386-399页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第386-399页 数字对象标识代码：10.1145/263699.263755 1997年1月1日T08:00:00Z 使用基于操作的术语模型的指称语义 386 399 1997年1月1日T08:00:00Z 10.1145/263699.263755 https://dl.acm.org/doi/abs/10.1145/263699.263755？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 基于需求驱动的集合分析 https://dl.acm.org/doi/abs/10.1145/263699.263753？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第372-385页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第372-385页 数字对象标识代码：10.1145/263699.263753 1997年1月1日T08:00:00Z 基于需求驱动的集合分析 372 385 1997年1月1日T08:00:00Z 10.1145/263699.263753 https://dl.acm.org/doi/abs/10.1145/263699.263753？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 逃逸分析的复杂性 https://dl.acm.org/doi/abs/10.1145/263699.263750？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第358-371页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第358-371页 doi:10.1145/263699.263750 1997年1月1日T08:00:00Z 逃逸分析的复杂性 358 371 1997年01月01日08时00分 10.1145/263699.263750 https://dl.acm.org/doi/abs/10.1145/263699.263750？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 类型检查高阶多态多方法 https://dl.acm.org/doi/abs/10.1145/263699.263743？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第302-315页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第302-315页 数字对象标识代码：10.1145/263699.263743 1997年1月1日T08:00:00Z 类型检查高阶多态多方法 302 315 1997年01月01日08时00分 10.1145/263699.263743 https://dl.acm.org/doi/abs/10.1145/263699.263743？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 继承类型理论中的类型化算法 https://dl.acm.org/doi/abs/10.1145/263699.263742？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第292-301页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第292-301页 doi:10.145/263699.263742 1997年1月1日T08:00:00Z 继承类型理论中的类型化算法 292 301 1997年1月1日T08:00:00Z 10.1145/263699.263742 https://dl.acm.org/doi/abs/10.1145/263699.263742？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 原子子类型中的最小类型 https://dl.acm.org/doi/abs/10.1145/263699.263738？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第278-291页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第278-291页 数字对象标识代码：10.1145/263699.263738 1997年1月1日T08:00:00Z 原子子类型中的最小类型 278 291 1997年1月1日T08:00:00Z 10.1145/263699.263738 https://dl.acm.org/doi/abs/10.1145/263699.263738？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 程序片段、链接和模块化 https://dl.acm.org/doi/abs/10.1145/263699.263735？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第266-277页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第266-277页 数字对象标识代码：10.1145/263699.263735 1997年1月1日T08:00:00Z 程序片段、链接和模块化 266 277 1997年1月1日T08:00:00Z 10.1145/263699.263735 https://dl.acm.org/doi/abs/10.1145/263699.263735？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 比较同步和异步π演算的表达能力 https://dl.acm.org/doi/abs/10.1145/263699.263731？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第256-265页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第256-265页 数字对象标识代码：10.1145/263699.263731 1997年1月1日T08:00:00Z 比较同步和异步π演算的表达能力 256 265 1997年1月1日T08:00:00Z 10.1145/263699.263731 https://dl.acm.org/doi/abs/10.1145/263699.263731？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 多态性pi-calculus中的行为等效 https://dl.acm.org/doi/abs/10.1145/263699.263729？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第242-255页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第242-255页 数字对象标识代码：10.1145/263699.263729 1997年1月1日T08:00:00Z 多态性pi-calculus中的行为等效 242 255 1997年1月1日T08:00:00Z 10.1145/263699.263729 https://dl.acm.org/doi/abs/10.1145/263699.263729？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 直接式π-演算 https://dl.acm.org/doi/abs/10.1145/263699.263726？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第228-242页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第228-242页 数字对象标识代码：10.1145/263699.263726 1997年1月1日T08:00:00Z 直接式π-演算 228 242 1997年1月1日T08:00:00Z 10.1145/263699.263726 https://dl.acm.org/doi/abs/10.1145/263699.263726？af=R&ConceptID=67&ContentGroupKey=10.1145%2F2263699&content=standard&target=topic&sortBy=相关性带控制的函数计算的Curry-Howard基础 https://dl.acm.org/doi/abs/10.1145/263699.263722？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第215-227页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第215-227页 数字对象标识代码：10.1145/263699.263722 1997年1月1日T08:00:00Z 带控制的函数计算的Curry-Howard基础 215 227 1997年1月1日T08:00:00Z 10.1145/263699.263722 https://dl.acm.org/doi/abs/10.1145/263699.263722？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 利用仿射变换最大化并行性和最小化同步 https://dl.acm.org/doi/abs/10.1145/263699.263719？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第201-214页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第201-214页 数字对象标识代码：10.1145/263699.263719 1997年1月1日T08:00:00Z 利用仿射变换最大化并行性和最小化同步 201 214 1997年1月1日T08:00:00Z 10.1145/263699.263719 https://dl.acm.org/doi/abs/10.1145/263699.263719？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 并行计算的同步转换 https://dl.acm.org/doi/abs/10.1145/263699.263718？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第187-200页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第187-200页 数字对象标识代码：10.1145/263699.263718 1997年1月1日T08:00:00Z 并行计算的同步转换 187 200 1997年1月1日T08:00:00Z 10.1145/263699.263718 https://dl.acm.org/doi/abs/10.1145/263699.263718？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 使用VeriSoft对编程语言进行模型检查 https://dl.acm.org/doi/abs/10.1145/263699.263717？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第174-186页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第174-186页 数字对象标识代码：10.1145/263699.263717 1997年01月01日08时00分使用VeriSoft对编程语言进行模型检查 174 186 1997年1月1日T08:00:00Z 10.1145/263699.263717 https://dl.acm.org/doi/abs/10.1145/263699.263717？af=R&ConceptID=67&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey