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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

68 篇 会议
9 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

55 篇 工学
- 55 篇 计算机科学与技术...
- 44 篇 软件工程
- 6 篇 信息与通信工程
- 4 篇 电气工程
- 4 篇 控制科学与工程
- 2 篇 建筑学
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
13 篇 理学
- 10 篇 数学
- 4 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 生物学
5 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理

主题

10 篇 computer program...
7 篇 software enginee...
7 篇 programming lang...
7 篇 logics and meani...
5 篇 mathematical log...
5 篇 programming tech...
4 篇 computer languag...
4 篇 functional progr...
3 篇 software enginee...
3 篇 parallel process...
3 篇 c (programming l...
3 篇 problem oriented...
2 篇 object oriented ...
2 篇 parallel process...
2 篇 e-learning
2 篇 operating system...
2 篇 modeling languag...
2 篇 computer communi...
2 篇 logic programmin...
2 篇 artificial intel...

机构

3 篇 chair for progra...
1 篇 icase nasa langl...
1 篇 lig lab saint ma...
1 篇 dipartimento di ...
1 篇 xerox palo alto ...
1 篇 institut für inf...
1 篇 departamento de ...
1 篇 univ michigan an...
1 篇 department of co...
1 篇 ucla united stat...
1 篇 independent/item...
1 篇 center for digit...
1 篇 sun microsystems...
1 篇 pleiad laboratro...
1 篇 dept. ingeniería...
1 篇 rutgers state un...
1 篇 school of comput...
1 篇 univ technol syd...
1 篇 univ tokyo grad ...
1 篇 univ mannheim it...

作者

3 篇 steffen bernhard
2 篇 stuckey peter j.
2 篇 naoki kobayashi
2 篇 naujokat stefan
1 篇 steele guy l.
1 篇 liu yanhong a.
1 篇 erlingsson úlfar
1 篇 johan fabry
1 篇 nestmann u
1 篇 j.-l. gaudiot
1 篇 maritsas d.g.
1 篇 bai lan s.
1 篇 viorica sofronie...
1 篇 nardone roberto
1 篇 di domenico dani...
1 篇 ioan-dragoş deac...
1 篇 kiselyov oleg
1 篇 carlos canal
1 篇 gossen frederik
1 篇 hutchison david

语言

76 篇 英文
2 篇 其他
1 篇 中文

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

共 79 条记录，以下是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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Conference Record of the Annual ACM symposium on Principles of programming languages

Conference Record of the Annual ACM Symposium on Principles ...

引用

8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL 1981

ISBN: (纸本)089791029X

the proceedings contain 23 papers. the topics discussed include: modeling of problem domains for driving program development systems;programming primitives for database languages;paths: an abstract alternative to pointers;program improvement by internal specialization;paging as a 'language processing' task;position paper on optimizing compilers;making the world safe for garbage collection;carrier arrays: an idiom-preserving extension to APL;axiomatic definitions of programming languages, II;formal program testing;the temporal logic of branching time;program logic without binding is decidable;on the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem;a program development tool;program verification based on denotational semantics;incremental evaluation for attribute grammars with application to syntax-directed editors;linear cost is sometimes quadratic;a precise inter-procedural data flow algorithm;verification of attribute grammar;dependence graphs and compiler optimizations;program optimization and exception handling;and inferring types in Smalltalk.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

8th International symposium on programming languages: Implementations, Logics, and Programs, PLILP 1996

8th International Symposium on Programming Languages: Implem...

引用

8th International symposium on programming languages, Implementations, Logics, and Programs, PLILP 1996

ISBN: (纸本)3540617566

the proceedings contain 36 papers. the special focus in this conference is on Typing and Structuring systems. the topics include: Calculate polytypically;limits of ML-definability;functorial ML;parametric polymorphism for typed prolog and a-prolog;a specification formalism for inheritance and object hierarchies;towards independent and-parallelism in CLP;annotated structure shape graphs for abstract analysis of prolog;a reactive implementation of pos using ROBDDs;dynamic attribute grammars;controlling conjunctive partial deduction;unfold/fold transformations of concurrent processes;semantics-based compiling;implementing memoization for partial evaluation;higher order deforestation;scheduling expression DAGs for minimal register need;improving tabled logic programs through alternative scheduling strategies;a new implementation approach for prolog;systematic extraction and implementation of divide-and-conquer parallelism;functional skeletons generate process topologies in eden;a language for executable specifications;from term rewriting to generalised interaction nets;type isomorphisms for module signatures;decidability of logic program semantics and applications to testing;unifying pictures and widgets in a constraint-based framework for concurrent functional GUI;modeling sharing and recursion for weak reduction strategies using explicit substitution;context-sensitive computations in confluent programs;models for using stochastic constraint solvers in constraint logic programming;integrating efficient records into concurrent constraint programming;the LOL deductive database programming language;an efficient and precise sharing domain for logic programs;cheap tupling in calculational form;needed narrowing in prolog;automatic optimization of dynamic scheduling in logic programs and a visual constraint programming tool.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共8页 << < 1 2 3 4 5 6 7 8 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：