|Type checker generation? email@example.com (1992-01-12)|
|From:||firstname.lastname@example.org (Sandeep Kumar)|
|Organization:||Department of Computer Science, Purdue University|
|Date:||12 Jan 92 22:51:40 GMT|
Does any body have any references or info on generating type checkers from
specifications which can be called at an appropriate stage in parsing with
the syntax tree as input?
Return to the
Search the comp.compilers archives again.