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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

7 篇 工学
- 7 篇 计算机科学与技术...
- 2 篇 软件工程
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

1 篇 query languages
1 篇 software enginee...
1 篇 object oriented ...
1 篇 aspect oriented ...
1 篇 pattern matching
1 篇 language design
1 篇 relational inter...
1 篇 integer programm...
1 篇 semantics
1 篇 programming tech...
1 篇 functional langu...
1 篇 programming lang...
1 篇 relational progr...
1 篇 artificial intel...
1 篇 computer program...
1 篇 polymorphism
1 篇 logics and meani...
1 篇 computer systems...

机构

2 篇 st petersburg st...
2 篇 jetbrains res st...
1 篇 shanghai jiao to...
1 篇 victoria univ we...
1 篇 univ edinburgh e...
1 篇 chiba univ chiba
1 篇 univ tokyo bunky...
1 篇 carnegie mellon ...
1 篇 tohoku univ send...
1 篇 university of ho...
1 篇 charles universi...
1 篇 university of lu...
1 篇 higher sch econ ...

作者

2 篇 boulytchev dmitr...
1 篇 zheng yudi
1 篇 fehrenbach stefa...
1 篇 marek lukáš
1 篇 potanin alex
1 篇 vyatkin andrey
1 篇 lozov petr
1 篇 tsukada takeshi
1 篇 kiselyov oleg
1 篇 iwayama naoki
1 篇 katsura hiroyuki
1 篇 sarimbekov aibek
1 篇 cheney james
1 篇 binder walter
1 篇 qi zhengwei
1 篇 bruno c. d. s. o...
1 篇 ansaloni danilo
1 篇 katsushima tatsu...
1 篇 rozplokhas dmitr...
1 篇 aldrich jonathan

语言

9 篇 英文

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

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

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

详细简洁

排序：

18th asian symposium on programming languages and systems, aplas 2020

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

引用

18th asian symposium on programming languages and systems, aplas 2020

ISBN: (纸本)9783030644369

the proceedings contain 19 papers. the special focus in this conference is on programming languages and systems. the topics include: A Set-Based Context Model for Program Analysis;algebraic and Coalgebraic Perspectives on Interaction Laws;stack-Driven Program Generation of WebAssembly;banyan: Coordination-Free Distributed Transactions over Mergeable Types;automatically Generating Descriptive Texts in Logging Statements: How Far Are We?;parameterized Synthesis with Safety Properties;relational Synthesis for Pattern Matching;REFINITY to Model and Prove Program Transformation Rules;a Counterexample-Guided Debugger for Non-recursive Datalog;a Symbolic Algorithm for the Case-Split Rule in String Constraint Solving;P3 : A Profiler Suite for Parallel Applications on the Java Virtual Machine;declarative Stream Runtime Verification (hLola);formal Verification of Atomicity Requirements for Smart Contracts;neural Networks, Secure by Construction: An Exploration of Refinement Types;A New Refinement Type System for Automated νHFLZ Validity Checking;behavioural Types for Memory and Method Safety in a Core Object-Oriented Language;syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Certified Semantics for Relational programming 18th

Certified Semantics for Relational Programming

引用

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

作者： Rozplokhas, Dmitry Vyatkin, Andrey Boulytchev, Dmitry Higher Sch Econ St Petersburg Russia St Petersburg State Univ St Petersburg Russia JetBrains Res St Petersburg Russia

ISBN: (纸本)9783030644369;9783030644376

We present a formal study of semantics for the relational programming language MINIKANREN. First, we formulate a denotational semantics which corresponds to the minimal Herbrand model for definite logic programs. Second, we present operational semantics which models interleaving, the distinctive feature of miniKanren implementation, and prove its soundness and completeness w.r.t. the denotational semantics. Our development is supported by a COQ specification, from which a reference interpreter can be extracted. We also derive from our main result a certified semantics (and a reference interpreter) for SLD resolution with cut and prove its soundness.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Relational Synthesis for Pattern Matching 18th

Relational Synthesis for Pattern Matching

引用

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

作者： Kosarev, Dmitry Lozov, Petr Boulytchev, Dmitry St Petersburg State Univ St Petersburg Russia JetBrains Res St Petersburg Russia

ISBN: (纸本)9783030644369;9783030644376

We present a completely declarative approach to synthesizing pattern matching construct implementations based on application of relational programming, a specific form of constraint logic programming. Our approach is based on relational representations of both the high-level semantics of pattern matching and the semantics of an intermediate-level implementation language. this choice makes our approach, in principle, very scalable as we only need to modify the high-level semantics in order to synthesize the implementation of a pattern matching new feature. Our evaluation on a set of small samples, partially taken from existing literature shows, that our framework is capable of synthesizing optimal implementations quickly. Our in-depth stress evaluation on a number of artificial benchmarks, however, has shown the need for future improvements.

关键词： Relational programming Relational interpreters Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping 18th

Syntactically Restricting Bounded Polymorphism for Decidable...

引用

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

作者： Mackay, Julian Potanin, Alex Aldrich, Jonathan Groves, Lindsay Victoria Univ Wellington Wellington New Zealand Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9783030644369;9783030644376

Subtyping of Bounded Polymorphism has long been known to be undecidable when coupled with contra-variance. While decidable forms of bounded polymorphism exist, they all sacrifice either useful properties such as contra-variance (Kernel F-<:), or useful metatheoretic properties (F-this paper we show how, by syntactically separating contra-variance from the recursive aspects of subtyping in System F-<:, decidable subtyping can be ensured while also allowing for both contravariant subtyping of certain instances of bounded polymorphism, and many of System F-<:'s desirable metatheoretic properties. We then show that this approach can be applied to the related polymorphism present in D-<:, a minimal calculus that models core features of the Scala type system.

关键词： Polymorphism Language design Functional languages Object oriented languages

来源：评论

学校读者我要写书评

暂无评论

A New Refinement Type System for Automated νHFLZ Validity Checking 18th

A New Refinement Type System for Automated νHFLZ Validity C...

引用

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

作者： Katsura, Hiroyuki Iwayama, Naoki Kobayashi, Naoki Tsukada, Takeshi Univ Tokyo Bunkyo City Japan Chiba Univ Chiba Japan

ISBN: (纸本)9783030644369;9783030644376

Kobayashi et al. have recently shown that various verification problems for higher-order functional programs can naturally be reduced to the validity checking problem for HFLZ, a higher-order fixpoint logic extended with integers. We propose a refinement type system for checking the validity of nu HFLZ formulas, where nu HFLZ is a fragment of HFLZ without least fixpoint operators, but sufficiently expressive for encoding safety property verification problems. Our type system has been inspired by the type system of Burn et al. for solving the satisfiability problem for HoCHC, which is essentially equivalent to the nu HFLZ validity checking problem. Our type system is more expressive, however, due to a more sophisticated subtyping relation. We have implemented a type-based nu HFLZ validity checker RethFL based on the proposed type system, and confirmed through experiments that RethFL can solve more instances than Horus, the tool based on Burn et al.'s type system.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Sound and Efficient Language-Integrated Query Maintaining the ORDER 15th

Sound and Efficient Language-Integrated Query Maintaining th...

引用

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

作者： Kiselyov, Oleg Katsushima, Tatsuya Tohoku Univ Sendai Miyagi Japan

ISBN: (纸本)9783319712376

As SQL moved from the English-like language for ad hoc queries by business users to its present status as the universal relational database access, the lack of abstractions and compositionality in the original design is felt more and more acute. Recently added subqueries and common table expressions compensate, albeit generally inefficiently. the inadequacies of SQL motivated language-integrated query systems such as (T-)LINQ, which offer an applicative, programming-like query language compiled to efficient SQL. However, the seemingly straightforward ranking operations ORDER BY and LIMIT are not supported efficiently, consistently or at all in subqueries. the SQL standard defines their behavior only when applied to the whole query. Language-integrated query systems do not support them either: naively extending ranking to subexpressions breaks the distributivity laws of UNION ALL underlying optimizations and compilation. We present the first compositional semantics of ORDER BY and LIMIT, which reproduces in the limit the standard-prescribed SQL behavior but also applies to arbitrarily composed query expressions and preserves the distributivity laws. We introduce the relational calculus SQUR that includes ordering and subranging and whose normal forms correspond to efficient, portable, subquery-free SQL. Treating these operations as effects, we describe a type-and-effect system for SQUR and prove its soundness. Our denotational semantics leads to the provably correctness-preserving normalization-by-evaluation. An implementation of SQUR thus becomes a sound and efficient language-integrated query system maintaining the ORDER.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Language-integrated Provenance 16

Language-integrated Provenance

引用

18th International symposium on Principles and Practice of Declarative programming (PPDP)

作者： Fehrenbach, Stefan Cheney, James Univ Edinburgh Edinburgh Midlothian Scotland

ISBN: (纸本)9781450341486

Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight modifications to database systems and little attention has been paid to how the provenance data can be used outside such a system. We present extensions to the Links programming language that build on its support for language-integrated query to support provenance queries by rewriting and normalizing monadic comprehensions and extending the type system to distinguish provenance metadata from normal data. the main contribution of this paper is to show that the two most common forms of provenance can be implemented efficiently and used safely as a programming language feature with no changes to the database system.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Java bytecode instrumentation made easy: the DiSL framework for dynamic program analysis 1

引用

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

作者： Marek, Lukáš Zheng, Yudi Ansaloni, Danilo Sarimbekov, Aibek Binder, Walter Tůma, Petr Qi, Zhengwei Charles University Czech Republic Shanghai Jiao Tong University China University of Lugano Switzerland

ISBN: (数字)9783642351822

ISBN: (纸本)9783642351815

Many software development tools (e.g., profilers, debuggers, testing tools) and frameworks (e.g., aspect weavers) are based on bytecode instrumentation techniques. While there are many low-level bytecode manipulation libraries that support the development of such tools and frameworks, they typically provide only low-level abstractions and require detailed knowledge of the Java Virtual Machine. In addition, they often lack the necessary infrastructure for load-time instrumentation with complete bytecode coverage to ensure that each method with a bytecode representation gets instrumented. In this paper we give an introduction to DiSL, a domain-specific aspect language and framework for bytecode instrumentation that reconciles high expressiveness of the language, high level of abstraction, and efficiency of the generated code. We illustrate the strengths of DiSL with a concrete analysis as a case study. the DiSL framework is open-source and has been successfully used in several research projects. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Bruno C. d. S. Oliveira

this book constitutes the proceedings of the 18th asian symposium on programming languages and systems, aplas 2020, held in Fukuoka, Japan, in December 2020.*

ISBN: (数字)9783030644376

ISBN: (纸本)9783030644369

this book constitutes the proceedings of the 18th asian symposium on programming languages and systems, aplas 2020, held in Fukuoka, Japan, in December 2020.*

关键词： programming languages, Compilers, Interpreters Artificial Intelligence programming Techniques Logics and Meanings of Programs Software Engineering Computer systems Organization and Communication Networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：