首页>外文会议>POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000

POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Paths vs. Trees in Set-based Program Analysis

机译：基于集合的程序分析中的路径与树
- 作者：Witold Charatoik;Andreas Podelski;Jean-Marc Talbot
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
2.First-class Macros Have Types

机译：一流的宏具有类型
- 作者：Alan Bawden
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
3.Verifying Secrets and Relative Secrecy

机译：验证机密和相对机密性
- 作者：Dennis Volpano;Geoffrey Smith
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
4.Efficient Algorithms for pre~* and post~* on Interprocedural Parallel Flow Graphs

机译：过程间并行流图上前*和后*的高效算法
- 作者：Javier Esparza;Andreas Podelski
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
5.Implicit Parameters: Dynamic Scoping with Static Types

机译：隐式参数：静态类型的动态作用域
- 作者：Jeffrey R.Lewis;Mark B.Shields;Erik Meijer;John Launchbury
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
6.A Semantic Model of Types and Machine Instructions for Proof-Carrying Code

机译：验证代码的类型和机器指令的语义模型
- 作者：Andrew W.Appel;Amy P.Felty
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
7.(Optimal) duplication is not elementary recursive

机译：（最佳）复制不是基本递归
- 作者：Andrea Asperti;Paolo Coppola;Simone Martini
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
8.A Type System for Dynamic Web Documents

机译：动态Web文档的类型系统
- 作者：Anders Sandholm;Michael I.Schwartzbach
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
9.Reducing Sweep Time for a Nearly Empty Heap

机译：减少扫描时间，使堆几乎空了
- 作者：Yoo C.Chung;Soo-Mook Moon;Kemal Ebcioglu;Dan Sahlin
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
10.Anytime, anywhere Modal Logics for Mobile Ambients

机译：随时随地的移动环境模态逻辑
- 作者：Luca Cardelli;andrew D.Gordon
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
11.Controlling Interference in Ambients

机译：控制环境干扰
- 作者：Francesca Levi;Davide Sangiorgi
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
12.Enforcing Trace Properties by Program Transformation

机译：通过程序转换执行跟踪属性
- 作者：Thomas Colcombet;Pascal Fradet
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
13.Modular Refinement of Hierarchic Reactive Machines

机译：分层反应机的模块化改进
- 作者：Rajeev Alur;Radu Grosu
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
14.A Debate on Language and Tool Support for Design Patterns

机译：关于设计模式的语言和工具支持的辩论
- 作者：Craig Chambers;Bill Harrison;John Vlissides
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
- Programming languages, tools, design patterns, software development.;
15.Shape Analysis for Mobile Ambients

机译：移动环境的形状分析
- 作者：Hanne Riis Nielson;Flemming Nielson
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
16.Analytic Constraint Solving and Interval Arithmetic

机译：解析约束求解和区间算法
- 作者：Timothy J.Hickey
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
17.Authentication primitives and their compilation

机译：身份验证原语及其编译
- 作者：Martin Abadi;Cedric Fournet;Georges Gonthier
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
18.Deciding Type Equivalence in a Language with Singleton Kinds

机译：确定具有单例类型的语言中的类型对等
- 作者：Christopher A.Stone;Robert Harper
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
19.Generalized Certificate Revocation

机译：通用证书吊销
- 作者：Carl A.Gunter;Trevor Jim
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
20.A Framework for Combining Analysis and Verification

机译：分析与验证相结合的框架
- 作者：Nevin Heintze;Joxan Jaffar;Razvan Voicu
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
- program verification, program analysis, abstract interpretation;
21.A New Approach to Generic Functional Programming

机译：泛型函数编程的新方法
- 作者：Ralf Hinze
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
22.A Type System for Expressive Security Policies

机译：表达安全策略的类型系统
- 作者：David Walker
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
23.On the Complexity of Flow-Sensitive Dataflow Analyses

机译：流量敏感数据流分析的复杂性
- 作者：Robert Muth;Saumya Debray
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
24.Sparse Code Motion

机译：稀疏代码运动
- 作者：Oliver Ruething;Jens Knoop;Bernhard Steffen
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
- Partial redundancy elimination, code motion, expression motion, computational optimality, life-time optimality, space optimality, busy code motion, lazy code motion, code size, embedded processors and systems.;
25.Temporal Abstract Interpretation

机译：时态抽象解释
- 作者：Patrick Cousot;Radhia Cousot
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
26.Transforming out Timing Leaks

机译：消除时序泄漏
- 作者：Johan Agat
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
27.Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

机译：投影合并：减少包含约束图中的冗余
- 作者：Zhendong Su;Manuel Faehndrich;Alexander Aiken
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
28.Resource Bound Certification

机译：资源绑定认证
- 作者：Karl Crary;Stephanie Weirich
- 会议名称：《》 | 2000年
29.Semantics-Preserving Procedure Extraction

机译：保留语义的程序提取
- 作者：Raghavan Komondoor;Susan Horwitz
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
30.Type Elaboration and subtype completion for Hava bytecode

机译：Hava字节码的类型详细说明和子类型完成
- 作者：Todd B.Knoblock;Jakob Rehof
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年
31.Type Systems for Distributed Data Structures

机译：分布式数据结构的类型系统
- 作者：Ben Liblit;Alexander Aiken
- 会议名称：《POPL~direct R '00: The 27th ACM Sigplan-Sigact Symposium on Principles of Programming Languages~direct R Boston, Massachusetts 19-21 January 2000》 | 2000年