A system for translating executable VDM specifications into Lazy ML

Software - Practice and Experience

Volumn 27, Issue 3, 1997, Pages 271-289

  Borba, Paulo ^a   Meira, Silvio ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Compilers; Formal methods; Functional languages; Rapid prototyping; Specification languages

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING; FORMAL LANGUAGES; PROGRAM COMPILERS; RAPID PROTOTYPING;

FUNCTIONAL LANGUAGES; LAZY ML PROTOTYPES; VDM EXECUTABLE SPECIFICATIONS;

SOFTWARE PROTOTYPING;

EID: 0031099823     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199703)27:3<271::AID-SPE84>3.0.CO;2-T     Document Type: Article

References (25)

1. Cliff Jones, Systematic Software Development using VDM, Prentice-Hall, 1986.
2. Lennart Augustsson and Thomas Johnsson, 'The Chalmers Lazy-ML compiler,' The Computer Journal, 32(2) 127-141 (April 1989).
3. Lennart Augustsson, 'The interactive Lazy ML system', Journal of Functional Programming, 3(1) 77-92 (1993).
4. Paulo Borba and Silvio Meira, 'From VDM specifications to functional prototypes', Journal of Systems and Software, 21(3) 267-78, (June 1993).
5. J. Michael Spivey, The Z Notation: A Reference Manual, Prentice-Hall, 1989.
6. ++. Prentice-Hall, 1993.
7. Silvio Meira and Ana Cavalcanti, 'MooZ case studies', S. Stepney (ed.), Comparative Study of Object Orientation in Z, Springer-Verlag, 1992.
8. Paul Hudak, Simon Peyton Jones, Philip Wadler, et al., 'Report on the functional programming language Haskeir, ACM SIGPLAN Notices, 27(5), (May 1992).
9. VDM Specification Language - Proto-Standard, Technical report BSI IST/5/19 N-246B, British Standards Institution, December 1992.
10. A. V. Aho, R. Sethi and J. D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1987.
11. Bertrand Meyer, Object-Oriented Software Construction, Prentice Hall, 1988.
12. David Parnas, 'A technique for the specification of software modules with examples,' Communications of the ACM, 15(5) 330-336 (May 1972).
13. Ian Hayes and Cliff Jones, 'Specifications are not (necessarily) executable,' IEE/BCS Software Engineering Journal, 4(6) 330-338 (November 1989).
14. G. Uddeborg, A functional parser generator, Licenciate Thesis, Department of Computer Sciences, Chalmers University of Technology, 1988.
15. Philip Wadler, 'How to replace failure by a list of successes,' Jean-Pierre Jouannaud (ed.), Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science. Springer-Verlag, September 1985.
16. John Levine, Tony Mason and Doug Brown, UNIX Programming Tools - lex & yacc, O'Reilly & Associates, 1992.
17. Paulo Borba and Silvio Meira, 'From model based specifications to functional prototypes,' IEEE TENCON'91 Session on Rapid Prototyping with Functional Programming Languages, New Delhi, India, August 1991.
18. Carroll Morgan, Programming from Specifications, Prentice Hall, 1994.
19. F. Bauer, B. Möller, H. Partsch and P. Pepper, 'Formal program construction by transformations - computeraided, intuition-guided programming,' IEEE Transactions on Software Engineering, 15(2), (February 1989).
20. Paulo Borba, From formal specifications to functional prototypes (in Portuguese), MSc. Thesis, Universidade Federal de Pernambuco, Departamento de Informática, Brazil, July 1991.
21. M. Johnson and P. Sanders, 'From Z specifications to functional implementations,' In John Nicholls (ed.), Z User Workshop, Workshops in Computing. Springer-Verlag, December 1990.
22. Lambert Merteens, Algorithmes - Towards Programming as a Mathematical Activity, North-Holland, 1987.
23. G. O'Neil, 'Automatic translation of VDM specifications into Standard ML programs,' The Computer Journal, 35(6), (1992).
24. Manfred Haß, 'Development and application of a Meta-IV compiler,' VDM'87, VDM - A Formal Method at Work, volume 252 of Lecture Notes in Computer Science. Springer-Verlag, March 1987.
25. Michael Andersen, René Elmstrom, Poul Lassen and Peter Larsen, 'Making specifications executable using IPTES Meta-IV,' Euromicro '92, September 1992, pp. 521-528.