首页>外文会议>其他>28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London

28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.What Packets May Come: Automata for Network Monitoring

机译：可能出现什么数据包：用于网络监视的自动机
- 作者：Karthikeyan Bhargavan;Satish Chandra;Peter J. McCann;Carl A. Gunter
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
2.Type-Preserving Garbage Collectors

机译：保型垃圾收集器
- 作者：Daniel C. Wang;Andrew W. Appel
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
3.Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability

机译：基于类型的流分析：从多态子类型化到CFL可到达性
- 作者：Jakob Rehof;Manuel Faehndrich
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
4.Typing a Multi-Language Intermediate Code

机译：键入多语言中间代码
- 作者：Andrew D. Gordon;Don Syme
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
5.Stratified Operational Semantics for Safety and Correctness of The Region Calculus

机译：区域演算的安全性和正确性的分层操作语义
- 作者：Cristiano Calcagno
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
6.Subtyping Arithmetical Types

机译：子类型算术类型
- 作者：Joseph (Yossi) Gil
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
7.Combining subsumption and binary methods: An object calculus with views

机译：合并包含方法和二进制方法：带视图的对象演算
- 作者：Jerome Vouillon
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
8.Colored Local Type Inference

机译：有色局部类型推断
- 作者：Martin Odersky;Christoph Zenger;Matthias Zenger
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
9.A Compiler Technique for Improving Whole-Program Locality

机译：一种改善整个程序局部性的编译器技术
- 作者：Mahmut Taylan Kandemir
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
- optimizing compilers;
- memory layouts;
- static optimizations;
- cache locality;
- data reuse;
10.Type-Indexed Rows

机译：类型索引行
- 作者：Mark Shields;Erik Meijer
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
11.Programming language methods in computer security

机译：计算机安全中的编程语言方法
- 作者：John C. Mitchell
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
12.Secure Safe Ambients

机译：确保安全的环境
- 作者：Michele Bugliesi;Giuseppe Castagna
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
13.The Size-Change Principle for Program Termination

机译：程序终止的大小更改原则
- 作者：Chin Soon Lee;Neil D. Jones;Amir M. Ben-Amram
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
- termination;
- program analysis;
- omega automaton;
- PSPACE-completeness;
- partial evaluation;
14.Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic

机译：使用三值逻辑验证并发Java程序的安全属性
- 作者：Eran Yahav
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
15.Oracle-Based Checking of Untrusted Software

机译：基于Oracle的不受信任软件检查
- 作者：George C. Necula;S. P. Rahul
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
16.A Generic Type System for the Pi-Calculus

机译：Pi演算的通用类型系统
- 作者：Atsushi Igarashi;Naoki Kobayashi
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
17.Nomadic Pict: Correct Communication Infrastructure for Mobile Computation

机译：Nomadic Pict：正确的移动计算通信基础架构
- 作者：Asis Unyapoth;Peter Sewell
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
18.Regular Expression Pattern Matching for XML

机译：XML的正则表达式模式匹配
- 作者：Haruo Hosoya;Benjamin Pierce
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
19.Bl as an Assertion Language for Mutable Data Structures

机译：Bl作为用于可变数据结构的断言语言
- 作者：Samin Ishtiaq;Peter W. OHearn
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
20.An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs

机译：概率程序分析的抽象蒙特卡洛方法
- 作者：David Monniaux
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
21.Modules, Abstract Types, and Distributed Versioning

机译：模块，抽象类型和分布式版本控制
- 作者：Peter Sewell
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
22.Mobile Values, New Names, and Secure Communication

机译：移动价值，新名称和安全通信
- 作者：Martin Abadi;Cedric Fournet
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
23.Extensionality and Intensionality of the Ambient Logics

机译：环境逻辑的可扩展性和强度
- 作者：Davide Sangiorgi
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年
24.Avoiding Exponential Explosion: Generating Compact Verification Conditions

机译：避免指数爆炸：生成紧凑的验证条件
- 作者：Cormac Flanagan;James B. Saxe
- 会议名称：《28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 17-19, 2001, London》 | 2001年