Larch Shared Language -> LP

Article View: comp.specification

Article #424

Back to comp.specification Previous Next

#424

From: John W. Baugh Jr.
Date: Thu, 23 May 1991 21:24

12 lines
900 bytes

I'm looking for some automatic (i.e., not by hand) way to convert LSL
(v2.3) traits into LP (r2.0).  Does something like that exist?

Failing that ... maybe I'm missing something, but the lack of
parameterized sort names in LP seems to be a major headache.  I'm
currently using a shell script to convert names like Pair_<T1>_<T2>
into Pair_Nat_Nat.  Is this the best solution?

Any help would be greatly appreciated.

John Baugh
jwb@cepmax.ncsu.edu

Technical Details

Message-ID: <1991May23.212433.26197@ncsu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!lll-winken!taco!cepmax.ncsu.edu!jwb

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!lll-winken!taco!cepmax.ncsu.edu!jwb
From: jwb@cepmax.ncsu.edu (John W. Baugh Jr.)
Newsgroups: comp.specification
Subject: Larch Shared Language -> LP
Message-ID: <1991May23.212433.26197@ncsu.edu>
Date: 23 May 91 21:24:33 GMT
Sender: news@ncsu.edu (USENET News System)
Reply-To: jwb@cepmax.ncsu.edu
Organization: North Carolina State University
Lines: 12