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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

10 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

9 篇 工学
- 9 篇 计算机科学与技术...
- 8 篇 软件工程
1 篇 法学
- 1 篇 社会学
1 篇 理学
- 1 篇 数学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

2 篇 functional progr...
1 篇 object oriented ...
1 篇 type systems
1 篇 operating system...
1 篇 software enginee...
1 篇 aspect oriented ...
1 篇 efficiency
1 篇 formal languages
1 篇 programming lang...
1 篇 binary trees
1 篇 mathematical log...
1 篇 compiler coq
1 篇 categorical sema...
1 篇 type inference
1 篇 programming lang...
1 篇 scala
1 篇 formal methods
1 篇 logics and meani...
1 篇 type system
1 篇 version control ...

机构

1 篇 school of inform...
1 篇 delft univ techn...
1 篇 programming rese...
1 篇 ucl england
1 篇 kyoto univ kyoto
1 篇 inria rocquencou...
1 篇 johannes kepler ...
1 篇 school of electr...
1 篇 univ tokyo grad ...
1 篇 kawase high sch ...
1 篇 information proc...
1 篇 tokyo inst techn...
1 篇 natl univ singap...
1 篇 sanyo onoda city...
1 篇 st joseph univ c...
1 篇 univ tsukuba ins...

作者

1 篇 ida t
1 篇 kim dae-hwan
1 篇 atsushi ohori
1 篇 chin wei-ngan
1 篇 lee hyuk-jae
1 篇 mezher dani
1 篇 takahashi h
1 篇 simonet v
1 篇 song yahui
1 篇 lubis luthfan an...
1 篇 li wenhua
1 篇 kawauchi k
1 篇 masuhara hidehik...
1 篇 aotani tomoyuki
1 篇 el bakouny youss...
1 篇 mu shin-cheng
1 篇 le quang loc
1 篇 marin m
1 篇 tanabe yudai
1 篇 masuhara h

语言

11 篇 英文

检索条件"任意字段=1st Asian Symposium on Programming Languages and Systems, APLAS 2003"

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

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

详细简洁

排序：

1st asian symposium on programming languages and systems, aplas 2003

1st Asian Symposium on Programming Languages and Systems, AP...

引用

1st asian symposium on programming languages and systems, aplas 2003

ISBN: (纸本)9783540400189

The proceedings contain 27 papers. The special focus in this conference is on programming languages and systems. The topics include: On a method of global optimization;observing asymmetry and mismatch;expressive synchronization types for inheritance in the join calculus;useless-code elimination and program slicing for the pi-calculus;constraint functional logic programming for origami construction;a typeful and tagless representation for XML documents;dataflow pointcut in aspect-oriented programming;affine-based size-change termination;using locality of flow in dataflow analyses;a differential fixpoint evaluation framework for non-distributive systems;from hardware to software;executing verified compiler specification;controlling and optimizing the usage of one resource;resource usage verification;automatic construction of hoare proofs from abstract interpretation results;a program inverter for a functional language with equality and constructors;a faithful formalization of an efficient constraint solver;continuation semantics for parallel haskell dialects;translating a continuous-time temporal logic into timed automata;the semantic layers of timber;correctness of a higher-order removal transformation through a relational reasoning;extensional polymorphism by flow graph dispatching;register allocation based on a reference flow analysis and lazy stack copying and stack copy sharing for the efficient implementation of continuations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Types and Semantics for Extensible Data Types 21st

Types and Semantics for Extensible Data Types

引用

21st asian symposium on programming languages and systems (aplas)

作者： van der Rest, Cas Poulsen, Casper Bach Delft Univ Technol Delft Netherlands

ISBN: (纸本)9789819983100;9789819983117

Developing and maintaining software commonly requires (1) adding new data type constructors to existing applications, but also (2) adding new functions that work on existing data. Most programming languages have native support for defining data types and functions in a way that supports either (1) or (2), but not both. This lack of native support makes it difficult to use and extend libraries. A theoretically well-studied solution is to define data types and functions using initial algebra semantics. While it is possible to encode this solution in existing programming languages, such encodings add syntactic and interpretive overhead, and commonly fail to take advantage of the map and fold fusion laws of initial algebras which compilers could exploit to generate more efficient code. A solution to these is to provide native support for initial algebra semantics. In this paper, we develop such a solution and present a type discipline and core calculus for a language with native support for initial algebra semantics.

关键词： Type systems Modularity programming Language Design Categorical Semantics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Compilation Semantics for a programming Language with Versions 21st

Compilation Semantics for a Programming Language with Versio...

引用

21st asian symposium on programming languages and systems (aplas)

作者： Tanabe, Yudai Lubis, Luthfan Anshar Aotani, Tomoyuki Masuhara, Hidehiko Kyoto Univ Kyoto Japan Tokyo Inst Technol Tokyo Japan Sanyo Onoda City Univ Yamaguchi Japan

ISBN: (纸本)9789819983100;9789819983117

programming with versions is a paradigm that allows a program to use multiple versions of a module so that the programmer can selectively use functions from both older and newer versions of a single module. Previous work formalized lambda(VL), a core calculus for programming with versions, but it has not been integrated into practical programming languages. In this paper, we propose VL, a Haskell-subset surface language for lambda(VL) along with its compilation method. We formally describe the core part of the VL compiler, which translates from the surface language to the core language by leveraging Girard's translation, soundly infers the consistent version of expressions along with their types, and generates a multi-version interface by bundling specific-version interfaces. We conduct a case study to show how VL supports practical software evolution scenarios and discuss the method's scalability.

关键词： Type system Type inference Version control system

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Atsushi Ohori

ISBN: (数字)9783540400189

ISBN: (纸本)9783540205364

With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st asian symposium on programming languages andsystems(aplas2003)***76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United states and Europe.

关键词： programming languages, Compilers, Interpreters Software Engineering Operating systems Logics and Meanings of Programs Mathematical Logic and Formal languages

来源：评论

学校读者我要写书评

暂无评论

Rebuilding a tree from its traversals: A case study of program inversion

Rebuilding a tree from its traversals: A case study of progr...

引用

1st asian symposium on programming languages and systems, aplas 2003

作者： Mu, Shin-Cheng Bird, Richard Information Processing Lab Dep. of Math. Informatics University of Tokyo 7-3-1 Hongo Bunkyo-kuTokyo113-8656 Japan Programming Research Group University of Oxford Wolfson Building Parks Road OxfordOX1 3QD United Kingdom

ISBN: (纸本)9783540400189

Given the inorder and preorder traversal of a binary tree whose labels are all distinct, one can reconstruct the tree. This article examines two existing algorithms for rebuilding the tree in a functional framework, using existing theory on function inversion. We also present a new, although complicated, algorithm by trying another possibility not explored before. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Binary trees

来源：评论

学校读者我要写书评

暂无评论

Dataflow pointcut in aspect-oriented programming

Dataflow pointcut in aspect-oriented programming

引用

1st asian symposium on programming languages and systems

作者： Masuhara, H Kawauchi, K Univ Tokyo Grad Sch Arts & Sci Tokyo 1538902 Japan

ISBN: (纸本)3540205365

A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is designed to be compatible with the other kinds of pointcuts in existing AOP languages. Primary application fields of the pointcut are the aspects in which flow of information is important, such as security. This paper presents the design of the pointcut with a web-application example, and its prototype implementation.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Type inference with structural subtyping: A faithful formalization of an efficient constraint solver

Type inference with structural subtyping: A faithful formali...

引用

1st asian symposium on programming languages and systems

作者： Simonet, V INRIA Rocquencourt France

ISBN: (纸本)3540205365

We are interested in type inference in the presence of structural subtyping from a pragmatic perspective. This work combines theoretical and practical contributions: first, it provides a faithful description of an efficient algorithm for solving and simplifying constraints;whose correctness is formally proved. Besides, the framework has been implemented in Objective Caml, yielding a generic type inference engine. Its efficiency is assessed by a complexity result and a series of experiments in realistic cases.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection 21st

Incorrectness Proofs for Object-Oriented Programs via Subcla...

引用

21st asian symposium on programming languages and systems (aplas)

作者： Li, Wenhua Le, Quang Loc Song, Yahui Chin, Wei-Ngan Natl Univ Singapore Singapore Singapore UCL London England

ISBN: (纸本)9789819983100;9789819983117

Inheritance and method overriding are crucial concepts in object-oriented programming (OOP) languages. These concepts support a hierarchy of classes that reuse common data and methods. Most existing works for OO verification focus on modular reasoning in which they could support dynamic dispatching and thus efficiently enforce the Liskov substitution principle on behavioural subtyping. They are based on superclass abstraction to reason about the correctness of OO programs. However, techniques to reason about the incorrectness of OOP are yet to be investigated. In this paper, we present a mechanism that 1) specifies the normal and abnormal executions of OO programs by using ok specifications and er specifications respectively;2) verifies these specifications by a novel under-approximation proof system based on incorrectness logic that can support dynamic modularity. We introduce subclass reflection with dynamic views and an adapted subtyping relation for under-approximation. Our proposal can deal with both OOP aspects (e.g., behavioural subtyping and casting) and under-approximation aspects (e.g., dropping paths). To demonstrate how the proposed proof system can soundly verify the specifications, we prove its soundness, prototype the proof system, and report on experimental results. The results show that our system can precisely reason about the incorrectness of programs with OOP aspects, such as proving the presence of casting errors and null-pointer-exceptions.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Constraint functional logic programming for origami construction

Constraint functional logic programming for origami construc...

引用

1st asian symposium on programming languages and systems

作者： Ida, T Marin, M Takahashi, H Univ Tsukuba Inst Informat Sci & Elect Tsukuba Ibaraki 305 Japan Johannes Kepler Univ Johann Radon Inst Computat & Appl Math A-4040 Linz Austria Kawase High Sch Shiga Japan

ISBN: (纸本)3540205365

We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which describe the geometric properties of paper folds. We developed two software components: one that provides primitives to construct, manipulate and visualize paper folds and the other that solves the systems of equations. Using these components, we illustrate computer-supported origami construction and show the significance of the constraint functional logic programming paradigm in the program development.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：