首页>外文会议>其他>International ACM SIGPLAN conference on principles and practice of declarative programming

International ACM SIGPLAN conference on principles and practice of declarative programming

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Java Bytecode as a Typed Term Calculus

机译：Java字节码作为键入的术语微积分
- 作者：Tomoyuki Higuchi;Atsushi Ohori
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- java bytecode;
- bytecode verifier;
- type system;
- type inference;
2.Coercion as Homomorphism: Type Inference in a System with Subtyping and Overloading

机译：胁迫作为同性态：亚型和过载系统中的推断
- 作者：Alex Shafarenko
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- type inference;
- overloading;
- subtyping;
- data-parallel programming;
- array processing;
3.Transforming the .NET Intermediate Language Using Path Logic Programming

机译：使用路径逻辑编程转换.NET中间语言
- 作者：Stephen Drape;Oege de Moor;Ganesh Sittampalam
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- program transformation;
- meta programming;
- logic programming;
- program analysis;
- compiler optimisations;
- obfuscation;
4.A Generic Operator over Discrete Time Intervals

机译：一般运算符在离散时间间隔
- 作者：Jeremie Blanc;Rachid Echahed
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- timed term rewrite systems;
- discrete time intervals;
- operational aemantics;
5.Modular Termination of Context-Sensitive Rewriting

机译：上下文敏感重写的模块化终止
- 作者：Bernhard Gramlich;Salvador Lucas
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
6.Full Integration of Subtyping and If-expression

机译：亚型和if-表达的完全集成
- 作者：Gang Chen
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- subtyping;
- if-expression;
- type checking;
- java;
7.Secure Calling Contexts for Stack Inspection

机译：安全调用堆栈检查的上下文
- 作者：Frederic Besson;Thomas de Grenier de Latour;Thomas Jensen
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- language based security;
- stack inspection;
- linear temporal logic;
- static program analysis;
8.True Separate Compilation of Java Classes

机译：真正单独的Java类编译
- 作者：D. Ancona;G. Lagorio;E. Zucca
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- types;
- separate compilation;
- object-oriented programming;
9.System Presentation ― Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages

机译：系统介绍 - 功能反应机器人：主要集成域特定语言的运动
- 作者：Izzet Pembeci;Henrik Nilsson;Gregory Hager
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- functional programming;
- robotics;
- vision;
- Domain-Specific languages;
10.On the Expressive Power of Temporal Concurrent Constraint Programming Languages

机译：论时间并发约束规划语言的表现力
- 作者：Mogens Nielsen;Catuscia Palamidessi;Frank D. Valencia
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- constraint programming;
- timed systems;
- expressiveness;
11.Program Generation, Termination, and Binding-time Analysis

机译：程序生成，终止和绑定时间分析
- 作者：Neil D. Jones;Arne J. Glenstrup
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
12.Precise Pair-Sharing Analysis of Logic Programs

机译：逻辑程序的精确配对分享分析
- 作者：Vitaly Lagoon;Peter J. Stuckey
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- sharing;
- program analysis;
13.Towards a Primitive Higher Order Calculus of Broadcasting Systems

机译：朝着广播系统的原始高阶微积分
- 作者：Karol Ostrovsky;K. V. S. Prasad;Walid Taha
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- broadcasting;
- ethernet;
- calculi;
- programming languages;
- semantics;
- concurrency;
14.― System Presentation ― CARIBOO : An Induction Based Proof Tool for Termination with Strategies

机译：- 系统介绍 - Cariboo：终止策略的基于诱导的证明工具
- 作者：Olivier Fissore;Isabelle Gnaedig;Helene Kirchner
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- rewriting;
- termination;
- innermost;
- local stra-tegy;
- rule based language;
- induction;
- narrowing;
- ordering constraint;
- ELAN;
15.Constraint-Based Mode Analysis of Mercury

机译：基于约束的水星模式分析
- 作者：David Overton;Zoltan Somogyi;Peter J. Stuckey
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- modes;
- mode analysis;
- boolean constraints;
16.Combining an Improvement to PARMA Trailing with Trailing Analysis

机译：结合落后分析的帕尔马尾随的改进
- 作者：Tom Schrijvers;Bart Demoen
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- PARMA;
- trailing;
- program analysis;
17.Automated Protocol Verification in Linear Logic

机译：线性逻辑中的自动协议验证
- 作者：Marco Bozzano;Giorgio Delzanno
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- linear logic;
- bottom-up evaluation;
- model checking;
- authentication protocols;
18.Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus

机译：用型λ微积分评估评价的语义分析
- 作者：Marcelo Fiore
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
19.Using the Heap to Eliminate Stack Accesses

机译：使用堆来消除堆栈访问
- 作者：Zoltan Somogyi;Peter J. Stuckey
- 会议名称：《International ACM SIGPLAN conference on principles and practice of declarative programming》 | 2002年
- stack accesses;
- stack frames;
- heap cells;
- maximal matching;