Frameworks

Frameworks

Formal Methods Home Page

ASF+SDF

The ASF+SDF Project for Generic Language Technology

COLD

Information on COLD

Extended ML

Extended ML Home Page

Larch

DEC SRC's Larch Home Page

MIT's Larch Home Page

OBJ3

The OBJ archive

RAISE

RAISE home page

Spectrum

Spectrum Language: Reports, Papers, More Papers, FTP Site (tools and papers)

Z

Z Standardization (includes Z Interchange Format).

Frameworks