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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

5 篇 工学
- 5 篇 计算机科学与技术...
- 2 篇 软件工程
- 1 篇 力学（可授工学、理...
- 1 篇 控制科学与工程

主题

1 篇 access control
1 篇 function composi...
1 篇 theory of comput...
1 篇 real time system...
1 篇 software enginee...
1 篇 system performan...
1 篇 concatenative pr...
1 篇 compiler coq
1 篇 semantics
1 篇 programming tech...
1 篇 programming lang...
1 篇 artificial intel...
1 篇 scala
1 篇 formal methods
1 篇 functional progr...

机构

1 篇 victoria univ we...
1 篇 lifl/ustl-lille
1 篇 chalmers univers...
1 篇 onera-toulouse
1 篇 montoux ny usa
1 篇 korea advanced i...
1 篇 katholieke univ ...
1 篇 st joseph univ c...

作者

1 篇 van delft bart
1 篇 homer michael
1 篇 mezher dani
1 篇 devriese dominiq...
1 篇 jones timothy
1 篇 sukyoung ryu
1 篇 boniol frédéric
1 篇 reynders bob
1 篇 el bakouny youss...
1 篇 sands david
1 篇 pagetti claire
1 篇 wyss rémy
1 篇 forget julien
1 篇 broberg niklas

语言

7 篇 英文

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

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

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

详细简洁

排序：

16th asian symposium on programming languages and systems, aplas 2018

16th Asian Symposium on Programming Languages and Systems, A...

引用

16th asian symposium on programming languages and systems, aplas 2018

ISBN: (纸本)9783030027674

the proceedings contain 22 papers. the special focus in this conference is on programming languages and systems. the topics include: New Approaches for Almost-Sure Termination of Probabilistic Programs;particle-Style Geometry of Interaction as a Module System;automated Synthesis of Functional Programs with Auxiliary Functions;Modular Verification of SPARCv8 Code;formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine;automated Modular Verification for Relaxed Communication Protocols;automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks;on the Complexity of Pointer Arithmetic in Separation Logic;a Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints;factoring Derivation Spaces via Intersection Types;Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS;model Checking Differentially Private Properties;shallow Effect Handlers;types of Fireballs;on the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation;complexity Analysis of Tree Share Structure;relational thread-Modular Abstract Interpretation Under Relaxed Memory Models;scallina: Translating Verified Programs from Coq to Scala;HoIce: An ICE-Based Non-linear Horn Clause Solver;traf: A Graphical Proof Tree Viewer Cooperating with Coq through Proof General.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the Practice of a Compositional Functional programming Language 16th

The Practice of a Compositional Functional Programming Langu...

引用

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

作者： Jones, Timothy Homer, Michael Montoux New York NY USA Victoria Univ Wellington Wellington New Zealand

ISBN: (纸本)9783030027674;9783030027681

Function composition is a very natural operation, but most language paradigms provide poor support for it. Without linguistic support programmers must work around or manually implement what would be simple compositions. the Kihi language uses only composition, makes all state visible, and reduces to just six core operations. Kihi programs are easily stepped by textual reduction but provide a foundation for compositional design and analysis.

关键词： Function composition Concatenative programming

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Sukyoung Ryu

this book constitutes the proceedings of the 16th asian symposium on programming languages and systems, aplas 2018, held in Wellington, New Zealand, in December 2018.

ISBN: (数字)9783030027681

ISBN: (纸本)9783030027674

this book constitutes the proceedings of the 16th asian symposium on programming languages and systems, aplas 2018, held in Wellington, New Zealand, in December 2018.

关键词： programming languages, Compilers, Interpreters Software Engineering programming Techniques theory of Computation Artificial Intelligence System Performance and Evaluation

来源：评论

学校读者我要写书评

暂无评论

Scallina: Translating Verified Programs from Coq to Scala 16th

Scallina: Translating Verified Programs from Coq to Scala

引用

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

作者： El Bakouny, Youssef Mezher, Dani St Joseph Univ CIMTI ESIB Beirut Lebanon

ISBN: (纸本)9783030027674;9783030027681

this paper presents the Scallina prototype: a new tool which allows the translation of verified Coq programs to Scala. A typical workflow features a user implementing a functional program in Gallina, the core language of Coq, proving this program's correctness with regards to its specification and making use of Scallina to synthesize readable Scala components. this synthesis of readable, debuggable and traceable Scala components facilitates their integration into larger Scala or Java applications;opening the door for a wider community of programmers to benefit from the Coq proof assistant. Furthermore, the current implementation of the Scallina translator, along with its underlying formalization of the Scallina grammar and corresponding translation strategy, paves the way for an optimal support of the Scala programming language in Coq's native extraction mechanism.

关键词： Formal methods Functional programming Compiler Coq Scala

来源：评论

学校读者我要写书评

暂无评论

Efficient Functional Reactive programming through Incremental Behaviors 1

引用

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

作者： Reynders, Bob Devriese, Dominique Katholieke Univ Leuven Imec DistriNet Leuven Belgium

ISBN: (数字)9783319712376

ISBN: (纸本)9783319712376

Many types of software are inherently event-driven ranging from web applications to embedded devices and traditionally, such applications are implemented using imperative callbacks. An alternative approach to writing such programs is functional reactive programming (FRP). FRP offers abstractions to make event-driven programming convenient, safe and composable, but they come at a price. FRP behaviors cannot efficiently deal with larger, incrementally constructed values such as a collection of messages or a list of connected devices. Since these situations occur naturally, it hinders the use of FRP. We report on a new FRP primitive: `incremental behavior'. We show that the semantics fit within existing FRP semantics and that their API can be used as a foundation for more ad-hoc solutions, such as incremental collections and discrete behaviors. Finally, we present benchmarks that demonstrate the advantages of incremental behaviors in terms of reduced computation time and bandwidth.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A synchronous language with partial delay specification for real-time systems programming 1

引用

10th asian symposium on programming languages and systems, aplas 2012

作者： Wyss, Rémy Boniol, Frédéric Forget, Julien Pagetti, Claire ONERA-Toulouse France LIFL/USTL-Lille France

ISBN: (数字)9783642351822

ISBN: (纸本)9783642351815

High-level formal programming languages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designer "overspecifies" the system). In this paper, we propose an extension of synchronous dataflow languages where the designer can specify that he does not care whether some communication is immediate or delayed. It is then up to the compiler to choose where to introduce delays, in a way that breaks causality cycles and satisfies latency requirements imposed on the system. © Springer-Verlag 2012.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：