A proposed translator writing system language - Computer project, volume 3, no. 1

Programming language for advanced translator writing syste

A small ALGOL compiler for OS-3

This thesis describes the design of a syntax directed, production language compiler called ALG. Special attention is given to the syntax directed analyzer and the use of sub-syntax types. Relocation codes are used for storage allocation and address assignment before generating the relocatable binary object decks. Attention is also given to the dynamic nature of the symbol table and its relation to the block structure of the ALG language

A survey of compiler development aids

A theoretical background was established for the compilation process by dividing it into five phases and explaining the concepts and algorithms that underpin each. The five selected phases were lexical analysis, syntax analysis, semantic analysis, optimization, and code generation. Graph theoretical optimization techniques were presented, and approaches to code generation were described for both one-pass and multipass compilation environments. Following the initial tutorial sections, more than 20 tools that were developed to aid in the process of writing compilers were surveyed. Eight of the more recent compiler development aids were selected for special attention - SIMCMP/STAGE2, LANG-PAK, COGENT, XPL, AED, CWIC, LIS, and JOCIT. The impact of compiler development aids were assessed some of their shortcomings and some of the areas of research currently in progress were inspected

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

Evidentiality, egophoricity and engagement

The expression of knowledge in language (i.e. epistemicity) consists of a number of distinct notions and proposed categories that are only partly related to a well explored forms like epistemic modals. The aim of the volume is therefore to contribute to the ongoing exploration of epistemic marking systems in lesser-documented languages from the Americas, Papua New Guinea, and Central Asia from the perspective of language description and cross-linguistic comparison. As the title of the volume suggests, part of this exploration consists of situating already established notions (such as evidentiality) with the diversity of systems found in individual languages. Epistemic forms that feature in the present volume include ones that signal how speakers claim knowledge based on perceptual-cognitive access (evidentials); the speaker’s involvement as a basis for claiming epistemic authority (egophorics); the distribution of knowledge between the speech-participants where the speaker signals assumptions about the addressee’s knowledge of an event as either shared, or non-shared with the speaker (engagement marking)

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

Knowledge Based Systems: A Critical Survey of Major Concepts, Issues, and Techniques

This Working Paper Series entry presents a detailed survey of knowledge based systems. After being in a relatively dormant state for many years, only recently is Artificial Intelligence (AI) - that branch of computer science that attempts to have machines emulate intelligent behavior - accomplishing practical results. Most of these results can be attributed to the design and use of Knowledge-Based Systems, KBSs (or ecpert systems) - problem solving computer programs that can reach a level of performance comparable to that of a human expert in some specialized problem domain. These systems can act as a consultant for various requirements like medical diagnosis, military threat analysis, project risk assessment, etc. These systems possess knowledge to enable them to make intelligent desisions. They are, however, not meant to replace the human specialists in any particular domain. A critical survey of recent work in interactive KBSs is reported. A case study (MYCIN) of a KBS, a list of existing KBSs, and an introduction to the Japanese Fifth Generation Computer Project are provided as appendices. Finally, an extensive set of KBS-related references is provided at the end of the report

Evidentiality, egophoricity and engagement

The expression of knowledge in language (i.e. epistemicity) consists of a number of distinct notions and proposed categories that are only partly related to a well explored forms like epistemic modals. The aim of the volume is therefore to contribute to the ongoing exploration of epistemic marking systems in lesser-documented languages from the Americas, Papua New Guinea, and Central Asia from the perspective of language description and cross-linguistic comparison. As the title of the volume suggests, part of this exploration consists of situating already established notions (such as evidentiality) with the diversity of systems found in individual languages. Epistemic forms that feature in the present volume include ones that signal how speakers claim knowledge based on perceptual-cognitive access (evidentials); the speaker’s involvement as a basis for claiming epistemic authority (egophorics); the distribution of knowledge between the speech-participants where the speaker signals assumptions about the addressee’s knowledge of an event as either shared, or non-shared with the speaker (engagement marking)

Evidentiality, egophoricity and engagement

Peer reviewe