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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,155 篇 会议
135 篇 期刊文献

馆藏范围

1,290 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,115 篇 工学
- 1,040 篇 软件工程
- 803 篇 计算机科学与技术...
- 50 篇 控制科学与工程
- 43 篇 电气工程
- 36 篇 信息与通信工程
- 9 篇 电子科学与技术（可...
- 8 篇 机械工程
- 6 篇 安全科学与工程
- 5 篇 建筑学
- 5 篇 土木工程
- 5 篇 航空宇航科学与技...
- 5 篇 生物工程
- 4 篇 材料科学与工程（可...
- 4 篇 化学工程与技术
- 2 篇 力学（可授工学、理...
- 2 篇 光学工程
- 2 篇 农业工程
141 篇 理学
- 117 篇 数学
- 13 篇 系统科学
- 9 篇 统计学（可授理学、...
- 7 篇 生物学
- 5 篇 物理学
- 4 篇 化学
89 篇 管理学
- 53 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 28 篇 工商管理
15 篇 教育学
- 15 篇 教育学
6 篇 经济学
- 6 篇 应用经济学
5 篇 法学
- 4 篇 社会学
2 篇 农学
- 2 篇 作物学

主题

180 篇 design
167 篇 languages
103 篇 computer program...
99 篇 performance
59 篇 algorithms
49 篇 object oriented ...
49 篇 computer program...
45 篇 experimentation
45 篇 java programming...
39 篇 verification
35 篇 reliability
34 篇 java
32 篇 functional progr...
26 篇 program synthesi...
24 篇 probabilistic pr...
22 篇 software design
21 篇 theory
20 篇 concurrency
19 篇 domain-specific ...
19 篇 c (programming l...

机构

16 篇 carnegie mellon ...
13 篇 princeton univ p...
12 篇 univ washington ...
11 篇 univ texas austi...
10 篇 univ michigan an...
10 篇 univ penn philad...
10 篇 rice univ housto...
10 篇 purdue univ w la...
10 篇 stanford univ st...
10 篇 univ calif berke...
9 篇 univ wisconsin m...
9 篇 microsoft res re...
9 篇 yale univ new ha...
9 篇 harvard univ cam...
9 篇 cornell univ ith...
9 篇 microsoft resear...
8 篇 univ chicago il ...
7 篇 microsoft res re...
7 篇 swiss fed inst t...
7 篇 mit cambridge ma...

作者

11 篇 walker david
10 篇 dillig isil
9 篇 chlipala adam
8 篇 shao zhong
8 篇 solar-lezama arm...
8 篇 chaudhuri swarat
8 篇 gulwani sumit
7 篇 august david i.
7 篇 bacon david f.
7 篇 sarkar vivek
6 篇 wang xinyu
6 篇 hendren laurie
6 篇 grossman dan
6 篇 adl-tabatabai al...
6 篇 aiken alex
6 篇 rajan hridesh
6 篇 foster nate
6 篇 myers andrew c.
6 篇 mezini mira
6 篇 mahlke scott

语言

1,204 篇 英文
85 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"

共 1290 条记录，以下是1281-1290 订阅

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

详细简洁

排序：

A minisystem programming language 73

A minisystem programming language

引用

1973 Annual acm conference/Annual Meeting, acm 1973

作者： Lechner, Robert Stallings, William Honeywell Information Systems Inc. United States

ISBN: (纸本)9781450374903

TRAIL is a block-structured language and programming system for the development of programming support systems and translators for problem-oriented languages on minicomputers. The programming system includes an interpreter for an intermediate language (IL) into which various source languages (including TRAIL itself) may be translated. The interpreter size is about 1400 bytes. The choice of an interpreted target language was guided by the objectives of minimum object code size and machine independence of the developed software. Both of these have been achieved, at the expense of a 20:1 slowdown of execution speed relative to directly assembled code. The interpreted object code is at least 50% smaller than assembly code. The source language was designed to match the requirements of language translator software;software design directly models syntax checking, context-free translation, and context-sensitive translation aspects, in ascending order of complexity. Anticipated benefits include greater productivity in design and debug phases, and enhanced communication between programmers via simplified documentation procedures. © 1973 Association for Computing Machinery, Inc. All rights reserved.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A descriptive model for the design and implementation of computer systems 73

A descriptive model for the design and implementation of com...

引用

proceedings of the acm annual conference

作者： John Mazur

ISBN: (纸本)9781450374903

We postulate a general computing model and investigate the design and implementation of systems in the postulated environment. The model is drawn from our interpretation of the writings of John von Newmann 1 and others. Its central concept is an abstraction of the capability of all digital computers to modify cells contents that represent addresses of other cells. We discuss three formulations of the model; namely, a “programming language” formulation using vectors, pointers, and move operators, an “emulator” formulation extending the first formulation to include control structure and execution semantics, and a “mathematical” formulation. The proposed model is specifically intended for the interactive design and implementation of software (and also hardware) computer systems. The completeness and the hierarchial nature of the descriptions based on the model allow those descriptions to serve as simulation models and documentation for the complete system being described or for any well-defined part of the system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A compiler language for data structures 68

A compiler language for data structures

引用

23rd Annual acm National conference, acm 1969

作者： Laurance, Neal Ford Motor Company DearbornMI United States

ISBN: (纸本)9781450374866

The subject of data structures has received a great deal of attention in the past few years, especially in relation to computer-aided design. programming systems used for creating data structures (sometimes dignified by the name “graphical languages”)vary greatly in the rigidity of their representation and the types of facilities offered to the programmer. As an example of a high-level system, we can mention the formal language LEAP,1 in which the programmer can easily manipulate the logical elements of his model, and the structuring of the information (in the form of hash-coded tables) is performed automatically by the language system. At the other extreme we have a language like L62 which is a macro language useful in creating arbitrary list structures. The difference between these two “graphical languages” is so great that one could easily conceive of implementing the LEAP language using the L6 language. An excellent review of this subject is given by Gray.3The present work is a language in the latter mold, to be used in the implementation of data-structure systems, rather than being a data-structure system itself. In many respects L6 has served as a model of the type of facilities desired, although the final product owes its parentage to several languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The role of motherhood in the pop art of system programming 69

The role of motherhood in the pop art of system programming

引用

2nd acm Symposium on Operating Systems Principles, SOSP 1969

作者： Neumann, Peter G. Bell Telephone Laboratories Incorporated Murray HillNJ United States

ISBN: (纸本)9781450374569

Numerous papers and conference talks have recently been devoted to the affirmation or reaffirmation of various common-sense principles of computer program design and implementation, particularly with respect to operating systems and to large subsystems such as language translators. These principles are nevertheless little observed in practice, often to the detriment of the resulting systems. This paper attempts to summarize the most significant principles, to evaluate their applicability in the real world of large multi-access systems, and to assess how they can be used more effectively. © 1969 Association for Computing Machinery, Inc. All rights reserved.

关键词： Program translators

来源：评论

学校读者我要写书评

暂无评论

A hybrid oriented interactive language 66

A hybrid oriented interactive language

引用

21st Annual acm National conference, acm 1966

作者： Cramer, Martin L. Strauss, Jon C. Electronic Associates Inc. PrincetonNJ United States 138 Patton Avenue PrincetonNJ United States Carnegie Institute of Technology PittsburghPA United States

ISBN: (纸本)9781450379151

This paper presents an on-line, inter-active language system created specifically for scientists and engineers engaged in preparation, setup, control, and monitoring of hybrid computations. Through a special console or a generalized input/output device, the user is afforded immediate access to both a computational process (software), and computation equipment (hardware). The language combines a complete algebraic interpreter with an expandable command and control repertoire. Through the latter, the language system may be made to perform a variety of special tasks, peculiar to the user, the equipment, or the *** language is designed specifically to facilitate implementation of an interpretive processor on a small digital computer in a hybrid configuration. This does not mean to imply, however, that the design is in any way limited to small computers. Rather, the intrinsic expandability of the language makes it possible to have a single communication medium that is upwards compatible across the whole spectrum of computer capability. The use of this programming system provides the hybrid computer analyst with great on-line flexibility coupled with a substantial reduction in the bothersome detail normally associated with digital computer programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PAL-a language designed for teaching programming linguistics 68

PAL-a language designed for teaching programming linguistics

引用

23rd Annual acm National conference, acm 1969

作者： Evans, Arthur Massachusetts Institute of Technology CambridgeMA United States

ISBN: (纸本)9781450374866

This paper describes PAL—a new computer language. Given the fact that new languages seem to appear in computer literature at the rate of several per month, it seems incumbent on one who creates a new language to justify having done so. In the present case, there are two important considerations: control and specification. Let us consider each of these in *** virtue of our having designed PAL, it is ours. There is no PAL Users Group or Committee of Vested Interests concerned with retaining upward compatibility with what was done last year (or last month). This doesn't mean we change the specifications of the language every few weeks (our students are, in a real sense, our Committee of Vested Interests), but it does mean we can make decisions on changes solely on technical grounds. More important, though, we can design the language to meet the criteria we think important. For example, the language almost demands interpretive execution. Since no one writes production programs in PAL we are able to put up with inefficiencies in the implementation that would otherwise be intolerable. Thus we have designed our own language so that we will have control over it.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Session 11: programming languages for non-numeric processing-1:11.2: Examples of symbol manipulation in the AMBIT programming language 20

Session 11: Programming languages for non-numeric processing...

引用

20th Annual acm National conference, acm 1965

作者： Christensen, C. Computer Associates Inc. WakefieldMA United States

THE AMBIT programming language has been applied to problems in two areas. In the area of algebraic symbol manipulation, programs have been written in AMBIT for elementary arithmetic, elementary algebra, formal differentiation, set operations, and propositional calculus. In the area of list processing, a variety of programs have been written for syntactic analysis, including both "top-down" and "bottom-up" analysis. This programming effort was concurrent with the design of AMBIT and provided practical guidance for that design. It is believed that AMBIT is also appropriate for the programming of heuristic processes, such as formal integration, simplification of algebraic equations, and theorem proving. This paper is intended to exhibit the important features of AMBIT without entering into a complete and formal definition of AMBIT. The paper contains a brief informal definition of the language and several examples of programs written in the language. The informal definition discusses primarily those facilities of the language which are used in the example programs;other facilities currently available in AMBIT are not mentioned. The definition depends on the example programs for the illustration and clarification of difficult points, and the reader is advised to defer a detailed examination of the definition until he has read through the example programs. AMBIT has not yet been implemented for an automatic computer;however, a plan for an efficient implementation of AMBIT strongly influenced the design of the language. It is intended that an AMBIT program be compiled before execution and that operand data be converted from string form to linked-list form upon input to the computer. Rapid computer execution of AMBIT programs is made possible by the special role of parentheses and pointers in the operand data, and the speed of execution of an AMBIT program can approach that of a corresponding program written in machine or pseudo-machine language. This paper will not furthe

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

The design, implementation, and use of dstutor: A tutoring system for denotational semantics

The design, implementation, and use of dstutor: A tutoring s...

引用

Eastern Joint Computer conference, AIEE-IRE 1954

作者： Kurtz, Barry L. Oliver, Richard L. Collins, Edward M. Computer Science New Mexico State University Box 3CU Las CrucesNM88003 United States

A tutoring system typically contains a domain expert, a student model, a pedagogical expert and the user interface. We will discuss the design and implementation of DSTutor, a tutoring system for denotational semantics, with particular emphasis on the development of the user interface and the domain expert. The X Window System provides powerful tools for the development of a user interface with a familiar look and feel. Prolog provides a flexible and relatively easy way to implement a domain expert. language parsing is handled by a definite clause grammar in Prolog. DSTutor currently works with one mini-language, a simple imperative language, and is being adapted to a second mini-language that supports program blocks, procedures with parameters, and recursion. It has been used successfully with students in a graduate class on formal semantics for programming languages. © 1991 acm.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

The development of a large scale mathematical programming system 68

The development of a large scale mathematical programming sy...

引用

proceedings of the 1968 23rd acm national conference

作者： Jacques De Buchet

ISBN: (纸本)9781450374866

The general purpose mathematical programming systems have greatly changed in the last few years and the aim of such codes is no longer to give access to an efficient algorithm but to integrate the solution of linear programming problems into a loop including the generation of the problem, its solution, its post optimal analysis and the edition of an output report of the results. The link between all these operations is done through a so-called control language *** these aspects are more or less the same from one code to another but we think that new approaches should be brought into their design, organization, and implementation. The development cost of such programs being very high, usually in the order of 15 to 30 man years, it is necessary to provide facilities in order to:- offer suitable users and programming languages;- have a modular design;- handle memory allocation in a semi-optimal way;- make modifications and extensions easier; and- facilitate day to day programmers tasks.I shall present, in the following pages, the objectives that we had in mind when we began to implement these facilities within the large scale mathematical programming system OPHELIE 2 which we developed for the CDC 6600.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a table driven compiler system

The design and implementation of a table driven compiler sys...

引用

1967 Spring Joint Computer conference, AFIPS 1967

作者： Liu, C.L. Chang, G.D. Marks, R.E. Massachusetts Institute of Technology CambridgeMA United States University of Illinois UrbanaIL United States

ISBN: (纸本)9781450378956

The broader application of digital computers to various areas of studies has prompted the design and usage of special purpose problem-oriented programming languages. Although designing and writing a compiler for a special purpose language is no more a mysterious task as it was ten years ago, it is still, in most cases, a very tedious task that might take a large number of man-months to perform. The purpose of designing a generalized table-driven compiler system is to allow a user to write his own compiler for his special language at a reduction of the time currently required in the implementation of a compiler for a new source language. It should be pointed out that not only can a user design a compiler of his own but he can also make modifications, large or slight, to an existing compiler developed with the system. This, therefore, also provides an ideal simulation environment in connection with the implementation of new ideas in translation process. This particular line of development in translation systems naturally lends itself to the increasing use of digital computers in a time-sharing environment. © 1967 acm.

关键词： Digital computers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共129页 << < 120 121 122 123 124 125 126 127 128 129 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：