首页>外文会议>其他>Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation

Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Relational Modal Logic for Higher-Order Stateful ADTs

机译：高阶状态拟设的关系模态逻辑
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- abstract data types;
- step-indexed logical relations;
- modal logic;
- separation logic;
- plotkin-abadi logic;
- local state;
2.Dynamically Checking Ownership Policies in Concurrent C/C++ Programs

机译：在并发C / C ++程序中动态检查所有权策略
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- concurrency;
- debugging;
- dynamic analysis;
- security;
- testing;
- tools;
3.Dependent Types from Counterexamples

机译：来自Conterexamples的依赖类型
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- dependent types;
- intersection types;
- interpolation;
- counterexamples;
- type inference;
4.Monads in Action

机译：在行动中的金属人
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- monads;
- computational effects;
- modular semantics;
5.Toward a Verified Relational Database Management System

机译：迈向经过验证的关系数据库管理系统
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- relational model;
- dependent types;
- separation logic;
- B+ tree;
6.Decision Procedures for Algebraic Data Tpes with Abstractions

机译：具有抽象的代数数据类型的决策程序
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- algorithms;
- languages;
- verification;
7.Modular Verification of Security Protocol Code by Typing

机译：通过键入的模块化验证安全协议代码
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- security;
- design;
- languages;
8.Dependent Types and Program Equivalence

机译：依赖类型和程序等价
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- dependent types;
- program equivalence;
9.Continuity Analysis of Programs

机译：计划的连续性分析
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- continuity;
- program analysis;
- uncertainty;
- robustness;
- perturbations;
- proof rules;
10.Verified Just-In-Time Compiler on x86

机译：X86验证了立交式编译器
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- compiler verification;
- just in time;
- self-modifying code;
11.A Theory of Indirection via Approximation

机译：通过近似的间接理论
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- indirection theory;
- step-indexed models;
12.Programming with Angelic Nondeterminism

机译：用天使不确定的编程
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- angelic non-determinism;
- constraints;
- bounded model-checking;
- traces;
- refinement;
13.Automatic Numeric Abstractions for Heap-Manipulating Programs

机译：用于堆操作程序的自动数字抽象
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- shape analysis;
- separation logic;
- termination;
- program verification;
- abstraction;
14.Counterexample-Guided Focus

机译：强调引导的焦点
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- data structures;
- quantified invariants;
- predicate abstraction;
- abstraction refinement;
- shape analysis;
15.Compositional May-Must Program Analysis: Unleashing the Power of Alternation

机译：组成可能 - 必须计划分析：释放交替的力量
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- verification;
16.Program Analysis via Satisfiability Modulo Path Programs

机译：通过可满足模量路径程序进行程序分析
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- program analysis;
- abstract interpretation;
- path programs;
- symbolic execution;
- SATisfiability solvers;
- SMT solvers;
17.Type Inference for Datalog with Complex Type Hierarchies

机译：具有复杂类型层次结构的DataLog的类型推断
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- type inference;
- datalog;
- type system;
18.Sequential Verification of Serializability

机译：连续验证序列化性
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- concurrency;
- verification;
- serializability;
- reduction;
- modular analysis;
19.Paralocks - Role-Based Information Flow Control and Beyond

机译：Paralocks - 基于角色的信息流量控制及更远
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- security;
- languages;
- verification;
20.Coarse-Grained Transactions

机译：粗粒程交易
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- coarse-grained transactions;
- abstract data-types;
- transactional memory;
- transactional boosting;
- commutativity;
- movers;
21.Nested Interpolants

机译：嵌套的立体词
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- nested words;
- interpolants;
- recursion;
- static analysis;
- abstract interpretation;
- software model checking;
- abstraction refinement;
- floyd-hoare logic;
22.Low-Level Liquid Types;

机译：低水平的液体类型;
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- liquid types;
- type inference;
- dependent types;
- C;
23.Static Determination of Quantitative Resource Usage for Higher-Order Programs

机译：静态测定高阶节目的定量资源用法
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- functional programming;
- resource analysis;
- types;
24.From Program Verification to Program Synthesis

机译：从计划验证到程序合成
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- proof-theoretic program synthesis;
- verification;
25.A Verified Compiler for an Impure Functional Language

机译：一种验证的编译器，用于不属于功能语言
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- compiler verification;
- interactive proof assistants;
26.Modular Session Types for Distributed Object-Oriented Programming

机译：用于分布式面向对象编程的模块化会话类型
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- aession types;
- object-oriented calculus;
- non-uniform method availability;
- typestates;
27.Integrating Typed and Untyped Code in a Scripting Language

机译：以脚本语言集成键入和非型号代码
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- compilers;
- object-orientation;
- semantics;
- types;
28.Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification

机译：用于程序验证的高阶多参数树传感器和递归方案
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- languages;
- verification;
29.Contracts Made Manifest

机译：合同表现出来
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- contract;
- refinement type;
- dynamic checking;
- blame;
- precondition;
- postcondition;
- translation;
30.Semantics and Algorithms for Data-dependent Grammars

机译：用于数据依赖语法的语义和算法
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
31.On the Verification Problem for Weak Memory Models

机译：关于弱存储器模型的验证问题
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- program verification;
- relaxed memory models;
- infinite state systems;
- lossy channel systems;
32.Threesomes, With and Without Blame

机译：三人行，没有责备
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- casts;
- coercions;
- blame tracking;
- lambda-calculus;
33.Abstraction-Guided Synthesis of Synchronization

机译：抽象引导合成同步
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- concurrency;
- synthesis;
- abstract interpretation;
34.Automatically Generating Instruction Selectors Using Declarative Machine Descriptions

机译：使用声明性机器描述自动生成指令选择器
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- instruction selection;
- retargetable compilers;
- declarative machine descriptions;
35.Pure Subtype Systems

机译：纯亚型系统
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- subtyping;
- dependent types;
- singleton types;
- transitivity elimination;
- abstract reduction systems;
36.Structuring the Verification of Heap-Manipulating Programs

机译：构建堆操纵程序的验证
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- type theory;
- hoare logic;
- separation logic;
- monads;
37.From Boolean to Quantitative Notions of Correctness

机译：从布尔值到定量概念正确性
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- quantitative specification;
- quantitative analysis;
- quantitative synthesis;
38.Generating Compiler Optimizations from Proofs

机译：从校验中生成编译器优化
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- languages;
- performance;
- theory;
39.A Simple, Verified Validator for Software Pipelining

机译：用于软件流水线的简单验证的验证器
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- software pipelining;
- translation validation;
- symbolic evaluation;
- verified compilers;
40.Reconfigurable Asynchronous Logic Automata (RALA)

机译：可重新配置的异步逻辑自动机（RALA）
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- reconfigurable;
- asynchronous;
- logic;
- automata;
41.Nominal System T

机译：名义系统T.
- 会议名称：《Annual Association for Computing Machinery SIGPLAN-SIGACT symposium on partial evaluation and program manipulation》 | 2010年
- binders;
- alpha-equivalence;
- recursion;
- types;