[net.lang] Language Prototyping

herndon@umn-cs.UUCP (04/22/86)

  Can anyone give me pointers to language prototyping/description
systems? The only available ones I am aware of are:

	HLP - The Helsinki Language Processor
              I think a copy of this was posted to the net a while back.
              Attribute grammar based, uses a stack evaluator.
        GAG - Available from the University of Karlsruhe (?)
              Also attribute grammar based, uses a general deterministic
              algorithm for attribute evaluation
        Qparser - Commercially available, distributor unknown,
              looks similar to HLP
        Kodiyak/AG - Available from the U of Minnesota
              Attribute grammar based, uses a general deterministic
              algorithm for attribute evaluation


				Robert Herndon
				...!ihnp4!umn-cs!herndon
				herndon@umn-cs
				herndon.umn-cs@csnet-relay.ARPA
				Dept. of Computer Science,
				Univ. of Minnesota,
				136 Lind Hall, 207 Church St. SE
				Minneapolis, MN  55455

wpl@burdvax.UUCP (William P Loftus) (04/25/86)

Here are some more language Prototyping Systems:

CMU's PQCC
PQCC = production quality compiler compiler
I think the pqcc is used at tartan labs.

SDC's SSAGS
SSAGS = Syntax and Semantic Analysis Generation System
see SIGPLAN 84 Compiler Construction Proceedings
for a paper call "Tree Transformations, techniques and experiences".
(SSAGS is my favorite, because I wrote part of it :-)