首页>外文会议>计算机、自动化>Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA

Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA

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

会议文集：-

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.Precise Pair-Sharing Analysis of Logic Programs

机译：逻辑程序的精确配对共享分析
- 作者：Vitaly Lagoon;Peter J. Stuckey
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- sharing;
- program analysis;
2.Automated Protocol Verification in Linear Logic

机译：线性逻辑中的自动协议验证
- 作者：Marco Bozzano;Giorgio Delzanno
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- linear logic;
- bottom-up evaluation;
- model checking;
- authentication protocols;
3.Java Bytecode as a Typed Term Calculus

机译：Java字节码作为类型术语演算
- 作者：Tomoyuki Higuchi;Atsushi Ohori
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- java bytecode;
- bytecode verifier;
- type system;
- type inference;
4.Constraint-Based Mode Analysis of Mercury

机译：汞的基于约束的模式分析
- 作者：David Overton;Zoltan Somogyi;Peter J. Stuckey
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- modes;
- mode analysis;
- boolean constraints;
5.Modular Termination of Context-Sensitive Rewriting

机译：上下文相关重写的模块化终止
- 作者：Bernhard Gramlich;Salvador Lucas
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
6.System Presentation ― Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages

机译：系统演示―功能反应式机器人技术：特定领域语言的原则性集成练习
- 作者：Izzet Pembeci;Henrik Nilsson;Gregory Hager
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- functional programming;
- robotics;
- vision;
- Domain-Specific languages;
7.Towards a Primitive Higher Order Calculus of Broadcasting Systems

机译：面向广播系统的原始高阶微积分
- 作者：Karol Ostrovsky;K. V. S. Prasad;Walid Taha
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- broadcasting;
- ethernet;
- calculi;
- programming languages;
- semantics;
- concurrency;
8.Coercion as Homomorphism: Type Inference in a System with Subtyping and Overloading

机译：作为同态的强制：具有子类型化和重载的系统中的类型推断
- 作者：Alex Shafarenko
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- type inference;
- overloading;
- subtyping;
- data-parallel programming;
- array processing;
9.Combining an Improvement to PARMA Trailing with Trailing Analysis

机译：将PARMA跟踪的改进与跟踪分析相结合
- 作者：Tom Schrijvers;Bart Demoen
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- PARMA;
- trailing;
- program analysis;
10.A Generic Operator over Discrete Time Intervals

机译：离散时间间隔上的通用算子
- 作者：Jeremie Blanc;Rachid Echahed
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- timed term rewrite systems;
- discrete time intervals;
- operational aemantics;
11.Secure Calling Contexts for Stack Inspection

机译：堆栈检查的安全调用上下文
- 作者：Frederic Besson;Thomas de Grenier de Latour;Thomas Jensen
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- language based security;
- stack inspection;
- linear temporal logic;
- static program analysis;
12.Using the Heap to Eliminate Stack Accesses

机译：使用堆消除堆栈访问
- 作者：Zoltan Somogyi;Peter J. Stuckey
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- stack accesses;
- stack frames;
- heap cells;
- maximal matching;
13.On the Expressive Power of Temporal Concurrent Constraint Programming Languages

机译：时间并发约束编程语言的表达能力
- 作者：Mogens Nielsen;Catuscia Palamidessi;Frank D. Valencia
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- constraint programming;
- timed systems;
- expressiveness;
14.Program Generation, Termination, and Binding-time Analysis

机译：程序生成，终止和绑定时间分析
- 作者：Neil D. Jones;Arne J. Glenstrup
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
15.Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus

机译：通过评估类型化Lambda微积分对归一化的语义分析
- 作者：Marcelo Fiore
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
16.True Separate Compilation of Java Classes

机译：Java类的真正独立编译
- 作者：D. Ancona;G. Lagorio;E. Zucca
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- types;
- separate compilation;
- object-oriented programming;
17.Transforming the .NET Intermediate Language Using Path Logic Programming

机译：使用路径逻辑编程来转换.NET中间语言
- 作者：Stephen Drape;Oege de Moor;Ganesh Sittampalam
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- program transformation;
- meta programming;
- logic programming;
- program analysis;
- compiler optimisations;
- obfuscation;
18.Full Integration of Subtyping and If-expression

机译：子类型化和if表达式的完全集成
- 作者：Gang Chen
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- subtyping;
- if-expression;
- type checking;
- java;
19.― System Presentation ― CARIBOO : An Induction Based Proof Tool for Termination with Strategies

机译：―系统演示― CARIBOO：基于归纳的证明工具，用于终止策略
- 作者：Olivier Fissore;Isabelle Gnaedig;Helene Kirchner
- 会议名称：《Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 6-8, 2002, Pittsburgh, Pennsylvania, USA》 | 2002年
- rewriting;
- termination;
- innermost;
- local stra-tegy;
- rule based language;
- induction;
- narrowing;
- ordering constraint;
- ELAN;