Article View: comp.lang.misc
Article #6297ISO specification language LOTOS / Hippo bugfix
From: Peter van Eijk
Date: Mon, 27 Feb 1989 16:32
Date: Mon, 27 Feb 1989 16:32
42 lines
1839 bytes
1839 bytes
It appears to me that comp.lang.misc is the right forum for dissussion of the
ISO specification language LOTOS. This language (ISO standard IS 8807)
has been developed for the specification of protocols and services.
If the traffic warrants it we may move it to a new newsgroup.
A few goodies to start with:
e-mail and/or paper copies of LOTOS specs of the Transport protocol
and service can be received from Pippo Scollo:
G. Scollo
Dept INF/IPS
University of Twente
PO Box 217
7500 AE Enschede Netherlands
e-mail : mcvax!utinu1!pippo
---
For those of you who have access to the LOTOS simulator Hippo
here is a fix for a bug that has been found on Sun 4 machines.
-- Diff for the bug fix: ------------------------------------------------------
Courtesy Peter Sjodin SICS Sweden
*** src/hippo/adt/transast.c.orig Wed Sep 14 16:07:07 1988
--- src/hippo/adt/transast.c Wed Sep 14 15:36:40 1988
***************
*** 650,656 ****
else /* var-IDENTIFIER */
{
! variable = ConvertExternVarInNumber (ext_opsym);
local_term = MakeVar (variable);
}
term = local_term;
--- 650,656 ----
else /* var-IDENTIFIER */
{
! variable = ConvertExternVarInNumber (ext_op("",ext_opsym));
local_term = MakeVar (variable);
}
term = local_term;
Technical Details
Message-ID:
<239@utrcu1.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!hp4nl!utrcu1!infpveShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!hp4nl!utrcu1!infpve From: infpve@utrcu1.UUCP (Peter van Eijk) Newsgroups: comp.lang.misc Subject: ISO specification language LOTOS / Hippo bugfix Message-ID: <239@utrcu1.UUCP> Date: 27 Feb 89 16:32:08 GMT Reply-To: infpve@utrcu1.UUCP (Peter van Eijk) Organization: Utwente, Enschede Lines: 42