The proceedings contain 19 papers. The topics discussed include: code generation for expressions with. common subexpressions;a lazy evaluator;a complexity theory of grammar problems;the influence of productions on der...
The proceedings contain 19 papers. The topics discussed include: code generation for expressions with. common subexpressions;a lazy evaluator;a complexity theory of grammar problems;the influence of productions on derivations and parsing;binding time optimization in programminglanguages: some thoughts toward the design of an ideal language;induction variables in very high level languages;automatic generation of efficient evaluators for attribute grammars;techniques for the automatic selection of data structures;an algorithm for structuring programs;automatic design of data processing systems;goal-directed program transformation;program improvement by source to source transformation;primitive recursive program transformation;on directly constructing LR(K) parsers without chain reductions;procedure referencing environments in sl5;mathematical semantics and data flow programming;plan2d - syntactic analysis of precedence graph grammars;verifying formal specifications of synchronous processes;and test data as an aid in proving program correctness.
The proceedings contain 62 papers. The topics discussed include: structured programming and FORTRAN;postprocessor for structured FORTRAN;modular (somewhat structured) programming in standard basic;intermediate languag...
The proceedings contain 62 papers. The topics discussed include: structured programming and FORTRAN;postprocessor for structured FORTRAN;modular (somewhat structured) programming in standard basic;intermediate language for minicomputer cross-compilation;usage of an XPL based compiler generator system;simplified time-sharing command language (interface);a stepwise approach to database design;and implementation of a portable database management system.
This symposium, held in Houston, Texas from October 20 to 22, 1976 contains 105 papers. Topics covered include: Theoretical results in compiler design and implementation;Computer system and network architecture;Recent...
详细信息
This symposium, held in Houston, Texas from October 20 to 22, 1976 contains 105 papers. Topics covered include: Theoretical results in compiler design and implementation;Computer system and network architecture;Recent developments in natural language understanding;Multinational information systems;Data base security;computers in medicine;Computer science education;Based learning and communication environments;Algorithm engineering;Computer architecture;Operating systems for minicomputers;Minicomputer and microcomputer applications;Data base systems organization and optimization;Operating system design;programminglanguages and their processors;Standardization in simulation;and Program testing.
The purpose of this paper is to define a method of adding extensibility to programminglanguages and to demonstrate the advantages of extensibility. The paper describes a method of adding ldquo;abstract data and opera...
详细信息
The task of developing hierarchical (series-parallel) networks can become formidable even with only a few dozen elements. This article describes a computer aided, interactive technique to structure such networks. The ...
详细信息
One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect ...
详细信息
This paper presents a methodology for the design and verification of a class of real-time systems frequently encountered in applications of digital control. These methodologies are described in the form of a design an...
详细信息
A user-oriented Computer Graphics System (CGS) is described, which primarily has been designed to aid the application programmer, and not just the sophisticated computer graphics user. The system has been designed to ...
详细信息
ISBN:
(纸本)9781450373531
A user-oriented Computer Graphics System (CGS) is described, which primarily has been designed to aid the application programmer, and not just the sophisticated computer graphics user. The system has been designed to provide a very simple interaction capability, where the interaction is based on a variety of input devices and a simple input/output graphics command language. The result of this system has been an increase in programming efficiency, reduction in span time from creations of design to actual implementation. Typical application developments have included such system as flowcharting systems, Computer Aided Architectural Space Planning, Animation, Vehicle-Pedestrian Interactions, Computer-aided designs, and the simulation of the NASA Space Shuttle.
An important aspect of the original implementation of APL\360 was the treatment of arithmetic functions as abstract functions defined on the continuous set of real numbers [1,2]. This had various consequences, includi...
ISBN:
(纸本)9781450374163
An important aspect of the original implementation of APL\360 was the treatment of arithmetic functions as abstract functions defined on the continuous set of real numbers [1,2]. This had various consequences, including automatic conversion between different machine representations of numbers so that storage and other aspects of System/360 architecture could be used efficiently while suppressing its details. [2]“Fuzzy” comparisons were introduced so that the actual discrete, fixed-precision, hexadecimal representation could be partly disguisedThe technique used in the original implementation was to regard numbers whose difference was zero in the first twelve (of fourteen) hexadecimal digits to be equal. The definitions in [3] were developed by M. A. Jenkins and R. H. Lathwell in 1968 when it was found that, for some values, implications of relational functions such as B> A←→~ B≤ A were violated. It was later discovered that these definitions did not completely correct the difficulty, and when APL system variables were introduced [4], the tolerant functions were rederived, resulting in the definitions given here.
The software design process is discussed from an engineering point of view. Initially, a distinction is made between software design and program design. Software design is then described in terms of evolving a system ...
详细信息
暂无评论