No abstract available.
The Interplay Between Mathematics And Computer Science
The assertion that the taproots of mathematics lie in its applications is a familiar one, and for a clear statement of this thought we have only to quote von Neumann:
“The most vitally characteristic fact about mathematics is, in my opinion, its quite ...
Stylitism, Synergism, And Syncretism: The interface of computer science and operations research
In 1970 I authored a paper dealing with the interface of Operations Research and Computer Science, which was presented at the 37th Meeting of ORSA on April 20-22, 1970. [NANCR70]. That paper, which included the thoughts and opinions of several eminent ...
Computer Science And Recursion Theory
One of the basic concerns of classical mathematical logic has been a rigorous definition of “mathematical proof". A proof may be discovered by luck, genius or accident. But once discovered it is mechanically checkable. Thus the most general type of ...
Computer Science Core Curriculum And Mathematics
The history of computer science and of new areas of applicable mathematics are intimately related. Much of this common development is due to common developers. In the 1940's John von Neumann developed the concept and first implementation of a stored-...
Computer Science And Numerical Analysis
Until the advent of computers, numerical analysis was not considered an attractive area of study. The early computers, designed as they were to attack some of the nation's pressing engineering and scientific problems, sparked an enormous interest in the ...
On The Difference Between Natural Language And High Level Query Languages
Natural Language questions differ from most existing formal query languages in that they tend to admit a wider range of responses than their formal counterparts, and provide cues for selecting among the variety of appropriate responses. These ...
Impertinent Question-Answering Systems: justification and theory
A Question-Answering System (QAS) is impertinent if it tells a user something the user did not ask! Since a user rarely understands the full implications of a data base, especially a large one, his question is limited by his knowledge of the data base. ...
Natural Language Dialogue For Managing An On-Line Calendar
This paper describes a project for studying the feasibility of developing systems which accomplish typical office tasks by means of human-like communication with the user. An actual dialogue with the initial version of a system that is being built for ...
Automating The Office (Panel Discussion): user experiences
This session will describe the experiences of users in implementing the automated office within their companies. The discussions will include descriptions of the approaches taken, the tools implemented, the benefits derived, the problems encountered, ...
A Proposed Masters Degree In Software Engineering
A proposed masters degree program and curriculum in Software Engineering is presented. This program features courses in communication and management skills, as well as improved programming methodologies. Descriptions of seventeen new courses are ...
Educational Issues In Software Engineering
The term “software engineering” came into common usage as a result of the NATO Workshops on Software Engineering in 1968 and 1969 (1). At that time the term was intentionally chosen as a provocation rather than as an indication of actual practice. ...
A Software Engineering Graduate Curriculum
Picking up any large city Sunday paper one cannot help but be impressed by the large demand for “software engineers.” Upon reflection, several questions are raised: Who are these mythical software engineers? What do they do? Where do they come from? Why ...
Diagnostic And Computational Reconfiguration In Multiprocessor Systems
Diagnosis and reconfiguration is concerned with the detection and location of faulty units and the minimization of the effect of faults within a digital system. This topic is motivated by the need for highly available systems that can continue essential ...
A Modular Computer With Petri Net Array Control
This paper presents a computer system with modular functional units which establishes data and control paths dynamically by means of a programmable Petri net array. The input program control flow and the desired allocation of hardware resorces are ...
Reconfigurable Pipeline Systems
Systems with pipeline processing capabilities, processors whose computational subsystems are divided into several distinct stages, each of which may be working with an independent set of data at the same instant of time, are one attractive solution to ...
A Vocational - Technical High School Program
This paper describes the Business Data Processing program for vocational technical education at the Boulder Valley Re-2 Public Schools Area Vocational Technical Center. This program is the result of years of development through constant evaluation by ...
Small Business—A Gold Mine For D.P. Educators
The California State Polytechnic University (Cal Poly) is the scene for a very innovative project in the educational field of data processing. Dr. Reed Powell, former Dean of the School of Business Administration at Cal Poly, set in motion a mechanism ...
Validating The Utility Of Abstraction Techniques
- Mary Shaw,
- Gary Feldman,
- Robert Fitzgerald,
- Paul Hilfinger,
- Izumi Kimura,
- Ralph L. London,
- Jonathan Rosenberg,
- Wm. A. Wulf
A number of recent research efforts have been based on the hypothesis that encapsulation techniques, formal specification, and verification lead to significant improvements in program quality. As we gain experience with the language facilities produced ...
The Euclid Language: a progress report
Euclid is a programming language for writing verifiable system programs. A compiler for Euclid is being implemented by the authors. Since its definition [1], the language has evolved largely in response to problems discovered in the course of ...
A Report On The Development Of Gypsy
The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced in the second version are ...
Aspects Of Implementing CLU
Linguistic mechanisms used in CLU to support 1) structured exception handling, 2) iteration over abstract objects, and 3) parameterized abstractions are briefly reviewed, and methods of realizing these mechanisms are described. The mechanisms discussed ...
Congressional Reliance On And Use Of Computers
This session will explore the evolution of information support services on Capitol Hill, with an emphasis on the utilization of information technology: computers, microforms, telecommunications, audio and video technologies. The complexities of changing ...
Federal Funding For Basic Research In Computer Science
Each panelist, representing a different Federal agency, will discuss his agency's approach to the support of basic research in computer science and engineering. Some of the topics to be discussed include
1)areas of current activity;
2)budgets; and
3)...
Computer Science And Graduate Education In Applied Mathematics
The term “applied mathematics” in the title and throughout this discussion includes all areas of the mathematical sciences rather than just classical applied mathematics.
The comments in this paper are derived from two primary sources: an ad hoc ...
Complexity Of Computations
Construction of algorithms is a time honored mathematical activity. Euclid's algorithm for finding the greatest common divisor of two integers, as well as the many constructions by a ruler and compass are some of the fruits of the search for algorithms ...
Computer Science And Statistics
This paper develops a theme about a specific, small part of the interface between computer science and statistics - that of kernels of computation. Currently, because of an impending technology revolution, it is important that statisticians and ...
Computer Related Curricular Changes In Traditional Mathematics
The author has been long concerned with the proper role for the computer in undergraduate instruction in mathematics. This was, in part, prompted by the dramatic shift he observed in engineering education which took place in the early 1960s as students ...
Some Comments On EQS, A Near Term Natural Language Data Base Query System
Problems and possibilities for near term natural language query systems are discussed, with emphasis on the author's own system, EQS. First, the general objectives for near term systems in the areas of syntax, world knowledge, discourse, and problem ...
The ROBOT System: Natural language processing applied to data base query
In the early 1970's the natural language processing techniques developed within the field of artificial intelligence (AI) made important progress. Within certain restricted micro worlds of discourse it became possible to process a reasonably large class ...
Rapidly Extendable Natural Language
A major thrust of artificial intelligence research is how to build knowledge of the application domain into computer systems. We investigate how the user himself can introduce his own expert knowledge into his data base system through rapid language ...
Index Terms
- Proceedings of the 1978 annual conference