design and implementation of multimedia programming environment with functional-logic languages

函数式逻辑语言多媒体编程环境的设计与实现

基本信息

批准号：
07558152
负责人：
IDA Tetsuo
金额：
$ 0.7万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至 1997
项目状态：
已结题

项目摘要

Functional-logic programming languages, which implement both functional and logic paradigms in the single theoretical framework, are suitable for writing more readable programs, correctness checking or program transformations in large-scale programming due to their highly declarative style. We designed and implemented functional-logic programming languages applicable to programming of multi-media systems. Language systems designed and implemented in this research project are enumerated as follows.1.An applicative functional-logic programming language system : This system is based on a narrowing calculus called NCA (Narrowing Calculus for Applicative TRSs), which efficiently executes lazy narrowing for applicative TRSs. It provides much syntactic sugar that enables users to write highly readable programs.2.A functional-logic language system, based on a conditional narrowing calculus LC-NCd (Deterministic Lazy Conditional Narrowing Calculus), under distributed environment : In order to i … More mplement this system, we designed a co-ordination programming environment based on distributed object-oriented programming environment. Since this programming environment is written in Java, it easily interacts with multimedia interfaces developed by Java applets, rapidly developing software components.3.A functionsl-logic programming language system combined with Mathematica : This system provides both highly declarative programming style resulting from functional-logic programming paradigm aud very powerful programming environment from Mathematica.4.Two kinds of functional-logic programming language systems combined with a constraint solving system. One is designed based on a lazy narrowing calculus LNC extended by a set of inference rules implementing a constraint solver. The arithmetic expressions are solved by the constraint solver, whereas functions, as well as the ones occurring in arithmetic expressions, are processed by an abstract machine for the functional-logic programming language. The other is based on a functional programming language supplemented by equational constraints. In this lauguage equational constraints are viewed as relations. Less

函数式逻辑编程语言在单一理论框架中实现函数式和逻辑范式，由于其高度声明性的风格，适合在大规模编程中编写更具可读性的程序、正确性检查或程序转换。本研究项目设计和实现的适用于多媒体系统编程的逻辑编程语言系统列举如下。 1.应用函数逻辑编程语言系统：该系统基于称为NCA的缩小演算（缩小微积分for Applicative TRSs），它可以有效地执行applicative TRSs的惰性缩小，它提供了很多语法糖，使用户能够编写可读的程序。2.基于条件缩小演算LC-NCd（确定性缩小演算）的函数逻辑语言系统。、分布式环境下：为了实现本系统，我们设计了一个基于分布式面向对象编程环境的协调编程环境。环境是用Java编写的，它可以轻松地与Java小程序开发的多媒体界面交互，快速开发软件组件。3.与Mathematica结合的函数逻辑编程语言系统：该系统提供了由函数逻辑编程范式产生的高度声明式编程风格来自 Mathematica 的非常强大的编程环境。4.两种与约束求解系统相结合的函数逻辑编程语言系统，其中一种是基于惰性缩小演算 LNC 设计的，该演算由一组实现约束的推理规则扩展。算术表达式由约束求解器求解，而函数以及算术表达式中出现的函数由函数逻辑编程语言的抽象机处理，另一种基于函数式编程语言，并辅以函数式编程语言。在这种语言中，方程约束被视为关系。