检索结果-内蒙古大学图书馆

A compiler and virtual machine for constraint-logic object-oriented programming with Muli

JOURNAL OF COMPUTER LANGUAGES 2019年 53卷 63-78页

作者： Dagefoerde, Jan C. Kuchen, Herbert Univ Munster ERCIS Leonardo Campus 3 D-48149 Munster Germany

The development of enterprise software typically relies on object-oriented (OO) programming languages. However, OO languages are not particularly suited for the implementation of software which involves solving complicated search problems with dynamically appearing constraints, e. g. as found in logistics. Aiming to improve this situation, we propose the Munster Logic-imperative Language (Muli). As a constraint-logic OO language, it facilitates an integrated implementation of applications that use aspects from both constraint-logic and object-oriented programming, thus eliminating the need to resort to JNI for the integration of search applications that are written in a (constraint) logic language. Muli extends Java by logic variables and encapsulated search. Its runtime is based on a symbolic Java virtual machine and leverages constraint solvers. Outside of search regions, Muli behaves just like Java. We motivate the benefits of integrating object-oriented programming and constraint-logic programming into a single language and introduce novel concepts that are required for a seamless integration. Furthermore, we present an operational semantics and transfer concepts and semantics into implementations of a compiler and a virtual machine.

关键词： programming paradigm integration programming language Constraint-logic programming Operational semantics Virtual machine implementation

来源：评论

学校读者我要写书评

暂无评论

An Operational Semantics for Constraint-Logic Imperative programming

An Operational Semantics for Constraint-Logic Imperative Pro...

引用

International Conference on Declarative programming (DECLARE)

作者： Dagefoerde, Jan C. Kuchen, Herbert Univ Munster ERCIS Munster Germany

ISBN: (纸本)9783030008017;9783030008000

Object-oriented (OO) languages such as Java are the dominating programming languages nowadays, among other reasons due to their ability to encapsulate data and operations working on them, as well as due to their support of inheritance. However, in contrast to constraint-logic languages, they are not particularly suited for solving search problems. During development of enterprise software, which occasionally requires some search, one option is to produce components in different languages and let them communicate. However, this can be clumsy. As a remedy, we have developed the constraint-logic OO language Muli, which augments Java with logic variables and encapsulated search. Its implementation is based on a symbolic Java virtual machine that supports constraint solving and backtracking. In the present paper, we focus on the non-deterministic operational semantics of an imperative core language.

关键词： Java Operational semantics Encapsulated search programming paradigm integration

来源：评论

学校读者我要写书评

暂无评论

A Constraint-logic Object-oriented Language 18

A Constraint-logic Object-oriented Language

引用

33rd Annual ACM Symposium on Applied Computing (ACM SAC)

作者： Dagefoerde, Jan C. Kuchen, Herbert ERCIS D-48149 Munster Germany

ISBN: (纸本)9781450351911

Object-oriented (OO) programming languages prevail in the development of enterprise software, but they do not particularly support the implementation of software which includes solving complicated search problems with dynamically appearing constraints, e.g. as found in logistics. Such problems could be tackled by implementing the main business logic in e.g. Java and the search in a constraint-logic language. However, integrating both aspects is clumsy. Thus, we propose the constraint-logic OO language Muli. It facilitates an integrated implementation of applications that use both aspects. Muli extends Java by logic variables and encapsulated search. Its implementation is based on a symbolic Java virtual machine and constraint solvers. Outside of search regions, Muli behaves just like Java. We motivate the benefits of integrating object-oriented programming and constraint-logic programming and introduce concepts that are required to achieve a seamless integration. We also describe our implementation of these concepts and discuss our approach.

关键词： programming paradigm integration Java symbolic execution constraint-logic programming virtual machine implementation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：