specifying OBJ in itself

Article View: comp.specification

Article #193

Back to comp.specification Previous Next

#193

From: Jack Campin
Date: Wed, 03 Oct 1990 15:53

11 lines
745 bytes

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

Technical Details

Message-ID: <6470@vanuata.cs.glasgow.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!jack

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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