Bibliography

1

American National Standards Institute, Inc.
Programming Language - COBOL, ANSI X3.23-1985 edition, 1985.

2

B. R. T. Arnold, A. van Deursen, and M. Res.
An algebraic specification of a language for describing financial products.
In M. Wirsing, editor, ICSE-17 Workshop on Formal Methods Application in Software Engineering, pages 6-13. IEEE, April 1995.

3

J.C.M. Baeten, J.A. Bergstra, J.W. Klop, and W.P. Weijland.
Term-rewriting systems with rule priorities.
Theoretical Computer Science, 67(2&3):283-301, 1989.

4

D. Benanav, D. Kapur, and P. Narendran.
Complexity of matching problems.
In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, volume 202 of LNCS, pages 417-429. Springer-Verlag, 1985.

5

J.A. Bergstra, J. Heering, and P. Klint, editors.
Algebraic Specification.
ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.

6

J.A. Bergstra, J. Heering, and P. Klint.
The algebraic specification formalism ASF.
In J.A. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, ACM Press Frontier Series, pages 1-66. The ACM Press in co-operation with Addison-Wesley, 1989.

7

J.A. Bergstra and P. Klint.
The discrete time TOOLBUS--a software coordination architecture.
Science of Computer Programming, 31:205-229, 1998.

8

J.A. Bergstra and J.W. Klop.
Conditional rewrite rules: Confluence and termination.
Journal of Computer System Science, 32(3):323-362, 1986.

9

M.G.J. van den Brand, A. van Deursen, P. Klint, S. Klusener, and E.A. van der Meulen.
Industrial applications of ASF+SDF.
In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST '96), volume 1101 of LNCS, pages 9-18. Springer-Verlag, 1996.

10

M.G.J. van den Brand, P. Klint, and P. Olivier.
ATerms: Exchanging data between heterogeneous tools for CASL, 1998.
Available at ftp://ftp.brics.dk/Projects/CoFI/Notes/T-3/doc.ps.Z.

11

M.G.J. van den Brand, P. Klint, P. Olivier, and E. Visser.
Aterms: representing structured data for exchange between heterogeneous tools, 1996.
Unpublished manuscript.

12

M.G.J. van den Brand, P. Klint, and C. Verhoef.
Core technologies for system renovation.
In K.G. Jeffery, J. Král, and M. Bartosek, editors, SOFSEM'96: Theory and Practice of Informatics, volume 1175 of LNCS, pages 235-255. Springer-Verlag, 1996.

13

M.G.J. van den Brand, T. Kuipers, L. Moonen, and P. Olivier.
Implementation of a prototype for the new ASF+SDF meta-environment.
In M.P.A. Sellink, editor, Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, electronic Workshops in Computing. Springer verlag, 1997.

14

M.G.J. van den Brand, P. Olivier, J. Heering, and P. Klint.
Compiling rewrite systems: The ASF+SDF compiler.
Technical report, CWI/University of Amsterdam, 1998.
In preparation.

15

M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef.
Generation of components for software renovation factories from context-free grammars.
Available at http://adam.wins.uva.nl/~x/scp/scp.html. An extended abstract with the same title appeared earlier: [].

16

M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef.
Obtaining a COBOL grammar from legacy code for reengineering purposes.
In M.P.A. Sellink, editor, Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, electronic Workshops in Computing. Springer verlag, 1997.
Available at http://adam.wins.uva.nl/~x/coboldef/coboldef.html.

17

M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef.
Control flow normalization for COBOL/CICS legacy systems.
In P. Nesi and F. Lehner, editors, Proceedings of the Second Euromicro Conference on Maintenance and Reengineering, pages 11-19, 1998.
Available at http://adam.wins.uva.nl/~x/cfn/cfn.html.

18

M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef.
Current parsing techniques in software renovation considered harmful.
In Proceedings of the sixth International Workshop on Program Comprehension, pages 108-117, 1998.
Available at http://adam.wins.uva.nl/~x/ref/ref.html.

19

M.G.J. van den Brand and E. Visser.
Generation of formatters for context-free languages.
ACM Transactions on Software Engineering and Methodology, 5:1-41, 1996.

20

A. van Deursen.
Domain-specific languages versus object-oriented frameworks: A financial engineering case study.
In Proceedings Smalltalk and Java in Industry and Academia, STJA'97, pages 35-39, Erfurt, September 1997. Ilmenau Technical University.

21

A. van Deursen, J. Heering, and P. Klint, editors.
Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing.
World Scientific Publishing Co., 1996.

22

A. van Deursen and T. Kuipers.
Finding classes in legacy code using cluster analysis.
In S. Demeyer and H. Gall, editors, Proceedings of the ESEC/FSE'97 Workshop on Object-Oriented Reengineering, Report TUV-1841-97-10. Technical University of Vienna, 1997.

23

A. van Deursen and L. Moonen.
Type inference for COBOL systems.
In M. Blaha, A. Quilici, and C. Verhoef, editors, Proceedings of the 5th Working Conference on Reverse Engineering. IEEE Computer Scociety Press, 1998.

24

A. van Deursen and P.D. Mosses.
Executing Action Semantics descriptions using ASF+SDF.
In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Algebraic Methodology and Software Technology (AMAST'93), Workshops in Computing, pages 415-416. Springer-Verlag, 1993.

25

F. van Dijk, W.J. Fokkink, G.P. Kolk, P. van de Ven, and S.F.M. van Vlijmen.
EURIS: a specification method for distributed interlockings (extended abstract).
In Proceedings of SAFECOMP '98, LNCS. Springer-Verlag, 1998.
To appear.

26

W.J. Fokkink and C. Verhoef.
Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories.
Technical Report P9802, University of Amsterdam, Programming Research Group, 1998.
Available at: http://adam.wins.uva.nl/~x/cade/cade.ps.

27

J.F. Groote, J.W.C. Koorn, and S.F.M. van Vlijmen.
The safety guaranteeing system at station Hoorn-Kersenboogerd.
In Proceedings of the Tenth Annual Conference on Computer Assurance, Compass'95, pages 57-68. IEEE, 1995.

28

J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers.
The syntax definition formalism SDF -- Reference manual.
SIGPLAN Notices, 24(11):43-75, 1989.
Latest version: ftp://ftp.cwi.nl/pub/gipe/reports/SDFManual.ps.Z.

29

J. Heering, G. Kahn, P. Klint, and B. Lang.
Generation of interactive programming environments.
In The Commission of the European Communities, editor, Esprit '85 - Status Report of Continuing Work 1, pages 467-477. North-Holland, 1986.

30

W.H. Hesselink and J.F. Groote.
Waitfree distributed memory management by Create, and Read Until Deletion (CRUD).
Technical Report SEN-R9811, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1998.

31

IBM, Mechanicsburg, Pennsylvania, USA.
CICS/ESA Application Programming Reference, 1992.

32

IBM Corporation.
DB2 for MVS/ESA V4 SQL Reference, 4 release 1 edition, 1997.

33

V.K. Jolly.
Commercializing New Technologies : Getting from Mind to Market.
Harvard Business School Press, 1997.

34

Capers Jones.
Assessment and Control of Software Risks.
Prentice-Hall, 1994.

35

Capers Jones.
The Year 2000 Software Problem - Quantifying the Costs and Assessing the Consequences.
Addison-Wesley, 1998.

36

S. Kaplan.
Conditional rewrite rules.
Theoretical Computer Science, 33(2):175-193, 1984.

37

S. Kaplan.
Positive/negative conditional rewriting.
In S. Kaplan and J.-P. Jouannaud, editors, Conditional Term Rewriting Systems, volume 308 of LNCS, pages 129-143. Springer-Verlag, 1988.

38

P. Klint.
A meta-environment for generating programming environments.
ACM Transactions on Software Engineering and Methodology, 2(2):176-201, 1993.

39

P. Klint and C. Verhoef.
Evolutionary software engineering: A component-based approach.
In R.N. Horspool, editor, IFIP WG 2.4 Working Conference: Systems Implementation 2000: Languages, Methods and Tools, pages 1-18. Chapman & Hall, 1998.
Available at: http://adam.wins.uva.nl/~x/evol-se/evol-se.html.

40

J.W. Klop.
Term rewriting systems.
In Handbook of Logic in Computer Science, Volume II, pages 1-116. Oxford University Press, 1992.

41

J.W.C. Koorn.
Connecting semantic tools to a syntax-directed user-interface.
In H.A. Wijshoff, editor, Computing Science in the Netherlands (CSN93), SION, pages 217-228, 1993.

42

B. Lang.
Deterministic techniques for efficient non-deterministic parsers.
In J. Loeckx, editor, Proceedings of the Second Colloquium on Automata, Languages and Programming, volume 14 of Lecture Notes in Computer Science, pages 255-269. Springer-Verlag, 1974.

43

J.R. Levine, T. Mason, and D. Brown.
Yacc ambiguities and Conflicts.
In lex & yacc, pages 217-241. O'Reilly & Associates, Inc., 2nd edition, 1992.

44

C. K. Mohan.
Priority rewriting: Semantics, confluence, and conditionals.
In N. Dershowitz, editor, Rewriting Techniques and Applications (RTA '89), volume 355 of Lecture Notes in Computer Science, pages 278-292. Springer-Verlag, 1989.

45

C. K. Mohan and M. K. Srivas.
Conditional specifications with inequational assumptions.
In S. Kaplan and J.-P. Jouannaud, editors, Conditional Term Rewriting Systems (CTRS '88), volume 308 of Lecture Notes in Computer Science, pages 161-178. Springer-Verlag, 1988.

46

C. K. Mohan and M. K. Srivas.
Negation with logical variables in conditional rewriting.
In N. Dershowitz, editor, Rewriting Techniques and Applications (RTA '89), volume 355 of Lecture Notes in Computer Science, pages 292-310. Springer-Verlag, 1989.

47

R.W. Olshavsky.
Time and the rate of adoption of innovations.
Journal of Consumer Research, 6:425-428, March 1980.

48

M.S. Paterson and M.N. Wegman.
Linear unification.
Journal of Computer and System Sciences, 16(5):158-167, 1978.

49

J. Rekers.
Parser Generation for Interactive Environments.
PhD thesis, University of Amsterdam, 1992.
ftp://ftp.cwi.nl/pub/gipe/reports/Rek92.ps.Z.

50

H. Reubenstein, R. Piazza, and S. Roberts.
Separating parsing and analysis in reverse engineering tools.
In R.C. Waters and C.J. Chikofsky, editors, Proceedings of the 1st Working Conference on Reverse Engineering, pages 117-125, 1993.

51

M.P.A. Sellink and C. Verhoef.
An architecture for automated software maintenance.
Technical Report P9807, University of Amsterdam, Programming Research Group, 1998.
Available at: http://adam.wins.uva.nl/~x/asm/asm.html.

52

M.P.A. Sellink and C. Verhoef.
Development, assessment, and reengineering of language descriptions.
Technical Report P9805, University of Amsterdam, Programming Research Group, 1998.
Available at: http://adam.wins.uva.nl/~x/cale/cale.html.

53

M.P.A. Sellink and C. Verhoef.
Generation of software renovation factories from compilers.
Technical report, University of Amsterdam, Programming Research Group, 1998.
In preparation.

54

M.P.A. Sellink and C. Verhoef.
Native patterns.
In M. Blaha, A. Quilici, and C. Verhoef, editors, Proceedings of the 5th Working Conference on Reverse Engineering. IEEE Computer Scociety Press, 1998.
Available at http://adam.wins.uva.nl/~x/npl/npl.html.

55

M. Tomita.
Efficient Parsing for Natural Languages--A Fast Algorithm for Practical Systems.
Kluwer Academic Publishers, 1986.

56

Eelco Visser.
Scannerless Generalized-LR Parsing.
Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997.
Available at http://www.wins.uva.nl/pub/programming-research/reports/1997/P9707.ps.