Extensible type checker for parser generation

Details Extensible type checker for parser generation Extensible type checker for parser generation

2010-02-08

arxiv.org/abs/1002.1549v1

Computer Science

Programming Languages

Scientific paper

Parser generators generate translators from language specifications. In many cases, such specifications contain semantic actions written in the same language as the generated code. Since these actions are subject to little static checking, they are usually a source of errors which are discovered only when generated code is compiled. In this paper we propose a parser generator front-end which statically checks semantic actions for typing errors and prevents such errors from appearing in generated code. The type checking procedure is extensible to support many implementation languages. An extension for Java is presented along with an extension for declarative type system descriptions.

Affiliated with

Also associated with

No associations

Rating

Extensible type checker for parser generation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extensible type checker for parser generation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extensible type checker for parser generation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-307816