Pachelbel questions

Pachelbel answers

• What are the type of Strings generated by (a*+b*)
• Prefix of a string
• Relevance of model checking in strongly typed functional programming languages?
• Short implementation examples of abstract interpretation
• How to recognize variables that don't affect the output of a program?