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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

11 篇 会议
4 册 图书

馆藏范围

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

日期分布

学科分类号

8 篇 工学
- 8 篇 计算机科学与技术...
- 8 篇 软件工程

主题

3 篇 software enginee...
3 篇 c (programming l...
3 篇 programming lang...
3 篇 logics and meani...
2 篇 mathematical log...
2 篇 programming tech...
1 篇 query processing
1 篇 floyd-hoare logi...
1 篇 software enginee...
1 篇 type-indexed fun...
1 篇 type systems
1 篇 operating system...
1 篇 higher-order pat...
1 篇 functional logic...
1 篇 programming lang...
1 篇 computer communi...
1 篇 existential type...
1 篇 generic function...
1 篇 predicate transf...
1 篇 management of co...

机构

1 篇 department of co...
1 篇 dept. ingeniería...
1 篇 school of comput...
1 篇 univ technol syd...
1 篇 software develop...
1 篇 computational an...
1 篇 school of comput...
1 篇 nicta
1 篇 the university o...
1 篇 department of co...
1 篇 dept. sistemas i...
1 篇 ludwig maximilia...
1 篇 tohoku universit...
1 篇 research foundat...
1 篇 sun yat sen univ...
1 篇 univ bologna i-4...
1 篇 department of co...
1 篇 univ complutense...

作者

2 篇 naoki kobayashi
1 篇 jacobs bart
1 篇 yew pen-chung
1 篇 garcía-ruiz yola...
1 篇 dal lago ugo
1 篇 klein gerwin
1 篇 schoepp ulrich
1 篇 caballero rafael
1 篇 rodriguez-hortal...
1 篇 ye sen
1 篇 ian gorton
1 篇 li yong-ji
1 篇 hongseok yang
1 篇 zhou xiao-cong
1 篇 piessens frank
1 篇 sáenz-pérez fern...
1 篇 sui yulei
1 篇 shu zhong-mei
1 篇 xue jingling
1 篇 lopez-fraguas fr...

语言

14 篇 英文
1 篇 中文

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

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

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

详细简洁

排序：

8th asian symposium on programming languages and systems, aplas 2010

8th Asian Symposium on Programming Languages and Systems, AP...

引用

8th asian symposium on programming languages and systems, aplas 2010

ISBN: (纸本)9783642171635

the proceedings contain 30 papers. the special focus in this conference is on programming languages and systems. the topics include: Simple and precise widenings for H-polyhedra;metric spaces and termination analyses;amortized resource analysis with polymorphic recursion and partial big-step operational semantics;interprocedural control flow reconstruction;data structure fusion;categorical descriptional composition;bisimulation proof methods in a path-based specification language for polynomial coalgebras;Context-preserving XQuery fusion;index-compact garbage collection;foundations of quantum programming;live heap space bounds for real-time systems;a quick tour of the verifast program verifier;verification of tree-processing programs via higher-order model checking;automatically inferring quantified loop invariants by algorithmic learning from simple templates;relational parametricity for a polymorphic linear lambda calculus;A certified implementation of ML with structural polymorphism;type inference for sublinear space functional programming;liveness of communicating transactions;model independent order relations for processes;concurrency can’t be observed, asynchronously;from a verified kernel towards verified systems;a logical mix of approximation and separation;reasoning about computations using two-levels of logic;typechecking higher-order security libraries;towards deriving type systems and implementations for coroutines;liberal typing for functional logic programs;a provably correct stackless intermediate representation for Java bytecode;JNI light: An operational model for the core JNI.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems - 8th asian symposium, aplas 2010, Proceedings

Programming Languages and Systems - 8th Asian Symposium, APL...

引用

8th asian symposium on programming languages and systems, aplas 2010

ISBN: (纸本)364217163X

the proceedings contain 30 papers. the topics discussed include: foundations of quantum programming;from a verified kernel towards verified systems;reasoning about computations using two-levels of logic;towards deriving type systems and implementations for coroutines;liberal typing for functional logic programs;a provably correct stackless intermediate representation for java bytecode;metric spaces and termination analyses;amortized resource analysis with polymorphic recursion and partial big-step operational semantics;interprocedural control flow reconstruction;data structure fusion;bisimulation proof methods in a path-based specification language for polynomial coalgebras;index-compact garbage collection;live heap space bounds for real-time systems;a quick tour of the verifast program verifier;and verification of tree-processing programs via higher-order model checking.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Naoki Kobayashi

ISBN: (数字)9783540489382

ISBN: (纸本)9783540489375

this volume contains the proceedings of the 4th asian symposium on Progr- minglanguagesandsystems(aplas2006),whichtookplaceinSydney,Japan, November 8-10, 2006. the symposium was sponsored by the asian Association for Foundation of Software. In response to the call for papers, 70 full submissions were received. Each submission was reviewed by at least three Program Committee members with the help of external reviewers. the ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 22 papers. I would like to sincerely thank all the members of the aplas 2006 Program Committee for their excellent job, and all the external reviewers for their invaluable contribution. the submission and review process was managed using the CyberChair system. In addition to the 22 contributed papers, the symposium also included two invited talks by Jens Palsberg (UCLA, Los Angeles, USA) and Peter Stuckey (University of Melbourne, Melbourne, Australia), and one tutorial by Matthew Flatt (University of Utah, USA). Many people helped to promote aplas as a high-quality forum in Asia to serve programming language researchers worldwide. Following a series of we- attended workshops that were held in Singapore (2000), Daejeon (2001), and Shanghai (2002), the ?rst three formal symposiums were held in Beijing (2003), Taipei (2004) and Tsukuba (2005).

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

来源：评论

学校读者我要写书评

暂无评论

From a Verified Kernel towards Verified systems

From a Verified Kernel towards Verified Systems

引用

8th asian symposium on programming languages and systems

作者： Klein, Gerwin NICTA Australia School of Computer Science and Engineering UNSW Sydney NSW Australia

ISBN: (纸本)9783642171635

the *** project has produced a formal, machine-checked Isabelle/HOL proof that the C code of the seL4 OS microkernel correctly implements its abstract implementation. this paper briefly summarises the proof, its main implications and assumptions, reports on the experience in conducting such a large-scale verification, and finally lays out a vision how this formally verified kernel may be used for gaining formal, code-level assurance about safety and security properties of systems on the order of a million lines of code.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Hongseok Yang

ISBN: (数字)9783642253188

ISBN: (纸本)9783642253171

this book constitutes the refereed proceedings of the 9th asian symposium on programming languages and systems, aplas 2011, held in Kenting, Taiwan, in December 2011. the 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. the papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.

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

来源：评论

学校读者我要写书评

暂无评论

Type Inference for Sublinear Space Functional programming

Type Inference for Sublinear Space Functional Programming

引用

8th asian symposium on programming languages and systems

作者： Dal Lago, Ugo Schoepp, Ulrich Univ Bologna I-40126 Bologna Italy Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783642171635

We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced intML, a functional programming language with primitives that support the implementation of such algorithms. We have shown that IntML can express all LOGS PACE functions but have left open the question how easy it is in practice to program typical LOGSPACE algorithms in IntML. In this paper we develop algorithms for intmL type inference. We show that with type inference one can handle programs that could not be reasonably manipulated by hand. We do so by implementing in IntML, a typical LOGSPACE algorithm, a test for acyclicity of undirected graphs. thus we show that with type inference Irian can express typical algorithmic patterns of LOGSPACE easily and in a natural way.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Foundations of Quantum programming (Extended Abstract)

Foundations of Quantum Programming (Extended Abstract)

引用

8th asian symposium on programming languages and systems

作者： Ying, Mingsheng Univ Technol Sydney Ctr Quantum Computat & Intelligent Syst Sydney NSW 2007 Australia

ISBN: (纸本)9783642171635

Progress in the techniques of quantum devices has made people widely believe that large-scale and functional quantum computers will be eventually built. By then, super-powered quantum computer will solve many problems affecting economic and social life that cannot be addressed by classical computing. However, our experiences with classical computing suggest that once quantum computers become available in the future, quantum software will play a key role in exploiting their power, and quantum software market will even be much larger than quantum hardware market. Unfortunately, today's software development techniques are not suited to quantum computers due to the essential differences between the nature of the classical world and that of the quantum world. To lay a solid foundation for tomorrow's quantum software industry, it is critically essential to pursue systematic research into quantum programming methodology and techniques. © 2010 Springer-Verlag.

关键词： Quantum computation loop programs predicate transformer semantics Floyd-Hoare logic

来源：评论

学校读者我要写书评

暂无评论

Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras

Bisimulation Proof Methods in a Path-Based Specification Lan...

引用

8th asian symposium on programming languages and systems

作者： Zhou, Xiao-cong Li, Yong-ji Li, Wen-jun Qiao, Hai-yan Shu, Zhong-mei Sun Yat Sen Univ Guangzhou 510275 Guangdong Peoples R China

ISBN: (纸本)9783642171635

Bisimulation is one of the fundamental concepts of the theory of coalgebras. However, it is difficult to verify whether a relation is a bisimulation. Although some categorical bisimulation proof methods for coalgebras have been proposed, they are not based on specification languages of coalgebras so that they are difficult to be used in practice. In this paper, a specification language based on paths of polynomial functors is proposed to specify polynomial coalgebras. Since bisimulation can be defined by paths, it is easy to transform Sangiorgi's bisimulation proof methods for labeled transition systems to reasoning rules in such a path-based specification language for polynomial coalgebras. the paper defines the notions of progressions and sound functions based on paths, then introduces the notion of faithful contexts for the language and presents a bisimulation-up-to context proof technique for polynomial coalgebras. Several examples are given to illustrate how to make use of the bisimulation proof methods in the language.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

A Quick Tour of the VeriFast Program Verifier

A Quick Tour of the VeriFast Program Verifier

引用

8th asian symposium on programming languages and systems

作者： Jacobs, Bart Smans, Jan Piessens, Frank Department of Computer Science Leuven Belgium Research Foundation - Flanders (FWO) Belgium

ISBN: (纸本)9783642171635

this paper describes the main features of VeriFast, a sound and modular program verifier for C and Java. VeriFast takes as input a number of source files annotated with method contracts written in separation logic, inductive data type and fixpoint definitions, lemma functions and proof steps. the verifier checks that (1) the program does not perform illegal operations such as dividing by zero or illegal memory accesses and (2) that the assumptions described in method contracts hold in each execution. Although VeriFast supports specifying and verifying deep data structure properties, it provides an interactive verification experience as verification times are consistently low and errors can be diagnosed using its symbolic debugger. VeriFast and a large number of example programs are available online at: http : / /www. cs . kuleuven. be/similar to bartj/verifast

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：