首页>外文会议>Functional and Logic Programming

Functional and Logic Programming

召开年：2001
召开地：Tokyo(JP);Tokyo(JP)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Abstract Machine Based System for a Lazy Narrowing Calculus

机译：一种基于抽象机的懒惰微积分系统
- 作者：Teresa Hortala-Gonzalez;Eva Ullan
- 会议名称：《Functional and Logic Programming》 | 2001年
2.An Effective Bottom-Up Semantics for First-Order Linear Logic Programs

机译：一阶线性逻辑程序的有效的自下而上的语义
- 作者：Marco Bozzano;Giorgio Delzanno;Maurizio Martelli
- 会议名称：《Functional and Logic Programming》 | 2001年
3.Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine

机译：基于无脊椎无标签G机的Java虚拟机编译惰性函数程序
- 作者：Kwanghoon Choi;Hyun-il Lim;Taisook Han
- 会议名称：《Functional and Logic Programming》 | 2001年
4.Incremental Learning of Functional Logic Programs

机译：功能逻辑程序的增量学习
- 作者：C. Ferri-Ramirez;J. Hernandez-Orallo;M.J. Ramirez-Quintana
- 会议名称：《Functional and Logic Programming》 | 2001年
5.Monadic Encapsulation with Stack of Regions

机译：带区域堆栈的单子封装
- 作者：Koji Kagawa
- 会议名称：《Functional and Logic Programming》 | 2001年
6.A Complete Selection Function for Lazy Conditional Narrowing

机译：惰性条件缩小的完整选择功能
- 作者：Taro Suzuki;Aart Middeldorp
- 会议名称：《Functional and Logic Programming》 | 2001年
7.A Framework for Analysis of Typed Logic Programs

机译：分析类型逻辑程序的框架
- 作者：Vitaly Lagoon;Peter J. Stuckey
- 会议名称：《Functional and Logic Programming》 | 2001年
8.A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

机译：目标导向的功能逻辑程序自下而上评估框架
- 作者：Jesus M. Almendros-Jimenez;Antonio Becerra-Teron
- 会议名称：《Functional and Logic Programming》 | 2001年
9.A General Type Inference Framework for Hindley/Milner Style Systems

机译：用于Hindley / Milner风格系统的通用类型推断框架
- 作者：Martin Sulzmann
- 会议名称：《Functional and Logic Programming》 | 2001年
10.A Higher-Order Colon Translation

机译：高阶冒号翻译
- 作者：Olivier Danvy;Lasse R. Nielsen
- 会议名称：《Functional and Logic Programming》 | 2001年
11.A Higher-Order Logic Programming Language with Constraints

机译：有约束的高阶逻辑程序设计语言
- 作者：Javier Leach;Susana Nieva
- 会议名称：《Functional and Logic Programming》 | 2001年
12.A Practical Partial Evaluator for a Multi-Paradigm Declarative Language

机译：多范式声明语言的实用局部评估器
- 作者：Elvira Albert;Michael Harms;German Vidal
- 会议名称：《Functional and Logic Programming》 | 2001年
13.A Scalable Architecture for Proof-Carrying Code

机译：证明代码的可扩展架构
- 作者：George C. Necula
- 会议名称：《Functional and Logic Programming》 | 2001年
14.A Simple Take on Typed Abstract Syntax in Haskell-like Languages

机译：类似于Haskell语言的类型化抽象语法的简单理解
- 作者：Olivier Danvy;Morten Rhiger
- 会议名称：《Functional and Logic Programming》 | 2001年
15.A Simply Typed Context Calculus with First-Class Environments

机译：具有一流环境的简单类型上下文演算
- 作者：Masahiko Sato;Takafumi Sakurai;Yukiyoshi Kameyama
- 会议名称：《Functional and Logic Programming》 | 2001年
16.Abstract Compilation for Sharing Analysis

机译：共享分析的抽象编辑
- 作者：Gianluca Amato;Fausto Spoto
- 会议名称：《Functional and Logic Programming》 | 2001年
- abstract interpretation;
- domain theory;
- linear refinement;
- linear logic;
- logic programming;
17.Adding Linear Constraints over Real Numbers to Curry

机译：将实数上的线性约束添加到Curry
- 作者：Wolfgang Lux
- 会议名称：《Functional and Logic Programming》 | 2001年
18.Parameterized Logic Programs where Computing Meets Learning

机译：计算与学习相结合的参数化逻辑程序
- 作者：Taisuke SATO
- 会议名称：《Functional and Logic Programming》 | 2001年
19.Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

机译：在有序逻辑框架中证明异常的句法属性
- 作者：Jeff Polakow;Kwangkeun Yi
- 会议名称：《Functional and Logic Programming》 | 2001年
20.Refining the Barendregt Cube Using Parameters

机译：使用参数完善Barendregt多维数据集
- 作者：Fairouz Kamareddine;Twan Laan;Rob Nederpelt
- 会议名称：《Functional and Logic Programming》 | 2001年
21.Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and AProlog - A Case-study -

机译：通过遗传Harrop公式和AProlog指定和调试安全协议-案例研究-
- 作者：Giorgio Delzanno
- 会议名称：《Functional and Logic Programming》 | 2001年
22.The Metalanguage λProlog and Its Implementation

机译：元语言λProlog及其实现
- 作者：Gopalan Nadathur
- 会议名称：《Functional and Logic Programming》 | 2001年
23.Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs

机译：惰性功能逻辑程序的声明式调试的理论基础
- 作者：Rafael Caballero;Francisco J. Lopez-Fraguas;Mario Rodriguez-Artalejo
- 会议名称：《Functional and Logic Programming》 | 2001年
24.Well-Typed Logic Programs Are not Wrong

机译：逻辑良好的程序没有错
- 作者：Pierre Deransart;Jan-Georg Smaus
- 会议名称：《Functional and Logic Programming》 | 2001年