Modelling of mathematical programs: An analysis of strategy and an outline description of a computer assisted system

The salient components of the mathematical programming modeling activity are first analysed. Earlier generation systems such as program generators and procedural (modelling) languages are briefly discussed. A proposal for a computer assisted modelling scheme is then put forward. The proposed system contrasts with the earlier approaches in that no computer programming expertise is required on the part of the modeller. A mathematical programming model is usually constructed by progressive definition of dimensions, data tables, model variables, model constraints and the matrix coefficients which connect the last two entities. The philosophy and design of the experimental system supports this approach to model description. This aspect is illustrated by a few examples. The introduction of computer assistance in structuring of the data and the resulting model is novel and is in line with recent developments in friendly and flexible user interface

Research in mathematical theory of computation

Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker

A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity

Leading experts have declared that there is an impending golden age of computer architecture. During this age, the rate at which architects will be able to innovate will be directly tied to the design and implementation of the hardware description languages they use. Thus, the programming languages community stands on the critical path to this new golden age. This implies that we are also on the cusp of a golden age of hardware description languages. In this paper, we discuss the intellectual challenges facing researchers interested in hardware description language design, compilers, and formal methods. The major theme will be identifying opportunities to apply programming language techniques to address issues in hardware design productivity. Then, we present a vision for a multi-language system that provides a framework for developing solutions to these intellectual problems. This vision is based on a meta-programmed host language combined with a core embedded hardware description language that is used as the basis for the research and development of a sea of domain-specific languages. Central to the design of this system is the core language which is based on an abstraction that provides a general mechanism for the composition of hardware components described in any language

Digital systems design language. Design synthesis of digital systems

The Digital Systems Design Language (DDL) is implemented on the SEL-32 computer systems. The details of the language, translator and simulator programs are included. Several example descriptions and a tutorial on hardware description languages are provided, to guide the user

Design of the Data Description Language Processor

The Data Description Language (DDL) is a language for describing the structure of data, and expressing transformations that are to be performed on that data. The DDL Processor is a set of computer programs which interprets DDL statements and generates a computer program to perform the specified transformations. Together the DDL and its Processor provide a utility which can be used to perform jobs such as creating new data bases, reorganizing or extracting data from existing data bases, moving data to different storage devices, interfacing files between different programming languages, or between different operating systems. This report documents the design of the DDL Processor. Special features of the design include the use of special purpose internal languages, compiler-compiler techniques, bootstrapping methods, and a descriptor tree which aids in the parsing of input data

Digital systems design language

Digital Systems Design Language (DDL) is implemented on the SEL-32 Computer Systems. The detaileds of the language, the translator, and the simulator, and the smulator programs are given. Several example descriptions and a tutorial on hardware description languages are provided, to guide the user

Review of Estelle and LOTOS with respect to critical computer applications

Man rated NASA space vehicles seem to represent a set of ultimate critical computer applications. These applications require a high degree of security, integrity, and safety. A variety of formal and/or precise modeling techniques are becoming available for the designer of critical systems. The design phase of the software engineering life cycle includes the modification of non-development components. A review of the Estelle and LOTOS formal description languages is presented. Details of the languages and a set of references are provided. The languages were used to formally describe some of the Open System Interconnect (OSI) protocols

New Computer Science Course Fall 2014 CS 4995: Special Topics: Object-Oriented Languages (2014)

Course Description: Examines advanced concepts regarding handling of types, encapsulation, polymorphism, inheritance, and functional programming in modern object-oriented languages. Includes programming with new language features in Java 8 and an introduction to the Scala programming language. This course will also cover some design patterns that are being incorporated into the design of modern object-oriented languages.New Computer Science Course Fall 2014 CS 4995: Special Topics: Object-Oriented Languages. Instructor Dr. Gary Shute.UMD Computer Science Department

Design considerations of an intelligent tutoring system for programming languages

The overall goal of the thesis is to attempt to highlight the major topics which must be considered in the design of any Intelligent Tutoring System and to illustrate their application within the particular domain of LISP programming. There are two major sections to the thesis. The first considers the background to the educational application of computers. It examines possible roles for the computer, explores the relationship between education theory and computer-based teaching, and identifies some important links among existing Tutoring Systems. The section concludes with a summary of the design goals which an Intelligent Tutoring System should attempt to fulfill. The second section applies the design goals to the production of an Intelligent Tutoring System for programming languages. It devises a formal semantic description for programming languages and illustrates its application to tutoring. A method for modelling the learning process is introduced. Some techniques for maintaining a structured tutoring interaction are described. The work is set within the methodology of Artificial Intelligence research. Although a fully implemented tutoring system is not described, all features discussed are implemented as short programs intended to demonstrate the feasibility of the approach taken