Mark van den Brand, Arie van Deursen, T. B. Dinesh, Jasper F. Th. Kamperman, Eelco Visser
Proceedings of the Workshop on Generating Tools From Algebraic Specifications
ASF+SDF, 1995.

@proceedings{ASF+SDF-1995,
	editor        = "Mark van den Brand and Arie van Deursen and T. B. Dinesh and Jasper F. Th. Kamperman and Eelco Visser",
	title         = "{Proceedings of the Workshop on Generating Tools From Algebraic Specifications}",
	year          = 1995,
}

Event page: http://ivi.fnwi.uva.nl/tcs/pub/reports/1995/P9504/

Contents (15 items)

6 ×#asf+sdf
4 ×#specification
2 ×#ide
2 ×#syntax
2 ×#using

ASF+SDF-1995-HeeringK #asf+sdf

The Prehistory of ASF+SDF (1980-1984) (JH, PK), pp. 1–4.

ASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation

The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.

ASF+SDF-1995-Heering #algebra #imperative #source code

An Algebraic Machine for Imperative Programs (JH), pp. 27–28.

ASF+SDF-1995-BrandEGMOP #asf+sdf #program transformation #using

Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.

ASF+SDF-1995-MauwM #data type #library

A PSF Library of Data Types (SM, JCM), pp. 53–64.

ASF+SDF-1995-Vigna #asf+sdf #case study #specification #using

Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.

ASF+SDF-1995-Visser #product line #syntax

A Family of Syntax Definition Formalisms (EV), pp. 89–126.

ASF+SDF-1995-FerroP #incremental #prototype

Friendly Incremental Prototyping (MVF, MAAP), pp. 127–142.

ASF+SDF-1995-Uskudarli #specification #syntax #visual notation

Specifying Visual Syntax (SÜ), pp. 143–154.

ASF+SDF-1995-Brand #asf+sdf #ide #past present future #pretty-printing

Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.

ASF+SDF-1995-MauwMa #sequence chart #specification #tool support

Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.

ASF+SDF-1995-Deursen #π-calculus

A Simple π-Calculus Manipulation Tool (AvD), pp. 211–232.

ASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification

Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.

ASF+SDF-1995-Dinesh #injection

Injection Misdemeanors (TBD), pp. 255–270.

ASF+SDF-1995-KampermanW #compilation #self

The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.