Path: utzoo!attcan!uunet!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!jack
From: jack@cs.glasgow.ac.uk (Jack Campin)
Newsgroups: comp.specification
Subject: specifying OBJ in itself
Message-ID: <6470@vanuata.cs.glasgow.ac.uk>
Date: 3 Oct 90 15:53:07 GMT
Organization: Computing Sci, Glasgow Univ, Scotland
Lines: 11

Has anybody tried to specify an algebraic specification language, like
OBJ3, in itself?




-- 
--  Jack Campin   Computing Science Department, Glasgow University, 17 Lilybank
Gardens, Glasgow G12 8QQ, Scotland   041 339 8855 x6044 work  041 556 1878 home
JANET: jack@cs.glasgow.ac.uk    BANG!net: via mcsun and ukc   FAX: 041 330 4913
INTERNET: via nsfnet-relay.ac.uk   BITNET: via UKACRL   UUCP: jack@glasgow.uucp