An algorithm for generating abstract syntax trees

The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving an abstract syntax directly from a BNF grammar. The implementation of this algorithm and its application to the grammar for Modula are discussed

A requirements specification for a software design support system

Most existing software design systems (SDSS) support the use of only a single design methodology. A good SDSS should support a wide variety of design methods and languages including structured design, object-oriented design, and finite state machines. It might seem that a multiparadigm SDSS would be expensive in both time and money to construct. However, it is proposed that instead an extensible SDSS that directly implements only minimal database and graphical facilities be constructed. In particular, it should not directly implement tools to faciliate language definition and analysis. It is believed that such a system could be rapidly developed and put into limited production use, with the experience gained used to refine and evolve the systems over time

The Mystro system: A comprehensive translator toolkit

Mystro is a system that facilities the construction of compilers, assemblers, code generators, query interpretors, and similar programs. It provides features to encourage the use of iterative enhancement. Mystro was developed in response to the needs of NASA Langley Research Center (LaRC) and enjoys a number of advantages over similar systems. There are other programs available that can be used in building translators. These typically build parser tables, usually supply the source of a parser and parts of a lexical analyzer, but provide little or no aid for code generation. In general, only the front end of the compiler is addressed. Mystro, on the other hand, emphasizes tools for both ends of a compiler

Cumulative reports and publications through December 31, 1988

This document contains a complete list of ICASE Reports. Since ICASE Reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is available

Cumulative reports and publications through December 31, 1990

This document contains a complete list of ICASE reports. Since ICASE reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is available

Ohjelmavikojen koneellinen tunnistaminen

Avoimen lähdekoodin ratkaisuja hyödynnetään modernissa ohjelmistokehityksessä laajasti. Pienisistä ohjelmistoprojekteista lähtien aina valtion huoltovarmuuden kannalta oleellisiin järjestelmiin käytetään samoja avoimen lähdekoodin ratkaisuja. Ratkaisujen uskotaan olevan ylläpidettyjä, tietoturvallisia ja toimivia, koska ne toimivat modernin ohjelmistokehityksen kivijalkana. Todellisuudessa kriittisimmistä avoimen lähdekoodin ratkaisuista voi löytyä ”koulukirjaesimerkkejä” ohjelmointivirheestä, joka voi altistaa ratkaisun käyttäjän vaaralle. Tutkielmassa tutkitaan empiirisilla menetelmällä koneellisesti havaittavien ohjelmavikojen kehittymistä avoimen lähdekoodin Spring-ohjelmistokehyksen kolmen pääversion välillä. Springohjelmistokehys on suosittu ratkaisu Java-ohjelmointikielellä tapahtuvassa ohjelmistokehityksessä. Suuren markkinaosuutensa johdosta Spring-ohjelmistokehys muodostaa kriittisen kivijalan, jonka päälle rakennetaan muita ratkaisuja. Merkittävyytensä johdosta Springohjelmistokehys on ensiluokkainen ehdokas koneelliseen analysointiin. Koneellinen analysointi suoritettiin käyttämällä kahta modernia staattisen analysoinnin työkalua: Error Prone ja SonarQube nimisiä työkaluja. Työkalujen analysointien tulokset olivat enimmäkseen samaa mieltä ohjelmavikojen jakautumisesta Spring-ohjelmistokehyksen moduuleihin, mutta eri mieltä ohjelmavikojen lukumäärän kehityssuunnasta Springohjelmistokehyksen pääversioiden välillä. Error Prone -työkalun tulokset osoittavat ohjelmavikojen vähentyneen jokaisessa pääversiossa, eikä lähdekoodin lisääntyminen ole korreloinut ohjelmavikojen lukumäärän kanssa. SonarQube-työkalun tulokset päinvastoin osoittavat korrelaation lähdekoodin lisääntymisessä ja ohjelmavikojen lukumäärässä Springohjelmistokehyksen pääversioiden välillä. Tutkielman tulokset osoittavat Spring-ohjelmistokehyksestä löytyvän ohjelmavikoja, jotka ovat koneellisesti havaittavissa moderneilla staattisen analysoinnin työkaluilla. Työkalut olisi mahdollista integroida osaksi Spring-ohjelmistokehyksen kehitysprosessia, jolloin ne osoittaisivat koneellisesti varmistetun minimitason lähdekoodin laadussa

Cumulative reports and publications

A complete list of Institute for Computer Applications in Science and Engineering (ICASE) reports are listed. Since ICASE reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is available. The major categories of the current ICASE research program are: applied and numerical mathematics, including numerical analysis and algorithm development; theoretical and computational research in fluid mechanics in selected areas of interest to LaRC, including acoustics and combustion; experimental research in transition and turbulence and aerodynamics involving LaRC facilities and scientists; and computer science

Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law