Proceedings of the USENIX Symposium on Very High Level Languages (VHLL) October 26–28, 1994 Santa Fe, New Mexico, USA
Topics: USENIX, very high level languages, programming languages, scripting languages
This volume contains commentaries on the Ada Standard, ANSI/MIL-STD- 1815A-1983. Comments on the Standard are sent to the International Standards Organization or the joint Program Office and are combined by topic into Commentaries. Based on these Commentaries, recommendations may be made to change or add to the Ada Compiler Validation Capability Test Suit.
Topics: DTIC Archive, ADA JOINT PROGRAM OFFICE ARLINGTON VA, *HIGH LEVEL LANGUAGES, VALIDATION, STANDARDS
We motivate the design of a statically 'typed assembly language' (TAL) and present a type-preserving translation from System F to TAL. The TAL we present is based on a conventional RISC assembly language, but its static type system provides support for enforcing high-level language abstractions, such as closures, tuples and objects, as well as user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the typing constructs...
Topics: DTIC Archive, CORNELL UNIV ITHACA NY, *HIGH LEVEL LANGUAGES, ASSEMBLY LANGUAGES,...
292
292
Jul 23, 2010
07/10
by
Yamagishi, Takashi; Fujii, Kiyosumi; Kitsutaka, Shige
texts
eye 292
favorite 0
comment 0
In mutli-component ionic diffusion systems, uphill diffusion is frequently observed. The conditions for the development of uphill diffusion were investigated by computerized simulation of ion exchange between a glass containing two cations (A,B) and a molten salt containing the third cation (C). The following conclusions were obtained. The uphill diffusion of B ion is observed when D sub A is greater than D sub B is greater than D sub C or D sub A is greater than D sub C is greater than D sub...
Topics: AUTOMATIC CONTROL, COMPUTER PROGRAMS, HEURISTIC METHODS, DATA BASES, HIGH LEVEL LANGUAGES, PROVING,...
The Ada Joint Project Office (AJPO) manages DoD's effort to provide life-cycle support for Ada. DoD's common high-order language for computer systems, by: (1) coordinating the development and introduction of Ada. Ada Program Support Environments (APSE), and policies and methodologies regarding their use, (2) ensuring the maintenance of the language as a consistent, unambiguous standard, (3) providing education and training in the use of Ada for DoD and other Government agency personnel so that...
Topics: DTIC Archive, IIT RESEARCH INST ROME NY, *BIBLIOGRAPHIES, *HIGH LEVEL LANGUAGES, ABSTRACTS,...
The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version, replacing 1.8, in June 1987. ACVC version 1.9 will be the official version until June 1988 when it will replaced by ACVC version 1.10. Each of the 3122 tests in the ACVC 1.9 is designed to test a single test objective specified in the Ada...
Topics: DTIC Archive, AERONAUTICAL SYSTEMS DIV WRIGHT-PATTERSON AFB OH, *COMPILERS, VALIDATION, HIGH LEVEL...
This document contains information concerning the commentaries on the Ada language. The commentaries listed here have been approved by the Ada Board. This information is being made available to the general public so that they may better understand the changes being affected by the commentary process and that they may review those changes.
Topics: DTIC Archive, ADA JOINT PROGRAM OFFICE ARLINGTON VA, *HIGH LEVEL LANGUAGES, COMPILERS, VALIDATION,...
This thesis discusses the pedagogy for abstract data types (ADTs). Language features needed for teaching ADTs are listed and arguments for needing them are provided. ADTs are implemented in Ada to show the benefit of these features. Ada possesses the desired language features but the inheritance provided in Ada is limited. ADT interface considerations and ADT implementation design strategies are critical to the pedagogy for ADTs and are also discussed. Although Ada is complex and difficult to...
Topics: DTIC Archive, Britnell, Richard N, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *HIGH LEVEL LANGUAGES,...
This guide aims to assist instructors who present courses in the Ada programming language.
Topics: DTIC Archive, SOFTECH INC WALTHAM MA, *High level languages, *Handbooks, Instructors, Assembly...
Topics: DTIC Archive, SOFTECH INC WALTHAM MA, *COMPUTER PROGRAMMING, INSTRUCTIONAL MATERIALS, PROBLEM...
The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version, replacing 1.8, in June 1987. ACVC version 1.9 will be the official version until June 1988 when it will be replaced by ACVC version 1.10. Each of the 3122 tests in the ACVC 1.9 is designed to test a single test objective specified in the Ada...
Topics: DTIC Archive, AERONAUTICAL SYSTEMS DIV WRIGHT FIELD OH, *COMPILERS, CONFORMITY, HIGH LEVEL...
This report describes the extent to which a specific Ada compiler conforms to the Asa Standard. And explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented...
Topics: DTIC Archive, NATIONAL COMPUTING CENTRE LTD MANCHESTER (ENGLAND), *COMPILERS, TEST AND EVALUATION,...
The new Strategic Technical Plan drafted by the Air Force Electronic Systems Center (ESC) states that the objective future is one in which systems are made interoperable by adoption of network centric, web-enabling and open architecture technology. To realize this future vision, it is imperative that exploration of emerging technology continue, with the goal of determining the value and applicability of each new advance to critical government missions. To that end, the Strategic and Nuclear...
Topics: DTIC Archive, Stoutenburg, Suzette, MITRE CORP COLORADO SPRINGS CO, *INTEROPERABILITY, *HIGH LEVEL...
The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version 1.9 will be the official version until June 1988 when it will be replaced by ACVC version 1.10. Each of the 3122 tests in the ACVC 1.9 is designed to test a single test objective specified in the Ada Implementor's Guide (AIG), a document...
Topics: DTIC Archive, AERONAUTICAL SYSTEMS DIV WRIGHT FIELD OH, *COMPILERS, CONFORMITY, HIGH LEVEL...
The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version, replacing 1.8, in June 1987. ACVC version 1.9 will be the official version until June 1988 when it will be replaced by ACVC version 1.10. Each of the 3122 tests in the ACVC 1.9 is designed to test a single test objective specified in the Ada...
Topics: DTIC Archive, AERONAUTICAL SYSTEMS DIV WRIGHT FIELD OH, *COMPILERS, CONFORMITY, HIGH LEVEL...
The goal of our research is to understand better the relationship between determinism and nondeterminism, and how this relationship can be reflected accurately in semantic models for high-level programming languages. The languages we focus on are uniform languages, such as CCS and CSP whose syntax is given in terms of uninterpreted atomic actions. Such languages are useful in understanding the way concurrent processes communicate and cooperate. Our approach is to explore the use of spectral...
Topics: DTIC Archive, Mislove, Michael W, TULANE UNIV NEW ORLEANS LA, *HIGH LEVEL LANGUAGES, MODELS,...
The purpose of this Validation Summary Report (VSR) is to present the results and conclusions of performing standardized tests on the TeleSoft Ada Compiler which is hosted on TeleSoft's VAX-11/780 Computer operating under VMS 3.4. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.4, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (ADA). The purpose of the testing is to ensure that the compiler properly...
Topics: DTIC Archive, SOFTECH INC FAIRBORN OH, *COMPILERS, *HIGH LEVEL LANGUAGES, POLICIES, VALIDATION,...
This Validation Summary Report (VSR) describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability (ACVC). An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be...
Topics: DTIC Archive, ADA JOINT PROGRAM OFFICE ARLINGTON VA, *COMPILERS, TEST AND EVALUATION, VALIDATION,...
The design of a parallel programming environment specialized to systolic computation is proposed. The system, called Hearts, is a dialect of the Poker parallel programming environment. The key feature of Hearts that enables it to be a convenient and efficacious facility for writing systolic programs is a novel concept of program that is graphical rather than textual. The use of this program form is illustrated in a full example of the Kung-Leiserson matrix product algorithm.
Topics: DTIC Archive, Snyder, Lawrence, WASHINGTON UNIV SEATTLE, *COMPUTER PROGRAMMING, *HIGH LEVEL...
1,317
1.3K
Jun 15, 2011
06/11
by
NON
texts
eye 1,317
favorite 0
comment 0
No Abstract Available
Topics: COMPUTER PROGRAMMING, COMPUTER PROGRAMS, STATISTICAL ANALYSIS, CODING, DATA PROCESSING, ERROR...
This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and...
Topics: DTIC Archive, NATIONAL COMPUTING CENTRE LTD MANCHESTER (ENGLAND), *COMPILERS, TEST AND EVALUATION,...
869
869
Jul 12, 2010
07/10
by
Bowers, A. H.; Sim, A. G
texts
eye 869
favorite 0
comment 0
Computations of drag polars for a low-speed Wortmann sailplane airfoil are compared with both wind tunnel and flight test results. Excellent correlation was shown to exist between computations and flight results except when separated flow regimes were encountered. Smoothness of the input coordinates to the PROFILE computer program was found to be essential to obtain accurate comparisons of drag polars or transition location to either the flight or wind tunnel flight results.
Topics: BITS, MICROPROCESSORS, COMPUTER PROGRAMS, FLOATING POINT ARITHMETIC, HIGH LEVEL LANGUAGES,...
This report describes the EMMYPL programming language. EMMYPL is a high-level language designed for writing microprograms for the EMMY computer. EMMYPL allows the programmer to use ALGOL-like control constructs while retaining good contact with the unique hardware features of EMMY. (Author)
Topics: DTIC Archive, Polstra,John D, STANFORD UNIV CALIF DIGITAL SYSTEMS LAB, *PROGRAMMING LANGUAGES,...
Contents: Commitment to ADA; ADA Applications I; ADA Research/Methodology; ADA Impact on secure operating systems; ADA education and training; ADA Applications II; and ADA Program Support Environment and Development Tools.
Topics: DTIC Archive, ARMY COMMUNICATIONS-ELECTRONICS COMMAND FORT MONMOUTH NJ, *HIGH LEVEL LANGUAGES,...
Naval Postgraduate School
34
34
Feb 1, 2021
02/21
by
Borcheller, Otis Dennit; Ross, Ron Scott
texts
eye 34
favorite 0
comment 0
The theory of pure functional programming is applied to the standard conventional programming language PASCAL, thereby offering a unique and innovative language for problem-solving. A basic set of primitive functions and functional forms, as outlined in the 3aclcus JP System, provides a model for the development of a practical functional programming system. This system is activated by accessing a detailed and comprehensive system library module directly from a PASCAL program, thereby enabling...
Topics: Computer science, Functional Programming, Applicative Programming, Functional PASCAL, List...
Contents: The Software Crisis; Program Units; Types; Control Statements; Exceptions; Generics; Tasks; Application example.
Topics: DTIC Archive, ADA SOFTWARE ENGINEERING EDUCATION AND TRAINING TEAM, *HIGH LEVEL LANGUAGES,...
The Validation Summary Report describes how an Ada compiler conforms to the language standard. This report explains all technical terms used within and thoroughly reports the Ada Compiler Validation Capability (ACVC) test results. Ada compilers must be written according to the language specification as given in the ANSI/MIL-STD-1815A Ada. All implementation-defined features must be included for the compiler to conform to the Standard. Following the guidelines of the Standard ensures continuity...
Topics: DTIC Archive, BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE LE CHESNAY (FRANCE),...
Ten15 is an algebraic abstract machine which can also be considered as a structured, strongly-typed code used to develop programs. It is used by high-level language compilers as an intermediate target independent of language and hardware. The abstraction of Ten15 means that compiled code is better defined and at a higher level than that output for a conventional operating system. Currently an Ada compiler for the Ten15 abstract machine is under development. The objective of this paper is to...
Topics: DTIC Archive, Tombs, D J, ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (ENGLAND), *COMPILERS, HIGH...
Topics: DTIC Archive, Reif, John H, DUKE UNIV DURHAM NC, *PARALLEL PROCESSING, *HIGH LEVEL LANGUAGES,...
This paper presents some techniques for programming with iconic representations. These techniques promise to make programming in suitable ultra high level languages significantly easier and more intuitive. The languages that we have in mind are based on rewrite rules and/or object-oriented programming, and have user-definable abstract data types. One technique uses the notion of constructor(from the theory of algebraic specifications of abstract data types) to automatically generate graphical...
Topics: DTIC Archive, Goguen, Joseph A, SRI INTERNATIONAL MENLO PARK CA, *COMPUTER PROGRAMMING, DATA...
This paper presents a functional overview of the features and capabilities of QLISP, one of the newest of the current generation of very high level languages developed for use in artificial intelligence (AI) research. QLISP is both a programming language and an interactive programming environment. It embeds an extended version of QA4, an earlier AI language, in INTERLISP, a widely available version of LISP with a variety of sophisticated programming aids.
Topics: DTIC Archive, Sacerdoti, Earl D, STANFORD RESEARCH INST CA, *ARTIFICIAL INTELLIGENCE, *HIGH LEVEL...
This validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the Harris Ada Compiler, Version 1.0, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The Harris Ada Compiler is hosted on a Harris H1200 operating under VOS, Version 6.1. Programs processed by this compiler may be executed on a Tektronix 8540A-1750A, having no operating system. Keywords: Ada programming language.
Topics: DTIC Archive, ADA JOINT PROGRAM OFFICE ARLINGTON VA, *COMPILERS, *HIGH LEVEL LANGUAGES, PROGRAMMING...
For convenience we summarize here the project objectives as stated in the research proposal. This research in the methodologies for the specification and design of high-speed, fault-tolerant VLSI array structures has two related objectives (1) a high-level language approach to the specification and simulation of VLSI algorithms and networks using a functional-style (LISP-like) language (Task 1), and (2) cost-effective methods to introduce fault-tolerance (error detection, fault location, retry,...
Topics: DTIC Archive, Ercegovac, Miloes D, CALIFORNIA UNIV LOS ANGELES DEPT OF COMPUTER SCIENCE,...
This paper examines the premise that object-oriented technology (OOT) is the most significant technology ever examined by the Software Engineering Laboratory. The evolution of the use of OOT in the Software Engineering Laboratory (SEL) 'Experience Factory' is described in terms of the SEL's original expectations, focusing on how successive generations of projects have used OOT. General conclusions are drawn on how the usage of the technology has evolved in this environment.
Topics: NASA Technical Reports Server (NTRS), DESIGN ANALYSIS, OBJECT-ORIENTED PROGRAMMING, SOFTWARE...
This paper demonstrates that existing slice-based measures can reasonably be mapped to the field of state-based specification languages. By making use of Z specifications this contribution renews the idea of slice-profiles and derives coupling and cohesion measures for them. The measures are then assessed by taking a critical look at their sensitiveness in respect to modifications on the specification source. The presented study shows that slice-based coupling and cohesion measures have the...
Topics: NASA Technical Reports Server (NTRS), HIGH LEVEL LANGUAGES, FUNCTIONAL DESIGN SPECIFICATIONS,...
This paper presents the aspects of language programming transformations that were unknown in the early 1980's.
Topics: NASA Technical Reports Server (NTRS), HIGH LEVEL LANGUAGES, MACHINE TRANSLATION, LANGUAGE...
This chapter introduces the UniFrame approach to creating high quality computing systems from heterogeneous components distributed over a network. It describes how this approach employs a unifying framework for specifying such systems to unite the concepts of service-oriented architectures, a component-based software engineering methodology and a mechanism for automatically finding components on a network in order to assemble a specified system. UniFrame employs a formal specification language...
Topics: DTIC Archive, Raje, Rajeev R, DUKE UNIV DURHAM NC, *SOFTWARE ENGINEERING, *DISTRIBUTED DATA...
This report provides a brief summary of the research and development of a compiler for a mix of general purpose processors and adaptive computing processors from MATLAB. It incorporates a list of publications resulting from this research.
Topics: DTIC Archive, Banerjee, Prithviraj, NORTHWESTERN UNIV EVANSTON IL, *COMPILERS, COMPUTER...
The design and partial implementation of the PASCAL programming language for use on a microprocessor-based system is described. The framework for the implementation is comprised of two subsystems, a compiler which generates code for a hypothetical zero-address machine and a translator that generates code for the target 8080 microcomputer. The portions of the system which are implemented are written in the PL/M programming language to run in a diskette-based environment with at least 32K bytes...
Topics: DTIC Archive, Gracida,Joaquin C, NAVAL POSTGRADUATE SCHOOL MONTEREY CALIF, *PROGRAMMING LANGUAGES,...
Ida Paper P-2108, Ada Lexical Analyzer Generator, documents the Ada Lexical Analyzer Generator program which will create a lexical analyzer or next- token procedure for use in a compiler, pretty printer, or other language processing programs. Lexical analyzers are produced from specifications of the patterns they must recognize. The notation for specifying patterns is essentially the same as that used in the Ada Language Reference Manual. The generator produces an Ada package that includes code...
Topics: DTIC Archive, Meeson, Reginald N, INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA, *ADA PROGRAMMING...
The main goal of this project was to design a high-level programming system (which we have named SUPER, an acronym for Syracuse University Parallel Expression Reducer) with two parts: a language which would combine the functional (as in LISP, SASL, or ML) with the relational (as in PROLOG) programming concepts into a single new paradigm and a machine which would execute programs written in the language, using reduction and a multiprocessor architecture. The SUPER language is an extension of the...
Topics: DTIC Archive, Robinson, J A, SYRACUSE UNIV NY, *HIGH LEVEL LANGUAGES, COMPUTER PROGRAMMING,...
A research prototype implementation has been evolving for several years in parallel with the vision, theory, language, and applicative aspects of structured modeling. The objective of this paper is to describe the capabilities of this implementation as it now stands, and to comment on how it contributes toward fulfilling a previously published agenda for the development of a new generation of modeling environments. The intended audience is all modeling system designers and evaluators, including...
Topics: DTIC Archive, Geoffrion, Arthur M, CALIFORNIA UNIV LOS ANGELES WESTERN MANAGEMENT SCIENCE INST,...
Two computers were exhibited at the Workshop. The Lilith Modula-2 computer developed at Swiss Federal Institute of Technology and fabricated by Modula Research Institute of U.S.A. The other is the IBM Personal computer. Document lists the names of the participants at this workshop.
Topics: DTIC Archive, Chu,Yaohan, MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE, *COMPUTER...
The Navy must have standards to aid designers in their choice of microcomputer designs. High-level applications and system programming languages have several advantages in microcomputer design for a wide variety of applications. (Author)
Topics: DTIC Archive, Powers,V Michael, NAVAL POSTGRADUATE SCHOOL MONTEREY CALIF, *MICROCOMPUTERS, COMPUTER...
Topics: DTIC Archive, Chipman, Susan, CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, *HIGH...
PENGUIN SOFTWARE, Inc. has developed a retargetable microcode compiler. Our approach does not have a fixed machine independent language, but allows the user to develop a language specific to each particular target machine. PENGUIN SOFTWARE's Microcode Compiler starts out with an underlying meta-assembler and builds up a higher level language capability around it. This capability allows the user to incorporate knowledge of target machine design into the language definition, and thus avoid the...
Topics: DTIC Archive, Weight, Thomas H, PENGUIN SOFTWARE INC LONG BEACH CA, *COMPILERS, *MICROPROGRAMMING,...
Introduction To Software Engineering With ADA. Contents: The Software Crises; Program Units; Types; Control Statements; Exceptions, Generics; Tasks; and Application Example. Keywords: ASEET (Ada Software Engineering Education and Training).
Topics: DTIC Archive, ADA JOINT PROGRAM OFFICE ARLINGTON VA, *COMPUTER PROGRAMMING, EMERGENCIES, EDUCATION,...
This technical paper summarizes the work performed to redesign and enhance the Integrated Maintenance Information System Diagnostic Module (IMIS- DM). The diagnostic module provides technical support to the maintenance technician by furnishing a wide range of capabilities assisting in the selection of an efficient sequence of maintenance tasks. One of the major outcomes of this effort was the redesign of the IMIS-DM using Object-Oriented (OO) rapid prototyping techniques to create a diagnostic...
Topics: DTIC Archive, Cooke, Garth, SYSTEMS EXPLORATION INC DAYTON OH, *MAINTENANCE, *INFORMATION SYSTEMS,...
With an ever increasing demand for new program applications and the failure of older generations of languages, such as COBOL, PL/I, PASCAL, etc., to keep up with this increased demand, there exists a need for new techniques and approaches to programming. Greater programmer/user productivity and enhanced user friendliness, to allow more end users to develop applications on their own, are goals sought by industry in order to reduce skyrocketing backlogs of applications. This paper describes a new...
Topics: DTIC Archive, Jacobson,Everett L, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *HIGH LEVEL LANGUAGES,...
IDA Memorandum Report M-361 contains the source code for the demonstration software which implements the specification found in IDA memorandum Report M-360, Level 1 Ada/SQL Database Language Interface User's Guide. M-361 will be used to provide the actual means of accessing the relational database UNIFY with the Ada language. This software demonstrates an interface between Ada and the database language SQL as implemented by the UNIFY database package. An interface between Ada application...
Topics: DTIC Archive, Brykczynski, Bill, INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA, *COMPUTER...
