首页>外文会议>其他>European Symposium on Programming

European Symposium on Programming

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Systematic Approach to Static Access Control

机译：静态访问控制的系统方法
- 作者：Francois Pottier;Christian Skalka;Scott Smith
- 会议名称：《European Symposium on Programming》 | 2001年
2.Typestate Checking of Machine Code

机译：typestate检查机器代码
- 作者：Zhichen Xu;Thomas Reps;Barton P. Miller
- 会议名称：《European Symposium on Programming》 | 2001年
3.Tool Demonstration: Finding Duplicated Code Using Program Dependences

机译：工具演示：使用程序依赖项查找重复代码
- 作者：Raghavan Komondoor;Susan Horwitz
- 会议名称：《European Symposium on Programming》 | 2001年
4.The Def-inite Approach to Dependency Analysis

机译：依赖性分析的渗透方法
- 作者：Michael Codish;Samir Genaim
- 会议名称：《European Symposium on Programming》 | 2001年
5.Entailment with Conditional Equality Constraints

机译：有条件平等约束的蕴含
- 作者：Zhendong Su;Alexander Aiken
- 会议名称：《European Symposium on Programming》 | 2001年
6.Semantics and Program Analysis of Computationally Secure Information Flow

机译：计算安全信息流的语义与程序分析
- 作者：Peeter Laud
- 会议名称：《European Symposium on Programming》 | 2001年
7.Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

机译：具有动态调度的简单模式逻辑程序的语义与终止
- 作者：Annalisa Bossi;Sandro Etalle;Sabina Rossi;Jan-Georg Smaus
- 会议名称：《European Symposium on Programming》 | 2001年
8.Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis

机译：概率多项式流程微积分和安全协议分析
- 作者：John C. Mitchell
- 会议名称：《European Symposium on Programming》 | 2001年
9.Compiling Problem Specifications into SAT

机译：将问题规范编译为SAT
- 作者：Marco Cadoli;Andrea Schaerf
- 会议名称：《European Symposium on Programming》 | 2001年
10.A Formal Executable Semantics of the JavaCard Platform

机译：Javacard平台的正式可执行语义
- 作者：Gilles Barthe;Guillaume Dufay;Line Jakubiec;Bernard Serpette;Simao Melo de Sousa
- 会议名称：《European Symposium on Programming》 | 2001年
11.The Recursive Record Semantics of Objects Revisited

机译：重新审视对象的递归记录语义
- 作者：Gérard Boudol
- 会议名称：《European Symposium on Programming》 | 2001年
12.Modal Transition Systems: A Foundation for Three-Valued Program Analysis

机译：模态过渡系统：三维计划分析的基础
- 作者：Michael Huth;Radha Jagadeesan;David Schmidt
- 会议名称：《European Symposium on Programming》 | 2001年
13.Programming the Web with High-Level Programming Languages

机译：用高级编程语言编程网络
- 作者：Paul Graunke;Shriram Krishnamurthi;Steve Van Der Hoeven;Matthias Felleisen
- 会议名称：《European Symposium on Programming》 | 2001年
14.On the Completeness of Model Checking

机译：关于模型检查的完整性
- 作者：Francesco Ranzato
- 会议名称：《European Symposium on Programming》 | 2001年
15.Proof-Directed De-compilation of Low-Level Code

机译：校正定向的低级代码的解汇
- 作者：Shin-ya Katsumata;Atsushi Ohori
- 会议名称：《European Symposium on Programming》 | 2001年
16.Enforcing Safety Properties Using Type Specialization

机译：使用类型专业化执行安全性能
- 作者：Peter Thiemann
- 会议名称：《European Symposium on Programming》 | 2001年
17.Fusion on Languages

机译：语言融合
- 作者：Roland Backhouse
- 会议名称：《European Symposium on Programming》 | 2001年
18.Modular Causality in a Synchronous Stream Language

机译：同步流语言的模块化因果关系
- 作者：Pascal Cuoq;Marc Pouzet
- 会议名称：《European Symposium on Programming》 | 2001年
19.What Are Polymorphically-Typed Ambients?

机译：什么是多元素类型的天空？
- 作者：Torben Amtoft;Assaf J. Kfoury;Santiago M. Pericas-Geertsen
- 会议名称：《European Symposium on Programming》 | 2001年
20.Encoding Intensional Type Analysis

机译：编码密集类型分析
- 作者：Stephanie Weirich
- 会议名称：《European Symposium on Programming》 | 2001年
21.A Query Language Based on the Ambient Logic

机译：基于环境逻辑的查询语言
- 作者：Luca Cardelli;Giorgio Ghelli
- 会议名称：《European Symposium on Programming》 | 2001年
22.A Formalisation of Java's Exception Mechanism

机译：Java的例外机制的形式化
- 作者：Bart Jacobs
- 会议名称：《European Symposium on Programming》 | 2001年
23.Secure Information Flow and CPS

机译：安全信息流量和CPS
- 作者：Steve Zdancewic;Andrew C. Myers
- 会议名称：《European Symposium on Programming》 | 2001年
24.Modeling an Algebraic Stepper

机译：建模代数步进
- 作者：John Clements;Matthew Flatt;Matthias Felleisen
- 会议名称：《European Symposium on Programming》 | 2001年
25.Control-Flow Analysis in Cubic Time

机译：立方时间控制流动分析
- 作者：Flemming Nielson;Helmut Seidl
- 会议名称：《European Symposium on Programming》 | 2001年
- Program analysis;
- Horn clauses with sharing;
- Tiling of Horn clauses;
- π-calculus;
- Ambient calculus;
- 0-CFA;
26.Backwards Abstract Interpretation of Probabilistic Programs

机译：向后摘要解释概率计划
- 作者：David Monniaux
- 会议名称：《European Symposium on Programming》 | 2001年
27.On the Complexity of Constant Propagation

机译：关于恒定传播的复杂性
- 作者：Markus Müller-Olm;Oliver Rüthing
- 会议名称：《European Symposium on Programming》 | 2001年
28.JOIN(X): Constraint-Based Type Inference for the Join-Calculus

机译：加入（x）：加入微积分的基于约束的类型推断
- 作者：Sylvain Conchon;Francois Pottier
- 会议名称：《European Symposium on Programming》 | 2001年