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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

4 篇 会议

馆藏范围

4 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4 篇 工学
- 4 篇 计算机科学与技术...
- 2 篇 软件工程
1 篇 理学
- 1 篇 数学

主题

4 篇 constraint-logic...
1 篇 java bytecode
1 篇 program transfor...
1 篇 programming lang...
1 篇 constraint solvi...
1 篇 symbolic executi...
1 篇 multi-paradigm l...
1 篇 reference-type l...
1 篇 runtime systems
1 篇 dynamic solution...
1 篇 infinite search ...
1 篇 symbolic arrays
1 篇 virtual machine ...

机构

1 篇 univ munster erc...
1 篇 univ munster mun...
1 篇 univ munster erc...
1 篇 univ munster dep...

作者

4 篇 kuchen herbert
3 篇 winkelmann hendr...
2 篇 dagefoerde jan c...

语言

4 篇 英文

检索条件"主题词=Constraint-logic object-oriented programming"

共 4 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

constraint-logic object-oriented programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing 18

Constraint-Logic Object-Oriented Programming with Free Array...

引用

18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Winkelmann, Hendrik Kuchen, Herbert Univ Munster Dept Informat Syst Leonardo Campus 3 Munster Germany

ISBN: (纸本)9789897586477

constraint-logic object-oriented programming is a young programming paradigm that aims to bring constraint-solving techniques to an audience more accustomed to imperative programming. A prototypical language of this paradigm, Muli, allows for the use not only of primitive-typed free variables, but also for free objects and free arrays of primitive-typed elements. In the work at hand, we extend the current version of Muli so that it supports free arrays of arrays and free arrays of objects. We do so by utilizing the concept of symbolic aliasing. Our evaluation shows that the presented approach can speed up program validation and test case generation, as well as solving complex constraint satisfaction problems.

关键词： constraint-logic object-oriented programming constraint Solving Symbolic Execution Symbolic Arrays

来源：评论

学校读者我要写书评

暂无评论

constraint-logic object-oriented programming on the Java Virtual Machine 22

Constraint-Logic Object-Oriented Programming on the Java Vir...

引用

37th Annual ACM Symposium on Applied Computing

作者： Winkelmann, Hendrik Kuchen, Herbert Univ Munster Munster Germany

ISBN: (纸本)9781450387132

constraint-logic object-oriented programming is a paradigm by means of which multiple application areas, such as the formulation of and solving constraint-satisfaction problems, the systematic generation of object graphs, and test-case generation become language features. This paradigm has been implemented in the prototypical programming language Muli. Though the usefulness of aforementioned features has been demonstrated in the past, Muli has seen little practical adoption. The reasons for this is the performance of the current implementation of Muli and its technical incompatibility with existing systems. In this paper, we give further details on these limitations, derive desiderata for a new implementation of Muli and design a new system, Mulib, that enables the features of this paradigm on a standard Java virtual machine. In this context, we furthermore provide the means to efficiently make use of incremental constraint solvers in a parallel setting.

关键词： constraint-logic object-oriented programming Program transformation Java bytecode

来源：评论

学校读者我要写书评

暂无评论

Free objects in constraint-logic object-oriented programming 2021

Free Objects in Constraint-logic Object-oriented Programming

引用

23rd International Symposium on Principles and Practice of Declarative programming (PPDP)

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

ISBN: (纸本)9781450386890

constraint-logic object-oriented programming facilitates the integrated development of business software that occasionally solves constraint-logic problems or makes other use of structured search. So far, work in constraint-logic object-oriented programming has been limited to considering constraints that only involve logic variables of primitive types;in particular, boolean, integer, and floating-point numbers. However, the availability of object-oriented features calls for the option to use logic variables in lieu of objects as well. Therefore, support for reference-type logic variables (or free objects) is required. With the work at hand, we add support for free objects to a Java-based constraint-logic object-oriented language, Muli. Allowing free objects in statements and expressions results in novel interactions with objects at run time, for instance, non-deterministic execution of polymorphic method invocations (taking arbitrary class hierarchies into account) and non-deterministic type operations. At run time, this is supported by a dynamic type constraint that restricts the possible types of a free object at non-deterministic choices.

关键词： constraint-logic object-oriented programming reference-type logic variables programming language implementation runtime systems

来源：评论

学校读者我要写书评

暂无评论

Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space 19

Retrieval of Individual Solutions from Encapsulated Search w...

引用

34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC)

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

ISBN: (纸本)9781450359337

constraint-logic object-oriented programming facilitates the development of applications that occasionally solve search problems. To that end it is possible to define constraints imperatively on-the-fly, using conditions over free variables. As a result, the search space is defined dynamically at runtime, based on the evaluation of such conditions in control structures. Consequently, the search space can -intentionally or by accident - become infinitely large if recursion and/or loops are involved. It is therefore desirable that the corresponding encapsulated search can be controlled by application developers. To that end, we discuss mechanisms for encapsulating such a search space and retrieving solutions from it. Our implementation for Muli is based on an appropriately extended symbolic Java virtual machine and it leverages the Java Stream API to provide a control mechanism that integrates well with object-oriented programs. Moreover, we show how our language Muli behaves for some example programs.

关键词： Infinite search space dynamic solution retrieval constraint-logic object-oriented programming multi-paradigm languages virtual machine implementation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：