This paper describes a programming system based on the metaphor of communicating objects. Experience with a running system shows that this model provides flexibility, modularity and compactness. A compiled representat...
详细信息
The PL/I language's facilities for handling exceptional conditions are analyzed. The description is based on the new PL/I standard. Special attention is given to fine points which are not well known. The analysis ...
详细信息
The proceedings contain 14 papers. The topics discussed include: gypsy: a language for specification and implementation of verifiable programs;notes on the design of euclid;efficient implementation and optimization of...
The proceedings contain 14 papers. The topics discussed include: gypsy: a language for specification and implementation of verifiable programs;notes on the design of euclid;efficient implementation and optimization of run-time checking in PASCAL;a study of protection in programminglanguages;towards the ideal programminglanguage;restricted data types, specification and enforcement of invariant properties of variables;static determination of dynamic properties of generalized type unions;an experimental investigation of the effect of program structure on program understanding;process structuring, synchronization, and recovery using atomic actions;and abstraction and verification in ALPHARD: defining and specifying iteration and generators.
Complete run-time checking of programs is an essential tool for the development of reliable software. A number of features of the programminglanguage PASCAL (arrays, subranges, pointers, record variants (discriminate...
详细信息
An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programminglanguage with facilities for general programming and also for systems programming that is oriented toward...
详细信息
The proceedings contain 25 papers. The topics discussed include: derivatives without tears in Algol 68;'run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP';quantifying the test effectiveness of ...
The proceedings contain 25 papers. The topics discussed include: derivatives without tears in Algol 68;'run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP';quantifying the test effectiveness of Algol 68 progra;some remarks on new instances and garbage collection;LL versus LR parsing with illustrations from ALGOL 68;Algol 68 as an implementationlanguage for portable interpreters;description of dynamic manipulation of ALGOL68 values using a generative grammar;towards a machine-independent transput section;towards the design of a super-language of ALGOL 68 for the standard prelude (excerpt);and some problems concerning the automatic translation of Fortran to Algol 68.
This paper discusses a programing languagedesigned as a result of a group term project in an undergraduate Senior level Computer Science course. The course emphasized the study of language concepts such as syntax, se...
详细信息
This paper describes the author's experience on the design and implementation of a BASIC interpretive compiler written in Algol W programminglanguage. The experiment was initiated to gain full control of an execu...
详细信息
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.
暂无评论