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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

mathematical foundations of programming language semantics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540389200

ISBN: (纸本)9783540190202

This volume is the proceedings of the 3rd workshop on the mathematical foundations of programming language semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd workshop survey as many areas of the mathematical foundations of programming language semantics as reasonably possible. The workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.

关键词： Mathematics, general Software Engineering/programming and Operating Systems Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

semantics of block structured languages with pointers 3rd

Semantics of block structured languages with pointers

引用

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

作者： Wagner, Eric G. Mathematical Sciences Department IBM T.J. Watson Research Center Yorktown HeightsNY10598 United States

ISBN: (纸本)9783540190202

This paper presents an algebraic and categorical approach to the mathematical modeling of imperative programming languages. In particular we model languages with block structure, records and variants, user definable recursive types, and pointers, etc., and with "control constructs" such as primitive recursion (generalized to recursive types), while-do, if-then-else, and assignment. In our earlier papers on this subject ([4], [5], [6]) we showed how data types and operations can be defined in an algebraic framework. In this paper we present a more mathematically sophisticated version of that framework, and we show how it can be used to provide a new approach to languages that have block structure together with objects, such as pointers, which are dynamically declared and may persist outside the block in which they are declared. The main new mathematical concept, and the key to the development, is the concept of an EDHT-category which is an extension of the DHT-symmetric categories introduced by Hoehnke [13] as a categorical framework for partial algebras. © 1988, Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

The formal description of data types using sketches 3rd

The formal description of data types using sketches

引用

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

作者： Wells, Charles Barr, Michael Department of Mathematics and Statistics Case Western Reserve University ClevelandOH44106 United States Department of Mathematics and Statistics McGill University 805 Sherbrooke St. West MontréalQuébecH3A 2K6 Canada

ISBN: (纸本)9783540190202

This paper is an exposition of the basic ideas of the mathematical theory of sketches and a detailed description of some of the ways in which this theory can be used in theoretical computer science to specify datatypes. In particular, this theory provides a convenient way of introducing datatypes which have variants, for example in case of errors or nil pointers. The semantics is a generalization of initial algebra semantics which in some cases allows initial algebras depending on a parameter such as a bound for overflow. © 1988, Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

A treatment of languages with stages of evaluation 3rd

A treatment of languages with stages of evaluation

引用

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

作者： Bradley, Laurette Dept. of Computer Science and Engineering C-014 University of California San Diego La JollaCA92093 United States

ISBN: (纸本)9783540190202

The notion of languages that inherently have multiple stages of evaluation is introduced. Typically, evaluation is done in stages so that evaluation in some one stage is able to be done very efficiently, even at the expense of prior stages of evaluation. A key novel feature in such languages is that constructs may have appropriate times of meaning as well as appropriate meanings. While it is possible to give semantics to such languages without regard to times of meaning, it is shown that certain semantic related concepts, such as translation, cannot be adequately described without reference to times of evaluation. The major contribution provided here to the study of complex languages with multiple stages of evaluation is the development of a method of describing such languages so that semantics reflecting various times of evaluation can be derived from the descriptions. © 1988, Springer-Verlag.

关键词： semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：