ACM-NATIONAL-CONFERENCE

These papers indicate the diversity of the theoretical area of computer science. The first explores programming language concepts in terms of Hoare's formal assignment axiom. The second is well described by its title. The third is a contribution to ...

One way to approach software reliability is to design programming languages that satisfy criteria which ensure that undesirable semantic effects cannot occur. The effect of using the assignment rule of Hoare as such a criterion on the design of ...

The concept and properties of the basic code block are extended to a generalized code region whose control flow graph can be entered at only one node and exited at only one node. Algorithms are given for the determination of all such regions in a ...

A new type of grammar for generating two-dimensional patterns is introduced. The generation of a pattern occurs in two phases. First, a string grammar generates a “row” of syntactic variables (the sequential phase). Then a battery of instances of string ...

In order to minimize the number of page fetches required when multiplying matrices occupying many pages of virtual storage, we consider adapting Strassen-like recursive methods to a paging environment. An algorithm with a theoretically better rate of ...

This session surveys some advances in theoretical computer science and their impact on the design of programming language compilers. The emphasis is on three major areas: the analysis of program syntax, the detection of errors at compile time, and the ...

The aim of this session is to survey some advances in theoretical computer science and their impact on the design of programming language compilers. There has been considerable research activity in three major areas: the analysis of program syntax (...

One of the current problems facing computer architecture is the design of hardware for efficient storage and retrieval of data. The three papers in this session consider various aspects of this problem: Spooling data for batch-type processing, accessing ...

The use of mini-computer subnets in computer communication networks is now widely established. Such subnets are normally designed for the fast response traffic of interactive computer usage. An alternative design, orientated to the high volume, slow ...

This paper discusses the computer memory system design implications of different CCD devices, such as Circulating Shift Register, Serial Parallel Serial, and Line Addressable Organizations.

The performance of the memory using these devices is evaluated ...

A broad-based program for studying hardware, software and human factors affecting information retrieval system performance is described. Using EUREKA, a minicomputer-based retrieval program, studies of user adaptation to an on-line system, search ...

Natural language processing has had a spurt of interest in recent years, due in part to a new focus on the representation and structure of knowledge. The papers in this session cover all ends of natural language research, parsing, generating, and memory ...

Our ability to build a natural language understanding system is limited by the degree to which we can organize and apply world knowledge. This paper describes a program, called PAM, that has knowledge about people's intentions. PAM uses its knowledge to ...

A paragraph of expository text is presented in case predicate and semantic network form as an example of a textual data base. An inferential procedure that has been used to answer questions from case predicate structures is outlined. It is argued that ...

Recently, research on sentence prosody has been carried out using the computerized audio synthesis and analysis facilities at IMSSS. The aim of this research has been to synthesize sentences with an acceptable-sounding prosodic contour using only the ...

Most current natural language understanding systems utilize parsers whose control structures are based on simulating non-deterministic machines. This paper presents a design for an implementation of a parser that attempts to operate deterministically. ...

In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of artificial ...

In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of artificial ...

This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the ...

This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the ...

This presentation is a progress report on part of an ongoing project whose goals are to develop sophisticated computerized techniques for assisting managers and administrators in large organizations. In particular, we have focused on the development of ...

Many organizations today face a unique set of problems and opportunities because they operate across international boundaries. To some extent, the growth of the multinational organization has been made possible by electronic communications. Now, more ...

Many organizations today face a unique set of problems and opportunities because they operate across international boundaries. To some extent, the growth of the multinational organization has been made possible by electronic communications. Now, more ...

The data base of a corporation represents a vital tool for the success and growth of the enterprise, and its correct use is therefore of utmost importance. This session discusses some fundamental issues in the protection of information in shared data ...

This paper presents the design of a protection system being implemented for the INGRES relational data base management system. A brief description of the INGRES system and its operational environment is first presented to provide the setting for the ...

A system to support a multi-function, shared-access database requires the capability of defining for each user an arbitrary subset of the fields of a logical record to which access is allowed. The feasibility of such a capability has already been ...

The basic model of semantics for protection languages is reviewed. Advanced protection features are introduced into the model and their impact on authorization and enforcement is discussed. History keeping allows access dependency upon the occurrence of ...

Computer auditing is a new and growing profession which combines a data processing expertise with the more established discipline of auditing. As with any new profession, computer auditing's role is still evolving. The panelists in this session will ...

The computer auditor is a business data processing professional with special concerns and responsibilities. He reviews the work of analysts and programmers with an emphasis on system controls. He also reviews the effectiveness of data processing ...

Every year advances in computer systems and technology cause increased usage of the computer as a tool to further improve health care delivery. This session endeavors to present some of the more recent trends of computer applications in the field of ...