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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

24 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

18 篇 工学
- 17 篇 计算机科学与技术...
- 13 篇 软件工程
- 2 篇 力学（可授工学、理...
- 1 篇 材料科学与工程（可...
- 1 篇 电气工程
- 1 篇 控制科学与工程
10 篇 理学
- 10 篇 数学
- 2 篇 物理学

主题

17 篇 semantics
1 篇 internet of thin...
1 篇 software enginee...
1 篇 workflow
1 篇 specifications
1 篇 mathematics, gen...
1 篇 pi-calculus
1 篇 topology
1 篇 visual programmi...
1 篇 algebra
1 篇 logics and meani...
1 篇 multi agent syst...
1 篇 robotics

机构

1 篇 department of co...
1 篇 department of co...
1 篇 computing scienc...
1 篇 department of ma...
1 篇 computer laborat...
1 篇 department of el...
1 篇 colgate universi...
1 篇 programming rese...
1 篇 mit laboratory f...
1 篇 department of co...
1 篇 oxford universit...
1 篇 computer science...
1 篇 department of ma...
1 篇 siemens ag e ste...
1 篇 arizona state un...
1 篇 department of ma...
1 篇 ewh-rheinland-pf...
1 篇 dept. of compute...
1 篇 yale university ...
1 篇 computer science...

作者

1 篇 zamfir maria
1 篇 kent robert e.
1 篇 reed g.m.
1 篇 lespérance yves
1 篇 révész györgy e.
1 篇 shapiro steven
1 篇 bekki daisuke
1 篇 brookes stephen ...
1 篇 bradley laurette
1 篇 reed joylyn
1 篇 mulry philip s.
1 篇 riecke jon g.
1 篇 watt david a.
1 篇 manes ernie
1 篇 mislove michael
1 篇 bruce kim b.
1 篇 jackel manfred
1 篇 pleban uwe f.
1 篇 gunter carl
1 篇 lee peter

语言

25 篇 英文

检索条件"任意字段=3rd Workshop on the Mathematical Foundations of Programming Language Semantics, 1987"

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

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

详细简洁

排序：

Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications 14

Semantic Analysis of Concurrent Computing in Decentralized I...

引用

14th IEEE International Symposium on Autonomous Decentralized Systems (ISADS) / 3rd International workshop on Service Assurance in System Wide Information Management (SASWIM)

作者： De Luca, Gennaro Chen, Yinong Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA

ISBN: (纸本)9781728116723

As IoT and robotics applications continue to become increasingly complex and decentralized, there is an increase in the difficulty of verifying requirements such as guarantees of reliability, efficiency, and correctness of the entire system. Modern IoT and robotics research and applications employ a variety of technologies to accommodate the distribution of real world IoT devices. Many of these technologies support the orchestration of these devices with concurrent computation and workflow-based processing, e.g., Intel Service Orchestration Layer. We developed a new workflow-based programming language VIPLE (Visual IoT/Robotics programming language Environment), which supports the orchestration of decentralized IoT and robotics devices through concurrent computation. VIPLE has been used by many universities for teaching robotics programming, event-driven computing, service-oriented computing, and parallel computing concepts. Historically, simple single threaded applications could be verified by employing formal systems such as Hoare logic. It is difficult to verify parallel and distributed computing. In our recent research, we developed a novel system to verify the semantics and other requirements of decentralized applications written in VIPLE. This system is developed using a combination of the techniques offered in Hoare logic and Rely-Guarantee logic, and it is applied using the automatically generated Pi-Calculus representation of VIPLE applications. This paper focuses on the foundations of this system, its ability to handle concurrent computing and decentralized applications, as well as its ability to support automated verification and semantic analysis.

关键词： Workflow Visual programming Internet of Things Robotics Pi-Calculus

来源：评论

学校读者我要写书评

暂无评论

6th International workshop on Logic and Engineering of Natural language semantics (LENLS 6)

6th International Workshop on Logic and Engineering of Natur...

引用

3rd International workshop on Juris-Informatics ((JURISIN) / 1st JSAI International Symoposia on Artificial Intelligence (JSAI-isAI) / LENLS workshop / JURISIN workshop / KCSD workshop / LLLL workshop

作者： Bekki, Daisuke Ochanomizu Univ Bunkyo Ku Tokyo 1128610 Japan

ISBN: (纸本)9783642148873

The annual international workshop LENLS (Logic and Engineering of Natural language semantics) covers topics in formal linguistics and related fields, such as theoretical computer science, mathematical logic and formal philosophy, and includes the following: Maltese cross sign Dynamic syntax/semantics/pragmatics of natural language. Maltese cross sign Categorical/topological/coalgebraic approaches to natural language syntax/ semantics/pragmatics. Maltese cross sign Logic and its relation to natural language and linguistic reasoning (especially dynamic logics). Maltese cross sign Type-theoretic approaches to natural language. Maltese cross sign Formal philosophy of language. Maltese cross sign Formal pragmatics (especially game- and utility-theoretic approaches). Maltese cross sign Substructural expansion of Lambek Lambda Calculi. Maltese cross sign Many-valued/Fuzzy and other non-classical logics and natural language. Formal linguistics is intrinsically an interdisciplinary field. Indeed, most of the formalisms which have been adopted in formal linguistics have their origin in the field of theoretical computer science, and in programming semantics especially. © 2010 Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

Specifying communicative multi-agent systems 10th

引用

10th Australian Joint Conference on Artificial Intelligence, AI 1997, 2nd Australian workshop Commonsense Reasoning, 2nd workshop on Theoretical and Practical foundations of Intelligent Agents and 3rd Australian workshop on Distributed Artificial Intelligence, 1997

作者： Shapiro, Steven Lespérance, Yves Levesque, Hector J. Department of Computer Science University of Toronto TorontoONM5S 3G4 Canada Department of Computer Science Glendon College York University TorontoONM4N 3M6 Canada

ISBN: (纸本)3540647694

In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the word and on the mental states of agents;and the concurrent, logic programming language ConGolog to specify the actions performed by each agent. Since ConGolog has a well-defined semantics, the specifications can be used to reason about the behavior of individual agents and the system as a whole. We extend the work presented in [7] to allow the specifications to mention agents' goals explicitly. The framework presented here allows the behavior of different agents to be specified at different levels of abstraction, using a rich set of programming language constructs. As an example, we specify a meeting scheduler multi-agent system. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

International workshop on Parallel Symbolic languages and Systems 1995

引用

3rd International workshop on Parallel Symbolic languages and Systems, PSLS 1995

ISBN: (纸本)3540611436

The proceedings contain 21 papers. The special focus in this conference is on Evaluation Strategies and programming Tools. The topics include: Lazy remote procedure call and its implementation;efficient evaluation strategies for structured concurrency constructs in parallel scheme systems;the semantics of pcall and fork in the presence of first-class continuations and side-effects;understanding the performance of parallel symbolic programs;a debugging scheme for fine-grain threads on massively parallel processors with a small amount of log information;distributed prograph;experiences with strong moding in concurrent logic/constraint programming;portable parallel irregular applications;understanding language support for irregular parallelism;efficient parallel graph coloring with prioritization;group-based fields;parallel symbolic computing in cid;an overview of MPC++ - extended abstract;fault tolerance via replication in coarse grain data-flow;experience with parallel symbolic applications in orca;a portable parallel implementation of a concurrent logic programming language;DMEROON, overview of a distributed class-based causally-coherent data model;lessons from the experience;the role of distributed lisp in open hypermedia information systems;foundations for a virtual multicomputer - progress report and process calculi at work - an account of the LCS project.

关键词：

来源：评论

学校读者我要写书评

暂无评论

3rd workshop on the mathematical foundations of programming language semantics, 1987

3rd Workshop on the Mathematical Foundations of Programming ...

引用

3rd workshop on the mathematical foundations of programming language semantics, 1987

ISBN: (纸本)9783540190202

The proceedings contain 32 papers. The special focus in this conference is on mathematical foundations of programming language semantics. The topics include: Closure properties of a probabilistic domain construction;quasi-uniformities: Reconciling domains with metric spaces;solving reflexive domain equations in a category of complete metric spaces;topological completeness in an ideal model for polymorphic types;new results on hierarchies of domains;semantically based axiomatics;metric spaces as models for real-time concurrency;dI-domains as a model of polymorphism;continuous auxiliary relations;a categorical approach to realizability and polymorphic types;computable one-to-one enumerations of effective domains;Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation;semantics-based tools for a specification-support environment;a treatment of languages with stages of evaluation;Operational semantics and a distributed implementation of CSP;the semantics of Miranda's algebraic types;path semantics;the formal description of data types using sketches;initial algebra semantics and concurrency;high-level semantics: An integrated approach to programming language semantics and the specification of implementations;rule-based semantics for an extended lambda-calculus;An action semantics of standard ML;an algorithmic approach to p-adic integers;the shuffle bialgebra;semantics of block structured languages with pointers;assertional categories;kan extensions in effective semantics;the versatile continuous order;on the Smyth power domain;the metric closure powerspace construction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An action semantics of standard ML 3rd

An action semantics of standard ML

引用

3rd workshop on the mathematical foundations of programming language semantics, 1987

作者： Watt, David A. Computing Science Department University of Glasgow GlasgowG12 8QQ United Kingdom

ISBN: (纸本)9783540190202

Action semantics is a form of denotational semantics that is based on abstract semantic algebras rather than Scott domains and λ-notation. It allows formal descriptions of programming languages to be written that are unusually readable and modular. This paper presents an action-semantic description of Standard ML, as evidence for the claimed merits of action semantics. Milner's structural operational semantics of the same language is used as a basis for comparison. © 1988, Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

Operational semantics and a distributed implementation of CSP 3rd

Operational semantics and a distributed implementation of CS...

引用

3rd workshop on the mathematical foundations of programming language semantics, 1987

作者： Schreiber, Gerlinde Siemens AG E STE 366 Erlangen8520 Germany

In this paper an operational semantics for Hoare's CSP is presented. This semantics definition is used to develop an interpreter for CSP in a distributed environment. The correctness of this interpreter is proved.... 详细信息

ISBN: (纸本)9783540190202

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

Kan extensions in effective semantics 3rd

Kan extensions in effective semantics

引用

3rd workshop on the mathematical foundations of programming language semantics, 1987

作者： Mulry, Philip S. Colgate University HamiltonNY13346 United States

An extension property for maps between domains is generalized to a categorical setting where the notions of adjoint and Kan extension are utilized to prove an extension property for functors. The results are used in a... 详细信息

ISBN: (纸本)9783540190202

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

semantics-based tools for a specification-support environment 3rd

Semantics-based tools for a specification-support environmen...

引用

3rd workshop on the mathematical foundations of programming language semantics, 1987

作者： Reed, Joylyn Programming Research Group Oxford University 8-11 Keble Road OxfordOX1-3QD United Kingdom

ISBN: (纸本)9783540190202

We describe recently developed semantics-based support tools for Z, a mathematical specification language based on typed set theory. Z has proven very useful and popular with a number of industrial as well as academic software developers. These tools are components of Forsite, a support environment currently under development to integrate languages and operations with formally defined semantics and implementable operations. We anticipate that these tools will impose a de facto standard for the language. Z has undergone a noteworthy chronology of development and use. It was developed in stages by mathematicians who extended and adapted it according to the needs and experiences of industrial as well as academic users. Care was taken to maintain mathematical soundness, and when the language had stabilized, a denotational semantics for it was defined. Subsequently, support tools entirely based on this semantics were and are being developed. We describe the implemented type checker, which gives the sense of directly transliterating the formal type semantics, and preview the proof checker. We discuss the benefits of such a chronology for language and methodology development. © 1988, Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

High-level semantics: An integrated approach to programming language semantics and the specification of implementations 3rd

High-level semantics: An integrated approach to programming ...

引用

3rd workshop on the mathematical foundations of programming language semantics, 1987

作者： Pleban, Uwe F. Lee, Peter PhiloSoft and The University of Michigan Ann ArborMI48109 United States Computer Science Department Carnegie Mellon University PittsburghPA15213 United States

ISBN: (纸本)9783540190202

In the course of implementing a semantics directed compiler generator we have developed high-level semantics, a new style of semantic definition which overcomes fundamental problems concerning the specification techniques used in traditional denotational semantics. In the past, these problems have precluded the generation of realistic compilers from traditional denotational specifications. By contrast, high-level semantic specifications are suitable for both defining the functional semantics of programming languages, and describing realistic compiler implementations which are automatically generated from the semantics. In an earlier paper we described the MESS system, a prototype implementation of a compiler generator incorporating the principles of high-level semantics. Here, we summarize the salient characteristics of our methodology. A comprehensive overview of high-level semantics and the MESS compiler generator can be found in the dissertation of the second author. © 1988, Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：