8 research outputs found
Recommended from our members
MERCURY: Distributed Incremental Attribute Grammar Evaluation
This technical report consists of the two most recent papers from the MERCURY project Multiuser, Distributed Language-Based Environments explains the application of incremental attribute grammar evaluation algorithms to generation of distributed programming environments and describes the implementation of the MERCURY system. Version and Configuration Control in Distributed Language-Based Environments presents new algorithms that permit MERCURY to support multiple versions and configurations of modules and to more efficiently propagate changes to aggregate attributes
Attribute Grammar Applications in Prototyping LOTOS Tools
What is the practical applicability of attribute grammars? As we show in this paper, attribute grammars are at least good enough for the prototyping of fully functional interactive tools. Going from a definition of a language and the functionality of its tools to an attribute grammar is a discipline in need of a systematic approach, for which we give some initial material. As is inevitable when a system is extensively used (in our case the Cornell Synthesizer Generator), this paper also proposes extensions to the attribute grammar formalism and its supporting systems. 1 Introduction This paper represents, in some way, a view from the trenches. How we prototyped tools contributing to a specification environment for LOTOS is the main topic here. Attribute grammars were chosen because they promised to be a good prototyping approach to language based software development, and the close relation between attribute grammars and the description of tool functions helps ensure the correctness of..
Recommended from our members
INFUSE Test Management
This technical report consists of the two papers discussing testing technology. INFUSE: Integration Testing with Crowd Control describes the test management facilities provided by the lNFUSE change management system. lNFUSE partially automates the construction of test harnesses and regression test suites at each level of the integration hierarchy from components available from lower levels. Adequate Testing and Object-Oriented Programming applies the axions of adequate testing to object-oriented programming languages and examines their implications. Contrary to our original expectations, we discover that in the general case classes must be retested in every context of reuse
Recommended from our members
Testing Reliable Distributed Applications Through Simulated Events
There are many distributed applications that incorporate application-specific reliability algorithms which operate on top of general purpose networking, operating system and programming language facilities. We present a framework for application-level reliability testing suitable for a wide range of distributed applications, and describe how we've applied it to one particular application, Mercury, a distributed, multi-user programming environment
Recommended from our members
GAEA Action Equations Paradigm
This technical report consists of two papers describing the GAEA action equations paradigm. Incremental Dynamic Semantics for Language-based Programming Environments explains why attribute grammars are not suitable for expressing dynamic semantics and presents action equations, an extension of attribute grammars suitable for specifying the static and the dynamic semantics of programming languages. It describes how action equations can be used to generate language-based programming environments that incrementally derive static and dynamic properties as the user modifies and debugs the program. Rapid Prototyping of Concurrent Programming Languages extends this technology to a concurrent framework. It describes an (unimplemented) system that generates a parallel interpreter for the language and provides runtime support for the synchronization primitives and other facilities in the language
Recommended from our members
Reliable Network Communications
This technical report consists of three papers from the INTERCOMS project. A Network Architecture for Reliable Distributed Computing introduces the view section model, a network layer for exception handling in response to disruptions in communication channels due to failures of network links or nodes. Remote Exception Handling discusses for a network layer for exception handling among cooperating application processes. Demand-Driven Parameter Passing in Remote Procedure Call describes how remote exception handling solves the problem of passing referential data types (pointers) as parameters to remote procedures