WARNING: This server is unstable and will be retired in the next days. If you want to keep this forum available, please request immediately a migration on the Nabble Support forum. Forums that don't receive any migration request will be deleted forever.

« Return to Thread: syntax checking and type checking in VDM++

syntax checking and type checking in VDM++

by can9 :: Rate this Message:

| View in Thread

although the book of VDM++ got tell about tools in VDM++,but i still can't understand between syntax checking and type checking...

what do these two tools do actually?

« Return to Thread: syntax checking and type checking in VDM++