This paper proposes a new and unified approach to the type inference and checking problems. It is based on the observation that any computation on data domain induces a computation on data type domain. When there is a...
详细信息
ISBN:
(纸本)0897911423
This paper proposes a new and unified approach to the type inference and checking problems. It is based on the observation that any computation on data domain induces a computation on data type domain. When there is a function or operation which operates on data, there is, at the same time, the corresponding function or operation on data type, and one can project everything occurring in the world of data onto the world of data types. As data type usually defines some kind of reduction of data, the computation on type domain gives a reduced form of the computation done in the data domain. The reduced computation approach is based on the above viewpoint and intends to give a unified treatment to the type checking and inference problems of programminglanguages. The paper introduces the principle of reduced computation, then gives relational algebraic systems for the type inference and checking of FP programs.
programminglanguages such as C, QuickBASIC and Programmable Logic Controller (PLC) ladder logic have been part of Engineering Technology curriculums for years. The increasing availability of powerful and low-cost com...
详细信息
programminglanguages such as C, QuickBASIC and Programmable Logic Controller (PLC) ladder logic have been part of Engineering Technology curriculums for years. The increasing availability of powerful and low-cost computing hardware, graphical user interface based multitasking operating systems, visual programminglanguages, and new programming standards have provided the environment for the implementation of Rapid Application Development (RAD) programming techniques. Examples of these techniques such as menu, text, graphical, and icon based programming are presented. Their widespread use for mainstream industrial control and data acquisition applications have resulted in a migration away from the use of traditional programminglanguages. The implications of this migration for the content of Engineering Technology curriculums are explored.
A job control language need not be a ″new″ language, but can be embedded in most existing programminglanguages. As an example, the necessary extensions for Algol are outlined and several applications of them are gi...
详细信息
A job control language need not be a ″new″ language, but can be embedded in most existing programminglanguages. As an example, the necessary extensions for Algol are outlined and several applications of them are given. Some aspects of the implementation and the requirements to the operating system are discussed. A complete list of all requests from job to operating system is given.
A brief summary is given of a proposed instruction set architecture for the basic processor of X-Tree. The design reflects the need to efficiently support multiple high level languages, the compilers for the languages...
详细信息
A brief summary is given of a proposed instruction set architecture for the basic processor of X-Tree. The design reflects the need to efficiently support multiple high level languages, the compilers for the languages and the operating system under which the compilers will run. The user environment is also reflected in the instruction set, by the inclusion of features designed to support powerful debugging tools and by the robust type checking and protection mechanisms.
Plagiarism is a widespread problem in assessment tasks;in computing courses, students often plagiarise source code. For all but the smallest classes, manual detection of such plagiarism is impractical, and, while auto...
详细信息
Modern programminglanguages such as Modula-2, Ada, and ATLAS are discussed with respect to automatic testing applications. The advantages and disadvantages are evaluated. Special features are explained by using examp...
详细信息
Modern programminglanguages such as Modula-2, Ada, and ATLAS are discussed with respect to automatic testing applications. The advantages and disadvantages are evaluated. Special features are explained by using examples representative of automatic testing applications.
This study suggests that DDP will provide computational resources that are not only quantitatively different but are different in kind from what the authors have known in the past. However, to realize the benefits, th...
详细信息
This study suggests that DDP will provide computational resources that are not only quantitatively different but are different in kind from what the authors have known in the past. However, to realize the benefits, they may need a new approach to programminglanguages and their implementation. The features of MUMPS are reviewed as an existing model of some basic notions. The study then suggests an integrated approach for fine grain computational resources and languages to use them. It also suggests a view of programming more appropriate to working with an intelligent resource.
暂无评论