首页>外文会议>Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages

召开年：2008
召开地：San Francisco, CA(US);San Francisco, CA(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Lifting abstract interpreters to quantified logical domains

机译：将抽象解释器提升到量化逻辑域
- 作者：Sumit Gulwani;Bill McCloskey;Ashish Tiwari;PSumit Gulwani;PBill McCloskey;PAshish Tiwari
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- underapproximation algorithms;
2.Relational inductive shape analysis

机译：关系归纳形状分析
- 作者：Bor-Yuh Evan Chang;Xavier Rival;PBor-Yuh Evan Chang
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- symbolic abstract domain;
3.The design and implementation of typed scheme

机译：类型化方案的设计与实现
- 作者：Sam Tobin-Hochstadt;Matthias Felleisen
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- type systems;
4.Relevance heuristics for program analysis

机译：程序分析的相关启发式
- 作者：K. L. McMillan;PK. L. McMillan
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- model checking;
5.Caml trading

机译：骆驼贸易
- 作者：Yaron M. Minsky
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- functional programming;
6.Boomerang

机译：回旋镖
- 作者：Aaron Bohannon;J. Nathan Foster;Benjamin C. Pierce;Alexandre Pilkiewicz;Alan Schmitt;PJ. Nathan Foster;PBenjamin C. Pierce;PAlan Schmitt
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- view update problem;
7.From dirt to shovels

机译：从污垢到铁锹
- 作者：Kathleen Fisher;David Walker;Kenny Q. Zhu;Peter White;PKathleen Fisher;PDavid Walker;PKenny Q. Zhu;PPeter White
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- tool generation;
8.Cryptographically sound implementations for typed information-flow security

机译：键入信息流安全性的加密方法
- 作者：Cedric Fournet;Tamara Rezk;PCedric Fournet;PTamara Rezk
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- type systems;
9.On the computational soundness of cryptographically masked flows

机译：关于密码屏蔽流的计算安全性
- 作者：Peeter Laud;PPeeter Laud
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- secure information flow;
10.Separation logic, abstraction and inheritance

机译：分离逻辑，抽象和继承
- 作者：Matthew J. Parkinson;Gavin M. Bierman;PGavin M. Bierman
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- separation logic;
11.Enhancing modular OO verification with separation logic

机译：使用分离逻辑增强模块化的OO验证
- 作者：Wei-Ngan Chin;Cristina David;Huu Hai Nguyen;Shengchao Qin;PWei-Ngan Chin;PHuu Hai Nguyen
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- static and dynamic specifications;
12.Cyclic proofs of program termination in separation logic

机译：分离逻辑中程序终止的循环证明
- 作者：James Brotherston;Richard Bornat;Cristiano Calcagno;PJames Brotherston;PRichard Bornat;PCristiano Calcagno
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- termination;
13.The intensional content of Rice's theorem

机译：赖斯定理的内涵
- 作者：Andrea Asperti;PAndrea Asperti
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- recursion theory;
14.A logical account of pspace

机译：pspace的逻辑说明
- 作者：Marco Gaboardi;Jean-Yves Marion;Simona Ronchi Della Rocca;PSimona Ronchi Della Rocca
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- type assignment;
15.Lightweight semiformal time complexity analysis for purely functional data structures

机译：纯函数数据结构的轻量级半形式时间复杂度分析
- 作者：Nils Anders Danielsson
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- purely functional data structures;
16.Generating precise and concise procedure summaries

机译：生成精确而简洁的程序摘要
- 作者：Greta Yorsh;Eran Yahav;Satish Chandra;PGreta Yorsh;PEran Yahav;PSatish Chandra
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- typestate verification;
17.A theory of contracts for web services

机译：Web服务合同理论
- 作者：Giuseppe Castagna;Nils Gesbert;Luca Padovani;PGiuseppe Castagna
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- web services;
18.Multiparty asynchronous session types

机译：多方异步会话类型
- 作者：Kohei Honda;Nobuko Yoshida;Marco Carbone;PKohei Honda;PNobuko Yoshida;PMarco Carbone
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- structured programming;
19.Clowns to the left of me, jokers to the right (pearl)

机译：我左边的小丑，右边的小丑（珍珠）
- 作者：Conor McBride;PConor McBride
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- zipper;
20.Imperative self-adjusting computation

机译：命令式自调整计算
- 作者：Umut A. Acar;Amal Ahmed;Matthias Blume;PMatthias Blume
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- step-indexed logical relations;
21.Systems biology, models, and concurrency

机译：系统生物学，模型和并发
- 作者：Walter Fontana
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- systems biology;
22.Engineering formal metatheory

机译：工程形式元理论
- 作者：Brian Aydemir;Arthur Chargueraud;Benjamin C. Pierce;Randy Pollack;Stephanie Weirich;PBenjamin C. Pierce;PRandy Pollack
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- locally nameless;
23.Formal verification of translation validators

机译：正式验证翻译验证器
- 作者：Jean-Baptiste Tristan;Xavier Leroy;PXavier Leroy
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- verified compilers;
24.Much ado about two (pearl)

机译：多多说两个（珍珠）
- 作者：Janis Voigtlander
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- relational parametricity;
25.Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming

机译：版本一致的动态软件更新的上下文效果-安全的并发编程
- 作者：Iulian Neamtiu;Michael Hicks;Jeffrey S. Foster;Polyvios Pratikakis;PMichael Hicks;PJeffrey S. Foster
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- version consistency;
26.Foundations for structured programming with GADTs

机译：GADT进行结构化编程的基础
- 作者：Patricia Johann;Neil Ghani;PNeil Ghani
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- program fusion;
27.High-level small-step operational semantics for transactions

机译：事务的高级小步操作语义
- 作者：Katherine F. Moore;Dan Grossman;PDan Grossman
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- weak atomicity;
28.A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

机译：使用高阶抽象语法和一流替换进行编程的类型理论基础
- 作者：Brigitte Pientka;PBrigitte Pientka
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- type system;
29.An approach to call-by-name delimited continuations

机译：一种以名称呼叫分隔定界的方法
- 作者：Hugo Herbelin;Silvia Ghilezan;PHugo Herbelin
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- observational completeness;
30.Semantics of transactional memory and automatic mutual exclusion

机译：事务记忆和自动互斥的语义
- 作者：Martin Abadi;Andrew Birrell;Tim Harris;Michael Isard;PTim Harris;PMichael Isard
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- transactional memory;
31.Back to the future

机译：回到未来
- 作者：Shuvendu Lahiri;Shaz Qadeer;PShaz Qadeer
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- software verification;
32.Automatic inference of stationary fields

机译：自动推断固定场
- 作者：Christopher Unkel;Monica S. Lam;PChristopher Unkel;PMonica S. Lam
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- stationary;
33.Demand-driven alias analysis for C

机译：C的需求驱动别名分析
- 作者：Xin Zheng;Radu Rugina;PXin Zheng
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- pointer analysis;
34.Extensible encoding of type hierarchies

机译：类型层次结构的可扩展编码
- 作者：Hamed Seiied Alavi;Seth Gilbert;Rachid Guerraoui;PSeth Gilbert;PRachid Guerraoui
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- subtyping test;
35.Focusing and higher-order abstract syntax

机译：聚焦和高阶抽象语法
- 作者：Noam Zeilberger
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- pattern-matching;
36.A theory of platform-dependent low-level software

机译：平台相关的底层软件理论
- 作者：Marius Nita;Dan Grossman;Craig Chambers;PDan Grossman;PCraig Chambers
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- type safety;
37.Proving non-termination

机译：证明不终止
- 作者：Ashutosh Gupta;Thomas A. Henzinger;Rupak Majumdar;Andrey Rybalchenko;Ru-Gang Xu
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- testing;
38.Subcubic algorithms for recursive state machines

机译：递归状态机的亚三次算法
- 作者：Swarat Chaudhuri
- 会议名称：《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages;ACM SIGPLAN-SIGACT symposium on Principles of programming languages》 | 2008年
- transitive closure;