Type checker generation?

kumar@cs.purdue.edu (Sandeep Kumar)
12 Jan 92 22:51:40 GMT

          From comp.compilers
Related articles
Type checker generation? kumar@cs.purdue.edu (1992-01-12)
| List of all articles for this month |
Newsgroups: comp.compilers
From: kumar@cs.purdue.edu (Sandeep Kumar)
Keywords: parse, types
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?


Thanks
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.