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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

76 篇 期刊文献
60 篇 会议
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

131 篇 工学
- 108 篇 计算机科学与技术...
- 63 篇 软件工程
- 28 篇 电气工程
- 12 篇 控制科学与工程
- 4 篇 机械工程
- 4 篇 信息与通信工程
- 2 篇 电子科学与技术（可...
- 1 篇 仪器科学与技术
- 1 篇 航空宇航科学与技...
- 1 篇 生物工程
28 篇 理学
- 26 篇 数学
- 5 篇 系统科学
- 1 篇 生物学
17 篇 管理学
- 16 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
2 篇 教育学
- 1 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 经济学
- 1 篇 理论经济学
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 作物学

主题

137 篇 programming lang...
20 篇 semantics
13 篇 semiotics
12 篇 formal verificat...
11 篇 formal specifica...
7 篇 denotational sem...
7 篇 language
6 篇 program verifica...
6 篇 rewriting logic
6 篇 specification la...
6 篇 concurrency
6 篇 formal specifica...
5 篇 software archite...
5 篇 syntax
5 篇 algebra
5 篇 functional progr...
4 篇 syntax in progra...
4 篇 programming
4 篇 type theory
4 篇 real-time system...

机构

3 篇 swansea univ dep...
3 篇 univ illinois de...
2 篇 saab ab jarfalla
2 篇 univ utrecht dep...
2 篇 portland state u...
2 篇 univ illinois ur...
2 篇 monash univ dept...
2 篇 alexandru ioan c...
2 篇 kth royal inst t...
2 篇 univ missouri co...
2 篇 stanford univ st...
1 篇 univ strathclyde...
1 篇 massachusetts in...
1 篇 1.department of ...
1 篇 nanyang technol ...
1 篇 univ complutense...
1 篇 russian acad sci...
1 篇 caltech jet prop...
1 篇 iit bhubaneshwar...
1 篇 univ birmingham ...

作者

4 篇 rosu grigore
3 篇 mosses peter d.
2 篇 hathhorn chris
2 篇 guanciale robert...
2 篇 lundberg didrik
2 篇 bruza peter d.
2 篇 alshnakat anoud
2 篇 palamidessi c
2 篇 dam mads
2 篇 gabbrielli m
2 篇 meseguer jose
2 篇 falaschi m
2 篇 hills mark
2 篇 ciobaca stefan
2 篇 marriott k
1 篇 mills hd
1 篇 king andrew l.
1 篇 hongwei sun
1 篇 ramesh s.
1 篇 simpson alex

语言

122 篇 英文
15 篇 其他

检索条件"主题词=programming language semantics"

共 137 条记录，以下是101-110 订阅

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

详细简洁

排序：

Sequential Specification of Time-aware Stream Processing Applications (Extended Abstract)

Sequential Specification of Time-aware Stream Processing App...

引用

10th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia)

作者： Geuns, Stefan J. Hausmans, Joost P. H. M. Bekooij, Marco J. G. Univ Twente NL-7500 AE Enschede Netherlands

ISBN: (纸本)9781467349673

This paper introduces language constructs with temporal semantics to NLPs. Using these language constructs, time dependent applications can be specified and a corresponding data-driven implementation can be generated for use on a multi-core system. Despite that these time-aware language constructs can be data-dependent, the application remains functionally deterministic. Pipelining is exploited to increase the throughput of an application.

关键词： multiprocessing systems pipeline processing programming language semantics

来源：评论

学校读者我要写书评

暂无评论

KOOL: An application of rewriting logic to language prototyping and analysis

引用

18th International Conference on Rewriting Techniques and Applications

作者： Hills, Mark Rosu, Grigore Univ Illinois Dept Comp Sci 201 N Goodwin Ave Urbana IL 61801 USA

ISBN: (纸本)9783540734475

This paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. This is done by taking advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping of new language features. An example of this process is illustrated by sketching the addition of synchronized methods. KOOL also provides support for program analysis through language extensions and the underlying capabilities of rewriting logic. This support is illustrated with several examples.

关键词： object oriented languages programming language semantics term rewriting rewriting logic formal analysis

来源：评论

学校读者我要写书评

暂无评论

Defining the Undefinedness of C 15

Defining the Undefinedness of C

引用

36th ACM SIGPLAN Conference on programming language Design and Implementation

作者： Hathhorn, Chris Ellison, Chucky Rosu, Grigore Univ Missouri Columbia MO 65211 USA Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9781450334686

We present a "negative" semantics of the C11 language-a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss the techniques and special considerations needed for formally specifying it. We have used these techniques to modify and extend a semantics of C into one that captures undefined behavior. The amount of semantic infrastructure and effort required to achieve this was unexpectedly high, in the end nearly doubling the size of the original semantics. From our semantics, we have automatically extracted an undefinedness checker, which we evaluate against other popular analysis tools, using our own test suite in addition to a third-party test suite. Our checker is capable of detecting examples of all 77 categories of core language undefinedness appearing in the C11 standard, more than any other tool we considered. Based on this evaluation, we argue that our work is the most comprehensive and complete semantic treatment of undefined behavior in C, and thus of the C language itself.

关键词： Undefined behavior programming language semantics C11 K Framework

来源：评论

学校读者我要写书评

暂无评论

Note to semantical interpretation of non-trivial syllogisms with intermediate quantifiers

Note to semantical interpretation of non-trivial syllogisms ...

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： Murinova, Petra Novak, Vilem Div Univ Ostrava Inst Res & Applicat Fuzzy Modeling Ctr Excellence IT4Innovat 30 Dubna 22 Ostrava 70103 1 Czech Republic

ISBN: (纸本)9781467374286

This paper is a contribution to the study of a special kind of syllogisms with intermediate quantifiers. We stem from our previous papers where a formal theory of the intermediate quantifiers was introduced. Besides other results, we syntactically proved validity of 105 basic syllogisms with them. We also demonstrated how our theory works in the semantic interpretation. In this paper, we will address some special kinds of syllogisms that are non-trivial in the sense that both premises as well as conclusion contain general intermediate quantifiers.

关键词： inference mechanisms programming language semantics formal theory intermediate quantifiers nontrivial syllogisms semantical interpretation Bismuth Context Fuzzy sets Pragmatics semantics Standards Yttrium

来源：评论

学校读者我要写书评

暂无评论

The Negation in the Checklist Paradigm based m₂ Non-Commutative Fuzzy Interval Logic System of Goguen and Gaines

The Negation in the Checklist Paradigm based <i>m</i><sub>2<...

引用

Joint World Congress of the International-Fuzzy-Systems-Association (IFSA) / Annual Meeting of the North-American-Fuzzy-Information-Processing-Society (NAFIPS)

作者： Kim, Eunjin Univ N Dakota Dept Comp Sci Grand Forks ND 58202 USA

ISBN: (纸本)9781479903481

This paper continues the study of fuzzy interval logic based on the Checklist Paradigm by Kohout and Bandler. The fuzzy interval system of negation in m(2) Goguen-Gaines's logic is investigated in depth. Since the m(2) interval system of Goguen-Gaine's logic is non-commutative system, the interval negation of m(2) is defined in consideration of the non-commutativity of system. And, the axioms of negation in the m(2) interval system are further investigated.

关键词： fuzzy logic programming language semantics

来源：评论

学校读者我要写书评

暂无评论

Using objects of measurement to detect spreadsheet errors

Using objects of measurement to detect spreadsheet errors

引用

IEEE Symposium on Visual languages and Human-Centric Computing

作者： Coblenz, MJ Ko, AJ Myers, BA Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)0769524435

There are many common spreadsheet errors that traditional spreadsheet systems do not help users find. This paper presents a statically-typed spreadsheet language that adds additional information about the objects that the spreadsheet values represent. By annotating values with both units and labels, users denote both the system of measurement in which the values are expressed as well as the properties of the objects to which the values refer This information is used during computation to detect some invalid computations and allow users to identify properties of the resulting values.

关键词： programming language semantics spreadsheet programs type theory measurement objects spreadsheet error detection spreadsheet values statically-typed spreadsheet language

来源：评论

学校读者我要写书评

暂无评论

Kedama: A GUI-based interactive massively parallel particle programming system

Kedama: A GUI-based interactive massively parallel particle ...

引用

IEEE Symposium on Visual languages and Human-Centric Computing

作者： Ohshima, Y Twin Sun Inc El Segundo CA 90245 USA

ISBN: (纸本)0769524435

Decentralized and complex systems can be powerful tools for modeling concepts in mathematics, science and engineering. StarLogo and NetLogo were the first systems to allow middle and high school children to build dynamic models from many thousands of programmable particles. This has inspired Kedama: an authoring system that simplifies the scripting and construction of massively parallel models to allow more students to join in this new rich environment. This has given rise to new user interface and programming language designs. Kedama has the following notable features: 1) Scripts in Kedama can be written in a graphical the scripting interface. & users are alleviated from syntax errors, and all program elements are visually presented to the user 2) Kedama is an extension of Squeak eToys: children who have learned to "script in the large" can use same techniques to "script in the small" with many thousands of objects. 3) The semantics and syntax are simplified but retain full power of expression. 4) The UI in Kedama is dynamic: scripts and other properties in Kedama can be dynamically modified while scripts are kept running. 5) Kedama is more pot-table, being able to run on more than two dozen types of platforms, including the most used around the world. 6) Kedama is fast. Various simulations typically run about 3 times faster than previous systems. This improvement made it possible to write different classes of examples.

关键词： authoring systems formal specification graphical user interfaces interactive systems parallel programming programming environments programming language semantics visual programming GUI Kedama Squeak eToys authoring system interactive system model constru interactive systems authoring systems programming language semantics visual programming programming environments Parallel programming Scripts Formal specifications User Interface Device Component syntax

来源：评论

学校读者我要写书评

暂无评论

The Theory and Practice of Modeling language Design for Model-Based Software Engineering-A Personal Perspective

The Theory and Practice of Modeling Language Design for Mode...

引用

3rd International Summer School on Generative and Transformational Techniques in Software Engineering

作者： Selic, Bran Malina Software Corp Nepean ON Canada

ISBN: (纸本)9783642180224

The design of modeling languages is still much more of an art than a science. There is as yet no systematic consolidated body of knowledge that a practitioner can refer to when designing a computer-based modeling language. This overview article provides a personal perspective, comprising a selective summary of some important lessons learned and experiences gained in the design of some of the currently most widely used modeling languages, in particular the industry standard UML and MOF languages. The purpose is to provide readers with a sense of the state of the practice and state of the theory, such as it is, based on the author's long-term experience in this domain. Various key concepts involved are defined, current common methods of language design are explored, and heuristic guidelines provided. A list of key research topics is included at the end.

关键词： engineering models modeling languages model-based engineering model-driven development computer language design metamodeling MOF EMF UML profiles programming language semantics

来源：评论

学校读者我要写书评

暂无评论

Modeling workflow process models with statechart 10

Modeling workflow process models with statechart

引用

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

作者： Yang, D Zhang, SS Shanghai Jiao Tong Univ Dept Comp CIT Lab Shanghai 200030 Peoples R China

ISBN: (纸本)0769519172

This paper presents an approach for modeling workflow using statechart, a visual language for describing complex, reactive systems. The statechart is an extended finite state machines combined with hierarchy, concurrency and communication. In contracts to other modeling approaches, statechart is a concise, expressive languages with rigorous semantics. The main advantages of statechart-based workflow modeling have: (1) visual language facilitates the understanding and communication between common users, experts, and modeler. (2) Event-base communication as well as priority among states provide more advanced means of expressing complex business process logic. (2) workflow models are of well-defined operational semantics, thus making it possible to verify and check workflow models. Finally, a eased study is illustrated to model workflow using statechart based on the approaches mentioned in this paper.

关键词： visual languages formal verification workflow management software real-time systems finite state machines concurrency control programming language semantics modeling workflow process models statechart visual language complex reactive systems extended finite state machine hierarchy concurrency communication concise expressive language event-based communication verification state priority complex business process logic operational semantics

来源：评论

学校读者我要写书评

暂无评论

Operational semantics for Declarative Networking

引用

11th International Symposium on Practical Aspects of Declarative languages

作者： Navarro, Juan A. Rybalchenko, Andrey Max Planck Institute for Software Systems Germany

ISBN: (纸本)9783540929949

Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer network. It has already been used to implement various networked systems, e.g., network overlays, Byzantine fault tolerance protocols, and distributed hash tables. Declarative Networking relies upon a rule-based programming language that resembles Datalog and allows one to declaratively specify the flow of networking events. However, the presence of asynchronous communication, distribution, and imperative modification of the program state in Declarative Networking applications have been an obstacle for defining its semantics. Currently, the reference semantics is determined by the runtime environment only, which hinders further application development and makes any efforts to develop program analysis and verification tools impossible. In this paper, we propose an operational semantics for Declarative Networking that addresses these problems. The semantics is parameterized to keep open a design space required at the current stage of the language development. We also report on our first experience with an interpreter for Declarative Networking applications that implements the proposed semantics.

关键词： Declarative networking programming language semantics distributed systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共14页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：