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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

15 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

13 篇 工学
- 12 篇 计算机科学与技术...
- 10 篇 软件工程
- 2 篇 电气工程
- 1 篇 力学（可授工学、理...
- 1 篇 控制科学与工程
2 篇 理学
- 2 篇 数学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

2 篇 software systems
2 篇 programming
2 篇 systems engineer...
2 篇 software enginee...
2 篇 computer languag...
2 篇 communications t...
2 篇 software testing
2 篇 embedded softwar...
2 篇 embedded system
2 篇 programming lang...
2 篇 system testing
2 篇 test equipment
2 篇 logics and meani...
1 篇 object oriented ...
1 篇 heterogenous sys...
1 篇 program calculat...
1 篇 hardware-softwar...
1 篇 access control
1 篇 smart contracts
1 篇 automatic synthe...

机构

1 篇 indiana universi...
1 篇 univ cambridge c...
1 篇 university of en...
1 篇 department of co...
1 篇 school of inform...
1 篇 inria umr 7161 e...
1 篇 technion israel ...
1 篇 department for e...
1 篇 centro de inform...
1 篇 kyushu inst tech...
1 篇 s-core. ltd. kor...
1 篇 chalmers univers...
1 篇 programming syst...
1 篇 aix marseille un...
1 篇 siemens ag progr...
1 篇 department of co...
1 篇 eth comp engn & ...
1 篇 iminds-distrinet...
1 篇 univ freiburg fr...
1 篇 dept of computer...

作者

1 篇 accattoli beniam...
1 篇 van delft bart
1 篇 na hyunik
1 篇 clarke dave
1 篇 wu youfeng
1 篇 yahav eran
1 篇 scherer tobias
1 篇 patrignani marco
1 篇 h.j. zainzinger
1 篇 lucero giovanny
1 篇 thiemann peter
1 篇 mizuhito ogawa
1 篇 wang cheng
1 篇 schor lars
1 篇 tretter andreas
1 篇 emoto kento
1 篇 thiele lothar
1 篇 murata kosuke
1 篇 mulligan dominic...
1 篇 naumann david

语言

17 篇 英文

检索条件"任意字段=11th Asian Symposium on Programming Languages and Systems, APLAS 2013"

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

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

详细简洁

排序：

programming languages and systems - 11th asian symposium, aplas 2013, Proceedings

Programming Languages and Systems - 11th Asian Symposium, AP...

引用

11th asian symposium on programming languages and systems, aplas 2013

ISBN: (纸本)9783319035413

the proceedings contain 26 papers. the topics discussed include: Brzozowski's and up-to algorithms for must testing;practical alternating parity tree automata model checking of higher-order recursion schemes;model checking dynamic pushdown networks;robustness analysis of finite precision implementations;the undefined domain: precise relational information for entities that do not exist;separation logic modulo theories;bi-abduction with pure properties for specification inference;laws of programming for references;dynamic alias protection with aliasing contracts;fine-grained function visibility for multiple dispatch with multiple inheritance;internal deployment of the parfait static code analysis tool at oracle;secure compilation of object-oriented components to protected module architectures;and generalized quantitative analysis of metric transition systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Chung-chieh Shan

ISBN: (数字)9783319035420

ISBN: (纸本)9783319035413

this book constitutes the refereed proceedings of the 11th asian symposium on programming languages and systems, aplas 2013, held in Melbourne, Australia, in December 2013. the 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. the papers cover a variety of foundational and practical issues in programming languages and systems.

关键词： programming languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal languages Computer Science, general

来源：评论

学校读者我要写书评

暂无评论

thisJava: An extension of Java with exact types

ThisJava: An extension of Java with exact types

引用

11th asian symposium on programming languages and systems, aplas 2013

作者： Na, Hyunik Ryu, Sukyoung S-Core. Ltd. Korea Republic of Department of Computer Science KAIST Korea Republic of

ISBN: (纸本)9783319035413

We propose thisJava, an extension of Java-like programming languages with exact class types and this types, to support more useful methods with more precise types. To realize the proposed approach, we provide an open-source prototype implementation of the language and show its practicality and backward compatibility. We believe that our system elucidates the long pursuit of an object-oriented language with "this types." © Springer International Publishing 2013.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Paragon for practical programming with information-flow control

Paragon for practical programming with information-flow cont...

引用

11th asian symposium on programming languages and systems, aplas 2013

作者： Broberg, Niklas Van Delft, Bart Sands, David Chalmers University of Technology Sweden

ISBN: (纸本)9783319035413

Conventional security policies for software applications are adequate for managing concerns on the level of access control. But standard abstraction mechanisms of mainstream programming languages are not sufficient to express how information is allowed to flow between resources once access to them has been obtained. In practice we believe that such control - information flow control - is needed to manage the end-to-end security properties of applications. In this paper we present Paragon, a Java-based language with first-class support for static checking of information flow control policies. Paragon policies are specified in a logic-based policy language. By virtue of their explicitly stateful nature, these policies appear to be more expressive and flexible than those used in previous languages with information-flow support. Our contribution is to present the design and implementation of Paragon, which smoothly integrates the policy language with Java's object-oriented setting, and reaps the benefits of the marriage with a fully fledged programming language. © Springer International Publishing 2013.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Laws of programming for references

Laws of programming for references

引用

11th asian symposium on programming languages and systems, aplas 2013

作者： Lucero, Giovanny Naumann, David Sampaio, Augusto Centro de Informática Universidade Federal de Pernambuco Brazil Dept of Computer Science Stevens Inst of Technology United States

ISBN: (纸本)9783319035413

We propose a set of algebraic laws for reasoning with sequential imperative programs that use object references like in Java. the theory is based on previous work by adding laws to cope with object references. the incrementality of the algebraic method is fundamental;with a few exceptions, existing laws for copy semantics are entirely reused, as they are not affected by the proposed laws for reference semantics. As an evidence of relative completeness, we show that any program can be transformed, through the use of our laws, to a normal form which simulates it using an explicit heap with copy semantics. © Springer International Publishing 2013.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Open Call-by-Value 14th

Open Call-by-Value

引用

14th asian symposium on programming languages and systems (aplas)

作者： Accattoli, Beniamino Guerrieri, Giulio Inria UMR 7161 Ecole Polytech LIX Palaiseau France Aix Marseille Univ CNRS Cent Marseille I2M Marseille France

ISBN: (纸本)9783319479576;9783319479583

the elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required, and it is well known that the operational semantics of call-by-value becomes problematic in this case. Here we study the intermediate setting-that we call Open Call-by-Value-of weak evaluation with open terms, on top of which Gregoire and Leroy designed the abstract machine of Coq. Various calculi for Open Call-by-Value already exist, each one with its pros and cons. this paper presents a detailed comparative study of the operational semantics of four of them, coming from different areas such as the study of abstract machines, denotational semantics, linear logic proof nets, and sequent calculus. We show that these calculi are all equivalent from a termination point of view, justifying the slogan Open Call-by-Value.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

programming with "Big Code" 13th

Programming with "Big Code"

引用

13th asian symposium on programming languages and systems (aplas)

作者： Yahav, Eran Technion Israel Inst Technol Haifa Israel

ISBN: (纸本)9783319265292;9783319265285

the vast amount of code available on the web is increasing on a daily basis. Open-source hosting sites such as Github contain billions of lines of code. Community question-answering sites provide millions of code snippets with corresponding text and metadata. the amount of code available in executable binaries is even greater. In this talk, I will cover recent research trends on leveraging such "big code" for program analysis, program synthesis and reverse engineering. We will consider a range of semantic representations based on symbolic automata [11,15], tracelets [3], numerical abstractions [13,14], and textual descriptions [1,22], as well as different notions of code similarity based on these representations. To leverage these semantic representations, we will consider a number of prediction techniques, including statistical language models [19,20], variable order Markov models [2], and other distance-based and model-based sequence classification techniques. Finally, I will show applications of these techniques including semantic code search in both source code and stripped binaries, code completion and reverse engineering.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Recursion Schemes in Coq 17th

Recursion Schemes in Coq

引用

17th asian symposium on programming languages and systems (aplas)

作者： Murata, Kosuke Emoto, Kento Kyushu Inst Technol Kitakyushu Fukuoka Japan

ISBN: (纸本)9783030341756;9783030341749

Program calculation, a programming technique to derive efficient programs from naive ones by program transformation, is challenging for program optimization. Tesson et al. have shown that Coq, a popular proof assistant, provides a cost-effective way to implement a powerful system for verifying correctness of program transformations, but their applications are limited to list functions in the theory of Lists. In this paper, we propose an easy-to-use Coq library to prove more advanced calculation rules in Coq for various recursion schemes, which capture recursive programs on an arbitrary algebraic datatype. We prove all the lemmas and theorems about recursion schemes in Coq including histomorphisms and futumorphisms proposed by Uustalu et al. Our library can be used to obtain certified runnable programs from their definitions written with recursion schemes in Coq scripts. We demonstrate a certified runnable program for the Fibonacci numbers and unbounded knapsack problem from their histomorphic definitions.

关键词： Program calculation Functional programming Recursion schemes Coq

来源：评论

学校读者我要写书评

暂无评论

Testing embedded systems by using a C++ script interpreter 11

Testing embedded systems by using a C++ script interpreter

引用

11th asian Test symposium

作者： Zainzinger, HJ Austria, SA Siemens AG Program & Syst Engn Enterprise Commun Technol Dept Embedded Software & IP Based Applicat A-1194 Vienna Austria

ISBN: (纸本)0769518257

In this article we present a generic test equipment for embedded platform software. Our approach helps to overcome the paradigms of modern software development like object-oriented concepts, rapid prototyping and communication-support over a big number of different protocols. As we support different platforms, we describe the most relevant differences between compilers, processors and operating systems. Since testers of embedded systems are usually familiar with C and C++, the test equipment is based on CINT, a C++ interpreter. the last section of this paper investigates the advantages and drawbacks of CINT.

关键词： Communications technology Computer languages Embedded software Embedded system programming Software systems Software testing System testing systems engineering and theory Test equipment

来源：评论

学校读者我要写书评

暂无评论

Secure compilation of object-oriented components to protected module architectures

Secure compilation of object-oriented components to protecte...

引用

11th asian symposium on programming languages and systems, aplas 2013

作者： Patrignani, Marco Clarke, Dave Piessens, Frank IMinds-DistriNet Dept. Computer Science KU Leuven Belgium

ISBN: (纸本)9783319035413

A fully abstract compilation scheme prevents the security features of the high-level language from being bypassed by an attacker operating at a particular lower level. this paper presents a fully abstract compilation scheme from a realistic object-oriented language with dynamic memory allocation, cross-package inheritance, exceptions and inner classes to untyped machine code. Full abstraction of the compilation scheme relies on enhancing the low-level machine model with a fine-grained, program counter-based memory access control mechanism. this paper contains the outline of a formal proof of full abstraction of the compilation scheme. Measurements of the overhead introduced by the compilation scheme indicate that it is negligible. © Springer International Publishing 2013.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：