首页>外文会议>Programming Languages and Systems

Programming Languages and Systems

召开年：2004
召开地：Barcelona(ES);Barcelona(ES);Barcelona(ES);Barcelona(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Control Flow Analysis for Safe and Boxed Ambients

机译：安全和盒装环境的控制流分析
- 作者：Francesca Levi;Chiara Bodei
- 会议名称：《Programming Languages and Systems》 | 2004年
2.A Dependently Typed Ambient Calculus

机译：相依类型环境演算
- 作者：Cedric Lhoussaine;Vladimiro Sassone
- 会议名称：《Programming Languages and Systems》 | 2004年
3.A Distributed Abstract Machine for Boxed Ambient Calculi

机译：盒装环境计算的分布式抽象机
- 作者：Andrew Phillips;Nobuko Yoshida;Susan Eisenbach
- 会议名称：《Programming Languages and Systems》 | 2004年
4.A Hardest Attacker for Leaking References

机译：泄露参考文献的最强攻击者
- 作者：Rene Rydhof Hansen
- 会议名称：《Programming Languages and Systems》 | 2004年
5.A Memoizing Semantics for Functional Logic Languages

机译：功能逻辑语言的记忆语义学
- 作者：Salvador Espana;Vicent Estruch
- 会议名称：《Programming Languages and Systems》 | 2004年
- programming languages;
- formal semantics;
- memoization;
6.A Semantic Framework for Designer Transactions

机译：设计者交易的语义框架
- 作者：Jan Vitek;Suresh Jagannathan;Adam Welc;Antony L. Hosking
- 会议名称：《Programming Languages and Systems》 | 2004年
7.Adaptive Pattern Matching on Binary Data

机译：二进制数据的自适应模式匹配
- 作者：Per Gustafsson;Konstantinos Sagonas
- 会议名称：《Programming Languages and Systems》 | 2004年
8.Answer Type Polymorphism in Call-by-Name Continuation Passing

机译：按名称继续呼叫传递中的应答类型多态性
- 作者：Hayo Thielecke
- 会议名称：《Programming Languages and Systems》 | 2004年
9.Call-by-Value Mixin Modules Reduction Semantics, Side Effects, Types

机译：按值调用混合模块减少语义，副作用，类型
- 作者：Tom Hirschowitz;Xavier Leroy;J.B. Wells
- 会议名称：《Programming Languages and Systems》 | 2004年
10.Canonical Graph Shapes

机译：规范图形状
- 作者：Arend Rensink
- 会议名称：《Programming Languages and Systems》 | 2004年
11.Compositional Analysis of Authentication Protocols

机译：身份验证协议的组成分析
- 作者：Michele Bugliesi;Riccardo Focardi;Matteo Maffei
- 会议名称：《Programming Languages and Systems》 | 2004年
12.Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation

机译：带有产品和模幂的密码协议的可判定分析
- 作者：Vitaly Shmatikov
- 会议名称：《Programming Languages and Systems》 | 2004年
13.Extracting a Data Flow Analyser in Constructive Logic

机译：构造逻辑中提取数据流分析器
- 作者：David Cachera;Thomas Jensen;David Pichardie;Vlad Rusu
- 会议名称：《Programming Languages and Systems》 | 2004年
14.From Constraints to Finite Automata to Filtering Algorithms

机译：从约束到有限自动机再到滤波算法
- 作者：Mats Carlsson;Nicolas Beldiceanu
- 会议名称：《Programming Languages and Systems》 | 2004年
15.Functors for Proofs and Programs

机译：证明和程序函子
- 作者：Jean-Christophe Filliatre;Pierre Letouzey
- 会议名称：《Programming Languages and Systems》 | 2004年
16.Just Fast Keying in the Pi Calculus

机译：Pi微积分中的快速键控
- 作者：Martin Abadi;Bruno Blanchet;Cedric Fournet
- 会议名称：《Programming Languages and Systems》 | 2004年
17.Linear Types for Packet Processing

机译：数据包处理的线性类型
- 作者：Robert Ennals;Richard Sharp;Alan Mycroft
- 会议名称：《Programming Languages and Systems》 | 2004年
18.ML-Like Inference for Classifiers

机译：分类器的ML类推理
- 作者：Cristiano Calcagno;Eugenio Moggi;Walid Taha
- 会议名称：《Programming Languages and Systems》 | 2004年
19.Modal Proofs as Distributed Programs

机译：模态证明作为分布式程序
- 作者：Limin Jia;David Walker
- 会议名称：《Programming Languages and Systems》 | 2004年
20.Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

机译：关系抽象域，用于检测浮点运行时错误
- 作者：Antoine Mine
- 会议名称：《Programming Languages and Systems》 | 2004年
21.Semantical Analysis of Specification Logic, 3 An Operational Approach

机译：规范逻辑的语义分析，一种操作方法
- 作者：Dan R. Ghica
- 会议名称：《Programming Languages and Systems》 | 2004年
22.Sound and Decidable Type Inference for Functional Dependencies

机译：功能依赖性的合理且可确定的类型推断
- 作者：Gregory J. Duck;Simon Peyton-Jones;Peter J. Stuckey;Martin Sulzmann
- 会议名称：《Programming Languages and Systems》 | 2004年
23.Static Analysis of Digital Filters

机译：数字滤波器的静态分析
- 作者：Jerome Feret
- 会议名称：《Programming Languages and Systems》 | 2004年
24.Strong Preservation as Completeness in Abstract Interpretation

机译：强烈保留抽象解释中的完整性
- 作者：Francesco Ranzato;Francesco Tapparo
- 会议名称：《Programming Languages and Systems》 | 2004年
25.System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

机译：系统E：线性和非线性类型和交叉点类型的灵活键入的扩展变量
- 作者：Sebastien Carlier;Jeff Polakow;J.B. Wells;A.J. Kfoury
- 会议名称：《Programming Languages and Systems》 | 2004年
26.Trust Management in Strand Spaces: A Rely-Guarantee Method

机译：子空间中的信任管理：一种依赖保证方法
- 作者：Joshua D. Guttman;F. Javier Thayer;Jay A. Carlson;Jonathan C. Herzog;John D. Ramsdell;Brian T. Sniffen
- 会议名称：《Programming Languages and Systems》 | 2004年
27.ULM: A Core Programming Model for Global Computing

机译：ULM：全球计算的核心编程模型
- 作者：Gerard Boudol
- 会议名称：《Programming Languages and Systems》 | 2004年