Arie van Deursen, M. P. A. Sellink, Eelco Visser
Proceedings of the Second International Workshop on Generating Tools from Algebraic Specifications
ASF+SDF, 1997.

@proceedings{ASF+SDF-1997,
	address       = "Amsterdam, NH, The Netherlands",
	editor        = "Arie van Deursen and M. P. A. Sellink and Eelco Visser",
	isbn          = "3-540-76228-0",
	month         = "September",
	publisher     = "{British Computer Society}",
	title         = "{Proceedings of the Second International Workshop on Generating Tools from Algebraic Specifications}",
	year          = 1997,
}

Event page: http://web.archive.org/web/20040411050749/http://adam.wins.uva.nl/~gipe/asf+sdf97/

Contents (13 items)

3 ×#asf+sdf
3 ×#specification
2 ×#ide
2 ×#implementation
2 ×#legacy
2 ×#source code

ASF+SDF-1997-AnlauffKP #aspect-oriented #development

Formal aspects of and development environments for Montages (MA, PWK, AP), p. 1.

ASF+SDF-1997-BorovanskyK #partial evaluation

Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.

ASF+SDF-1997-BorovanskyKK #logic #specification

Rewriting as a unified specification tool for logic and control: the ELAN language (PB, CK, HK), p. 3.

ASF+SDF-1997-BrandHK #asf+sdf #ide #legacy

Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.

ASF+SDF-1997-BrandKMO #asf+sdf #ide #implementation #prototype

Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.

ASF+SDF-1997-BrandSV #cobol #legacy #re-engineering

Obtaining a COBOL grammar from legacy code for reengineering purposes (MvdB, MPAS, CV), p. 6.

ASF+SDF-1997-Brunekreef #algebra #prolog #source code #specification

An algebraic specification of a transformation tool for Prolog programs (JB), p. 7.

ASF+SDF-1997-DineshT #approach #case study #fault

A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.

ASF+SDF-1997-LuttikV #specification

Specification of rewriting strategies (SPL, EV), p. 9.

ASF+SDF-1997-Moonen #analysis #architecture #data flow #reverse engineering

A generic architecture for data flow analysis to support reverse engineering (LM), p. 10.

ASF+SDF-1997-MoreauK #commutative #compilation #normalisation

Compilation techniques for associative-commutative normalisation (PEM, HK), p. 11.

ASF+SDF-1997-Mosses #asf+sdf

CASL for ASF+SDF users (PDM), p. 12.

ASF+SDF-1997-Vigna #implementation #performance #source code #towards

Towards an efficient implementation of distributive programs (SV), p. 13.