A Map VDM Example
A test program for dealing with maps in ANSI C and in K&R C
The Sources
The directory
The Makefile
The DSL file Map.vdm
The main program Map-test.c
proto.h
Make TEST
Call TEST
Make CLEAN