VDM Examples

These are examples demonstrating the usage of the VDM Class Library

The following examples are available (not all are yet prepared for HTML), some of these examples use old fashioned K&R C, some use ANSI-C with prototypes and the newer ones are for C++ with the extension of automatic storage management.

To build the test programs with make TEST may last a while, expecially on machines with limited memory equipment

• Bills Of Material Example with C++ (in german)
• AStar example
• Graph example
• Iso example
• Map example
• Map1 example
• Opti example
• Set example
• Tinymake example
• Tree example
• Tupl example
• Unio example
• acker example
• automem example
• cplusplus example
• dir example
• extern example
• extern.cplusplus example
• isa example
• iterator example
• jp-map example
• jp-set example
• jp-tup example
• performance example
• scanfile example
• signature example
• yacc.cplusplus example



• a skeleton example

• view this directory
• view the environment
• view the Makefile
• run the Makefile by make for information
• make CLEAN
• make GENALL
• make EXECALL
• view the result of make EXECALL
• view this main README.html file