Higher-Order Attribute Semantics of Flat Declarative Languages

A technique is described that provides a convenient instrument for implementation of semantics of simple declarative languages called flat languages. Semantics of a specification is defined in the paper as a set of programs derivable for solvable goals. We introduce higher-order attribute models that include more control information than conventional attribute models and explain the algorithm for dynamic evaluation of attributes on these models. A visual tool CoCoViLa is briefly described as an instrument for implementing attribute semantics of flat languages

The Daily Texan

Texas Student Medi

Spartan Daily, March 4, 2015

Volume 144, Issue 17https://scholarworks.sjsu.edu/spartandaily/2109/thumbnail.jp

Spartan Daily October 24, 2011

Volume 137, Issue 30https://scholarworks.sjsu.edu/spartandaily/1084/thumbnail.jp

A distributed program synthesizer

This paper describes an architecture of a distributed synthesizer for automated program construction. The objective of the synthesizer is to realize the ideas of Structural Synthesis of Programs in a computer network. The synthesizer handles structural specifications stored into Java classes as meta-interfaces and works on a network using CORBA technology

Generavimo metodų naudojimas kuriant .NET komponentines programų sistemas

Komponentinė paradigma leidžia greičiau sukurti programų sistemas, efektyviau pakartotinai naudoti anksčiau sukurtus programinius artefaktus – komponentus. Deja, praktiškai kuriant komponentines programų sistemas daug laiko sugaištama komponentų paieškai ir verifikavimui. Vienas galimų šios problemos sprendimų – komponentinių programų verifikavimui ir sintezei naudoti formaliuosius metodus. Komponentinių (ypač iš pasaulinio tinklo paslaugų sudarytų) programų kūrimas formaliaisiais metodais plačiai diskutuojamas, tačiau kol kas yra tik pradinės stadijos. Straipsnyje supažindinama su sintezės sistema, skirta komponentinėms programoms iš .NET komponentų kurti. Sistema realizuota naudojant du generavimo metodus: struktūrinę sintezę ir indukciją. Pateiktas konkretus programų sistemos generavimo pavyzdys.The application of generative methods for .NET component-based software synthesisVaidas Giedrimas SummaryThe component paradigm increases the performance of software development process by reusing prefabricated software components. However, the search and verification of components still take relatively long time. One of the possible solutions to increase software development productivity and quality is the application of formal methods. Many approaches have been presented to scientific community, however the biggest part of them are still in the beginning stage – the formal description of component model without practical implementations. The synthesis system of .NET component-based software is presented in this arcticle. This system is based on two generative methods: the Structural Synthesis of Programs (SSP) and the induction. One small example of componentbased software synthesis is also described

The Cowl - v.79 - n.1 - Sep 4, 2014

The Cowl - student newspaper of Providence College. Vol 79 - No. 1 - September 4, 2014. 24 pages

Air Force Institute of Technology Contributions to Air Force Research and Development, Calendar Year 1987

From the introduction:The primary mission of the Air Force Institute of Technology (AFIT) is education, but research and consulting are essential integral elements in the process. This report highlights AFIT\u27s contributions to Air Force research and development activities [in 1987]

Chicago-Kent Magazine - Fall 2013

https://scholarship.kentlaw.iit.edu/ckmagazine/1000/thumbnail.jp