首页>外文会议>其他>The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy

The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums

机译：带求和的类型化Lambda演算的扩展归一化和类型定向局部估计
- 作者：Vincent Balat;Roberto Di Cosmo;Marcelo Fiore
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- typed lambda calculus;
- strong sums;
- grothendieck logical relations;
- normalisation;
- type-directed partial evaluation;
2.Global Value Numbering using Random Interpretation

机译：使用随机解释进行全局值编号
- 作者：Sumit Gulwani;George C. Necula
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- global value numbering;
- herbrand equivalences;
- random interpretation;
- randomized algorithm;
- uninterpreted functions;
3.Tridirectional Typechecking

机译：双向类型检查
- 作者：Joshua Dunfield;Frank Pfenning
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- type refinements;
- intersection types;
- union types;
- dependent types;
4.Semantic Types: A Fresh Look at the Ideal Model for Types

机译：语义类型：重新认识类型的理想模型
- 作者：Jerome Vouillon;Paul-Andre Mellies
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- recursive types;
- polymorphism;
- subtyping;
- realizability;
- ideal model;
- inductive/coinductive principle;
5.Symbolic Transfer Function-based Approaches to Certified Compilation

机译：基于符号传递函数的认证编译方法
- 作者：Xavier Rival
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- static analysis;
- abstract interpretation;
- certification;
- compilation;
- translation validation;
6.Abstractions from Proofs

机译：证明的抽象
- 作者：Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Kenneth L. McMillan
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- software model checking;
- predicate abstraction;
- counterexample analysis;
7.Asynchronous and Deterministic Objects

机译：异步和确定性对象
- 作者：Denis Caromel;Ludovic Henrio;Bernard Paul Serpette
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- object calculus;
- concurrency;
- distribution;
- parallelism;
- object-oriented languages;
- determinism;
- futures;
8.Polymorphic Typed Defunctionalization

机译：多态型去功能化
- 作者：Francois Pottier;Nadji Gauthier
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- defunctionalization;
- closure conversion;
- polymorphism;
- type preservation;
9.Channel Dependent Types for Higher-Order Mobile Processes

机译：高阶移动过程的通道相关类型
- 作者：Nobuko Yoshida
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- types;
- mobile processes;
- the higher-order π-calculus;
- secrecy;
- access control;
10.An Abstract Interpretation-Based Framework for Software Watermarking

机译：基于抽象解释的软件水印框架
- 作者：Patrick COUSOT;Radhia COUSOT
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
11.A Type System for Well-Founded Recursion

机译：有充分依据的递归的类型系统
- 作者：Derek Dreyer
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- type systems;
- recursion;
- recursive modules;
- effect systems;
12.Summarizing Procedures in Concurrent Programs

机译：并发程序中的程序摘要
- 作者：Shaz Qadeer;Sriram K. Rajamani;Jakob Rehof
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- concurrent programs;
- pushdown systems;
- model checking;
- interprocedural dataflow analysis;
- procedure summaries;
- transactions;
- reduction;
13.Isomorphisms of Generic Recursive Polynomial Types

机译：通用递归多项式类型的同构
- 作者：Marcelo Fiore
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- data structure;
- type theory;
- type isomorphism;
- recursive types;
- semigroups;
- rigs;
- word problem;
- groebner bases;
14.Formalization of Generics for the .NET Common Language Runtime

机译：.NET公共语言运行时的泛型形式化
- 作者：Dachuan Yu;Andrew Kennedy;Don Syme
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- polymorphism;
- generics;
- run-time types;
- CLR;
- .NET;
15.Free Theorems in the Presence of seq

机译：seq存在下的自由定理
- 作者：Patricia Johann;Janis Voigtlaender
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
16.A Bisimulation for Dynamic Sealing

机译：动态密封的双仿真
- 作者：Eijiro Sumii;Benjamin C. Pierce
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- theory;
- languages;
- security;
17.Separation and Information Hiding

机译：分离和信息隐藏
- 作者：Peter W. OHearn;Hongseok Yang;John C. Reynolds
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- separation logic;
- modularity;
- resource protection;
18.The Space Cost of Lazy Reference Counting

机译：懒惰引用计数的空间成本
- 作者：Hans-J. Boehm
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- garbage collection;
- reference counting;
- memory allocation;
- space complexity;
19.Abstract Non-interference Parameterizing Non-interference by Abstract Interpretation

机译：通过抽象解释对非干扰进行参数化非干扰
- 作者：Roberto Giacobazzi;Isabella Mastroeni
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- abstract interpretation;
- non-interference;
- language-based security;
- abstract domains;
20.Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs

机译：Atomizer：多线程程序的动态原子性检查器
- 作者：Cormac Flanagan;Stephen N. Freund
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- atomicity;
- dynamic analysis;
- reduction;
21.Precise Interprocedural Analysis through Linear Algebra

机译：通过线性代数进行精确的过程间分析
- 作者：Markus Mueller-Olm;Helmut Seidl
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- interprocedural analysis;
- linear algebra;
- weakest precondition;
- affine relation;
- polynomial relation;
22.A Semantics for Web Services Authentication

机译：Web服务认证的语义
- 作者：Karthikeyan Bhargavan;Cedric Fournet;Andrew D. Gordon
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- web services;
- applied pi calculus;
- XML security;
23.A Logic You Can Count On

机译：您可以依靠的逻辑
- 作者：Silvano Dal Zilio;Denis Lugiez;Charles Meyssonnier
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- ambient;
- substructural logic;
- semi-structured data;
- tree automata;
- presburger arithmetic;
24.Parsing Expression Grammars: A Recognition-Based Syntactic Foundation

机译：解析表达语法：基于识别的句法基础
- 作者：Bryan Ford
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- context-free grammars;
- regular expressions;
- parsing expression grammars;
- BNF;
- lexical analysis;
- unified grammars;
- scannerless parsing;
- packrat parsing;
- syntactic predicates;
- TDPL;
- GTDPL;
25.Principal Typings for Java-like Languages

机译：类Java语言的主要类型
- 作者：Davide Ancona;Elena Zucca
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- principal typings;
- selective recompilation;
- java-like languages;
26.Simple Relational Correctness Proofs for Static Analyses and Program Transformations

机译：用于静态分析和程序转换的简单关系正确性证明
- 作者：Nick Benton
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- program analysis;
- optimizing compilation;
- types;
- de-notational semantics;
- partial equivalence relations;
- hoare logic;
- dependency;
- information flow;
- security;
27.Non-linear Loop Invariant Generation using Groebner Bases

机译：使用Groebner基进行非线性循环不变式生成
- 作者：Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- program analysis;
- verification;
- invariant generation;
- symbolic computation;
- ideals;
- grobner bases;
- constraint programming;
28.Local Reasoning about a Copying Garbage Collector

机译：有关复制垃圾收集器的本地推理
- 作者：Lars Birkedal;Noah Torp-Smith;John C. Reynolds
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年
- separation logic;
- copying garbage collector;
- local reasoning;
29.Incremental Execution of Transformation Specifications

机译：转换规范的增量执行
- 作者：Ganesh Sittampalam;Oege de Moor;Ken Friis Larsen
- 会议名称：《The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004); Jan 14-16, 2003; Venice, Italy》 | 2003年