DIAL is a problem-oriented and high-level programminglanguage oriented towards database applications. It integrates into a unified framework database primitives and computational facilities, so that an application pr...
详细信息
The proceedings contain 41 papers. The topics discussed include: applications of the theory of random graphs to average algorithm performance analysis;programming in natural language: 'NLC' as a prototype;the ...
ISBN:
(纸本)0897910087
The proceedings contain 41 papers. The topics discussed include: applications of the theory of random graphs to average algorithm performance analysis;programming in natural language: 'NLC' as a prototype;the future of natural language processing;computer education technology;automatic deduction and equality;an extension to algebraiq specifications to incorporate state behavior;organizing and accessing files for magnetic bubble memory and charge coupled devices;first progranmming language: consequences;modeling the binding policies of programminglanguages;logical structure specification and data type definition;case studies on the implementation and use of database management systems: installing the first database application;computer auditing and control;documentation - a bridge from the 70's to the 80's;an overview of FORTRAN standardization activities;loop constructs - a design for FORTRAN;array processing extensions to FORTRAN;computers help solve problems in multinational corporations;a 'core + modules' approach to FORTRAN standardization;EP-2, a prototype exemplary programming system;70's programming style for a developing country;and effective management of simulation and modeling projects.
We discuss the use of a FORTRAN preeompiler in the development of packages for nonstandard arithmetics. In particular, the use Of the FORTRAN prceompiler, AUGMENT, renders the source code more lucid, reduces the numbe...
详细信息
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...
详细信息
暂无评论