SDF is a formalism for the definition of syntax which is comparable to BNF in some respect, but has a wider scope in that it also covers the definition...

Abstract not found

The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language de nitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the Meta-Environment started exhibiting more and more characteristics of a legacy system, we decided to build a completely new, component-based, version. We demonstrate this new system and stress its open architecture.

. The notion of "time" plays an important role when coordinating

Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting.

Abstract not found

In the framework of conditional, not necessarily orthogonal, term rewriting systems,

The ASF+SDF Meta-Environment is an interactive language development environment...

Data Types (ADT's) in the framework of order sorted algebraic specifications, in a way similar to the specification languages OBJ[6] and ASF[2]. The syntactical construct for defining ADTs in LCM is the hValueBlocki, in which you bind a name to a set of values, and define the appearance of functions and constants related to that set. The meaning of the expressions using values from that set is expressed by giving equations. As a simple example, a value block for specifying a sort representing the colors of a traffic light, together with a function nextcolor might look like this: begin value type TRAFFICLIGHTCOLOR functions -- Constants are viewed as functions without parameters. red : TRAFFICLIGHTCOLOR; orange : TRAFFICLIGHTCOLOR; green : TRAFFICLIGHTCOLOR; -- A function to return the next color to be displayed, -- given the current color of a traffic light. nextcolor(TRAFFICLIGHTCOLOR) : TRAFFICLIGHTCOLOR; predicates continue(TRAFFICLIGHTCOLOR); axioms nextcolor(red) = ...

We report on the use of formal methods and supporting tools during the development of a language applied in a banking environment. This language, called RISLA, is used to define the nature of the interest products offered by a bank. A RISLA description fixes the cash flows (amounts of money coming in or going out on particular dates) resulting from a product, and is used to generate COBOL code. The language has been developed with the use of algebraic specifications, the role of which is discussed. Note: An extended abstract appeared under the same title in M. Wirsing (editor), Proceedings of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle, April 1995. Keywords & Phrases: algebraic specifications, financial engineering, COBOL, formal methods experience, tool support; Work done while at CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands. y Work done while at the Programming Research Group of the University of Amsterdam. 1 Intro...