Source code generator

• Thesis title in Czech: Generátor zdrojového kódu
• Thesis title in English: Source code generator
• Academic year of topic announcement: 2006/2007
• Thesis type: diploma thesis
• Thesis language: angličtina
• Department: Department of Software Engineering (32-KSI)
• Supervisor: RNDr. David Bednárek, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 14.11.2006
• Date of assignment: 14.11.2006
• Date and time of defence: 24.09.2008 00:00
• Date of electronic submission: 24.09.2008
• Date of submission of printed version: 24.09.2008
• Date of proceeded defence: 24.09.2008
• Opponents: RNDr. Jakub Yaghob, Ph.D.

Guidelines

The work will focus on formalisms and algorithms for pseudo-random or exhaustive generation of source codes, targeted at a selected higher-level programming language (not necessarily imperative). The implemented generator has to take care about all syntactic and some semantics rules of the target language like definition/usage and type rules.

References

Zelenov, S.V. et al., Test Generation for Compilers and Other Formal Text Processors, Programming and Computer Software, Vol. 27, No. 2, 2003, pp. 104-111, ISSN 0361-7688

Sirer, E.G., Bershad, B. N., Using Production Grammars in Software Testing, Second Conference on Domain Specific Languages, Austin, 1999, pp. 1-13, ISBN 1-58113-255-7

Pierce, B.C., Types and programming languages, MIT Press, Cambridge, 2002, ISBN 0-262-16209-1