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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

88 篇 期刊文献
83 篇 会议
3 册 图书
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

160 篇 工学
- 140 篇 计算机科学与技术...
- 70 篇 软件工程
- 21 篇 电气工程
- 12 篇 信息与通信工程
- 9 篇 控制科学与工程
- 3 篇 仪器科学与技术
- 2 篇 机械工程
- 2 篇 动力工程及工程热...
- 2 篇 石油与天然气工程
- 1 篇 力学（可授工学、理...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 航空宇航科学与技...
29 篇 理学
- 22 篇 数学
- 3 篇 物理学
- 2 篇 化学
- 2 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 科学技术史(分学科...
8 篇 管理学
- 6 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...
3 篇 哲学
- 1 篇 哲学
2 篇 教育学
- 2 篇 教育学
1 篇 农学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

177 篇 declarative prog...
18 篇 logic programmin...
11 篇 answer set progr...
8 篇 prolog
6 篇 imperative progr...
6 篇 constraint progr...
5 篇 constraints
5 篇 programming lang...
5 篇 artificial intel...
5 篇 program complete...
5 篇 programming lang...
4 篇 program correctn...
4 篇 languages
4 篇 extensible middl...
4 篇 search
4 篇 metadata
4 篇 multidimensional...
4 篇 separation of co...
3 篇 cartesian progra...
3 篇 parallelism

机构

6 篇 univ pisa dept c...
3 篇 univ penn philad...
3 篇 linkoping univ d...
3 篇 univ new s wales...
3 篇 polish acad sci ...
2 篇 univ malaga lcc ...
2 篇 vrije universite...
2 篇 univ texas arlin...
2 篇 linkoping univ i...
2 篇 rise kista
2 篇 cau kiel inst in...
2 篇 univ parma dipar...
2 篇 univ politecn va...
2 篇 univ turku turku
2 篇 polish acad sci ...
2 篇 univ bergen berg...
2 篇 univ kentucky co...
2 篇 univ americas pu...
2 篇 johns hopkins un...
2 篇 university of am...

作者

7 篇 forti stefano
7 篇 brogi antonio
5 篇 drabent wlodzimi...
4 篇 mancilla blanca
4 篇 plaice john
3 篇 ferrari gian-lui...
3 篇 hellerstein jose...
3 篇 calimeri frances...
3 篇 loo boon thau
3 篇 hanus michael
3 篇 germano stefano
3 篇 gopal sriram
2 篇 barash mikhail
2 篇 casadei roberto
2 篇 stevens reinout
2 篇 salvador lucas
2 篇 henderson chris
2 篇 varela carlos a.
2 篇 stokke knut ande...
2 篇 enrico pontelli

语言

162 篇 英文
14 篇 其他
1 篇 中文

检索条件"主题词=Declarative Programming"

共 177 条记录，以下是121-130 订阅

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

详细简洁

排序：

Querying the History of Software Projects using QWALKEKO 30

Querying the History of Software Projects using QWALKEKO

引用

30th IEEE International Conference on Software Maintenance and Evolution (ICSME)

作者： Stevens, Reinout De Roover, Coen Vrije Univ Brussel Software Languages Lab Brussels Belgium Osaka Univ Software Engn Lab Osaka Japan

ISBN: (纸本)9780769553030

We present the QWALKEKO meta-programming library for Clojure that enables querying the history of versioned software projects in a declarative manner. Unique to this library is its support for regular path expressions within history queries. Regular path expressions are akin to regular expressions, except that they match a sequence of successive snapshots of a software project along which user-specified logic conditions must hold. Such logic conditions can concern the source code within a snapshot, versioning information associated with the snapshot, as well as patterns of source code changes with respect to other snapshots. We have successfully used the resulting multi-faceted queries to detect refactorings in project histories. In this paper, we discuss how applicative logic meta-programming enabled combining the heterogenous components of QWALKEKO into a uniform whole. We focus on the applicative logic interface to a new implementation of a well-known change distilling algorithm. We use the problem of detecting and categorizing changes made to SELENIUM-based test scripts for illustration purposes.

关键词： declarative programming history querying mining software repositories program querying

来源：评论

学校读者我要写书评

暂无评论

Program Synthesis for declarative Systems

Program Synthesis for Declarative Systems

引用

作者： Chen, Haoxian University of Pennsylvania

学位级别：Ph.D., Doctor of Philosophy

Formal methods are essential in assuring system correctness. However, formal specification languages have steep learning curves, thus hindering broader application to system development in practice. To address this problem, we propose NetSpec, a tool that generates system specification via intuitive example-based interface, DeCon, a high-level language for Ethereum smart contracts that provides unified interfaces for contract implementation and specification, and DCV, a safety verification tool for DeCon. NetSpec aims to be i) highly expressive, capable of synthesizing network specifications with complex semantics; ii) scalable, by virtue of using a novel stochastic search algorithm to efficiently explore an unbounded solution space, and iii) robust, avoiding the need for exhaustive input-output examples by actively generating new examples. Our experiments demonstrate that NetSpec can synthesize a wide range of specifications used in network verification, analysis, and implementations. Furthermore, NetSpec improves upon existing approaches in terms of expressiveness, efficiency, and robustness to examples. DeCon, a specification language for Ethereum smart contracts, models a contract as a set of relational tables that store transaction records, driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints. This relational representation enables convenient specification of contract properties, facilitates run-time monitoring of potential property violations, and brings clarity to debugging via data provenance. DeCon programs are compiled into executable Solidity programs, with instrumentation for run-time property monitoring. Our case studies demonstrate that DeCon can implement realistic smart contracts such as ERC20 and ERC721 digital tokens. The evaluation shows that DeCon has comparable efficiency with the open-source reference implementation, incurring 14% median gas overhead for exec

关键词： Computer networks declarative programming Program synthesis Program verification Smart contracts NetSpec DeCon

来源：评论

学校读者我要写书评

暂无评论

declarative Provisioning of Virtual Network Function Chains in Intent-based Networks 9

Declarative Provisioning of Virtual Network Function Chains ...

引用

9th IEEE International Conference on Network Softwarization (IEEE NetSoft) - Boosting Future Networks through Advanced Softwarization

作者： Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy

ISBN: (纸本)9798350399806

Intent-based Networking (IBN) aims at simplifying network configuration and management by using high-level objectives that express the desired state of the network rather than the details of how to implement it. In this article, we propose a declarative methodology and an associated open-source Prolog prototype (i) to model IBN intents related to the provisioning of Virtual Network Function (VNF) chains, and (ii) to process those intents to assemble and place a VNF chain that fulfils them. Our prototype is assessed over a lifelike motivating scenario.

关键词： intent-based networking declarative programming virtual network functions cloud-edge continuum

来源：评论

学校读者我要写书评

暂无评论

An SBVR Framework for RESTful Web Applications

An SBVR Framework for RESTful Web Applications

引用

International Symposium on Rule Interchange and Applications

作者： Marinos, Alexandros Krause, Paul Univ Surrey FEPS Dept Comp Guildford GU2 7XH Surrey England

ISBN: (纸本)9783642049842

We propose a framework that can be used to produce functioning web applications from SBVR models. To achieve this, we begin by discussing the concept of declarative application generation and examining the commonalities between SBVR and the RESTful architectural style of the web. We then show how a relational database schema and RESTful interface can be generated from an SBVR model. In this context, we discuss how SBVR can be used to semantically describe hypermedia on the Web and enhance its evolvability and loose coupling properties. Finally, we show that this system is capable of exhibiting process-like behaviour without requiring explicitly defined processes.

关键词： SBVR REST SQL Web-based Applications declarative programming Business Rules

来源：评论

学校读者我要写书评

暂无评论

Automated Abstract Certification of Non-interference with object aliasing in Rewriting Logic 9

Automated Abstract Certification of Non-interference with ob...

引用

9th Computing Colombian Conference (CCC)

作者： Alba-Castro, Mauricio Univ Autonoma Manizales UAM Dept Comp Sci Manizales Colombia

ISBN: (纸本)9781479967179

Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from high to low security levels. In this paper, we extend a certification technique for confidentiality of Java classes regarding non-interference, in order to consider objects and object aliasing. The technique is based on rewriting logic, which is efficiently implemented in the high-level programming language Maude. Starting from a previous Java abstract semantics specification written in Maude, we develop an information flow sensitive Java semantics that allows us to observe global non-interference properties, with object aliasing. In order to achieve a finite state transition system, we develop an abstract Java semantics that we use for secure and effective confidentiality analysis. We have implemented our methodology and developed some experiments that demonstrate the feasibility of our approach.

关键词： Computer Security Non-interference declarative programming Software engineering

来源：评论

学校读者我要写书评

暂无评论

declarative Smart Contracts 2022

Declarative Smart Contracts

引用

30th ACM Joint European Software Engineering Conference / Symposium on the Foundations of Software Engineering (ESEC/FSE)

作者： Chen, Haoxian Whitters, Gerald Amiri, Mohammad Javad Wang, Yuepeng Loo, Boon Thau Univ Penn Philadelphia PA 19104 USA Simon Fraser Univ Burnaby BC Canada

ISBN: (纸本)9781450394130

This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints, DeCon models each smart contract as a set of relational tables that store transaction records. This relational representation of smart contracts enables convenient specification of contract properties, facilitates run-time monitoring of potential property violations, and brings clarity to contract debugging via data provenance. Specifically, a DeCon program consists of a set of declarative rules and violation query rules over the relational representation, describing the smart contract implementation and contract-level properties, respectively. We have developed a tool that can compile DeCon programs into executable Solidity programs, with instrumentation for run-time property monitoring. Our case studies demonstrate that DeCon can implement realistic smart contracts such as ERC20 and ERC721 digital tokens. Our evaluation results reveal the marginal overhead of DeCon compared to the open-source reference implementation, incurring 14% median gas overhead for execution, and another 16% median gas overhead for run-time verification.

关键词： Smart contracts declarative programming Run-time verification

来源：评论

学校读者我要写书评

暂无评论

Optimizing declarative Sensornets 08

Optimizing Declarative Sensornets

引用

6th ACM Conference on Embedded Networked Sensor Systems

作者： Chu, David Hellerstein, Joseph M. Lai, Tsung-te Univ Calif Berkeley EECS Comp Sci Div Berkeley CA 94720 USA

This work extends the declarative sensornet programming model with automated program optimizations that attempt to minimize energy expenditure at various points in the communications stack.

ISBN: (纸本)9781595939906

This work extends the declarative sensornet programming model with automated program optimizations that attempt to minimize energy expenditure at various points in the communications stack.

关键词： Sensor Networks declarative programming

来源：评论

学校读者我要写书评

暂无评论

AlloyFL: A Fault Localization Framework for Alloy 2021

AlloyFL: A Fault Localization Framework for Alloy

引用

29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

作者： Khan, Tanvir Ahmed Sullivan, Allison Wang, Kaiyuan Univ Texas Arlington Arlington TX 76019 USA Google Inc Sunnyvale CA USA

ISBN: (纸本)9781450385626

declarative models help improve the reliability of software systems: models can be used to convey requirements, analyze system designs and verify implementation properties. Alloy is a commonly used modeling language. A key strength of Alloy is the Analyzer, Alloy's integrated development environment (IDE), which allows users to write and execute models by leveraging a fully automatic SAT based analysis engine. Unfortunately, writing correct constraints of complex properties is *** help users identify fault locations, AlloyFL is a fault localization technique that takes as input a faulty Alloy model and a fault-revealing test suite. As output, AlloyFL returns a ranked list of locations from most to least suspicious. This paper describes our Java implementation of AlloyFL as an extension to the Analyzer. Our experimental results show AlloyFL is capable of detecting the location of real world faults and works in the presence of multiple faulty locations.

关键词： Alloy Fault localization declarative programming

来源：评论

学校读者我要写书评

暂无评论

Verifying Fail-Free declarative Programs 18

Verifying Fail-Free Declarative Programs

引用

20th International Symposium on Principles and Practice of declarative programming (PPDP)

作者： Hanus, Michael CAU Kiel Inst Informat Kiel Germany

ISBN: (纸本)9781450364416

Failed computations are a frequent problem in software system development. Some failures have external reasons (e.g., missing files) that can be caught by exception handlers. Many other failures have internal reasons, such as calling a partially defined operation with unintended arguments. In order to avoid the latter kind of failures, one can try to analyze the program at compile time for potential occurrences of these failures at run time. In this paper we present an approach to verify the absence of such failures in functional logic programs. Since programming with failures is a typical technique in logic programming, we are not interested to abandon partially defined operations at all. Instead, we want to verify conditions which ensure that operations can be executed without running into a failure. For this purpose, we propose to annotate operations with non-fail conditions that are verified at compile time with an SMT solver. For successfully verified programs, it is ensured that computations never fail provided that the non-fail condition of the main operation is satisfied.

关键词： declarative programming program failures verification

来源：评论

学校读者我要写书评

暂无评论

A Framework for declarative Autograders 2023

A Framework for Declarative Autograders

引用

54th Annual ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE TS)

作者： Hovemeyer, David Johns Hopkins Univ Baltimore MD 21218 USA

ISBN: (纸本)9781450394338

Autograders - programs which run automated tests on student code submissions in order to judge functional correctness - are a useful way to provide immediate feedback to students on the quality of their work, and to reduce the manual effort required to assign grades. Platforms such as Gradescope (***) are increasingly a critical type of infrastructure for CS courses, especially as enrollments grow. The declarative Autograder Framework (DAF) is an open source Ruby library intended to make autograders relatively easy to implement, by cleanly separating the concerns of what is tested from how that testing is carried out. It has been used successfully in several courses to autograde tens of thousands of code submissions for more than one thousand students.

关键词： autograders declarative programming software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共18页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：