Free Types and Parse Trees

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Wayne Stanton Mon, 07 Sep 1992 06:41

#61

Author: Wayne Stanton
Date: Mon, 07 Sep 1992 06:41

22 lines
1118 bytes

I am trying to workout how to apply free types to a parse tree
structure.
That is, how can I use the mechanism described by Spivey
	Paragraph ::=  Ident ::= Branch | ... | Branch
	Brach     ::=  Ident [ <<Expression>> ]
to define a syntax specification, such as 
	Expression ::= Expression "+" Expression
		   |   Expression "*" Expression
		   ...
		   |   Number

If anyone knows of any papers or other sources of information
describing how to do this, I would greatly appreciate the 
assistance.

Wayne Stanton
email: stanton@marsh.cs.curtin.edu.au
	Curtin University
	Computer Science Department
	Western Australia

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads