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

功能性语言，在单个理论中暗示功能和logadigms，区域启动更可读的程序进行了签名和实现的功能 - 逻辑编程语言应用多媒体系统的应用程序。在适用的TRS的原子上，在分布式环境下，有效地执行了高度可读性的trs。：为了我……更多的mplement此系统d在分布式面向对象的编程环境上。 -Logic编程范式来自Mathematica。以及在功能范围内的算术机器中出现的算术语言。