In this work, we propose the notion of a Parse Condition—a logical condition that is satisfiable if and only if a given string w can be successfully parsed using a grammar G. Further, we propose an algorithm for building an SMT encoding of such parse conditions for LL(1) grammars and demonstrate its utility by building two applications over it: automated repair of syntax errors in Tiger programs and automated parser synthesis to automatically synthesize LL(1) parsers from examples. We implement our ideas into a tool, Cyclops, that is able to successfully repair 80% of our benchmarks (675 buggy Tiger programs), clocking an average of 30 seconds per repair and synthesize parsers for interesting languages from examples. Like verification conditions (encoding a program in logic) have found widespread applications in program analysis, we believe that Parse Conditions can serve as a foundation for interesting applications in syntax analysis.

This case captures inventory management process in an Indian convenience store. Unlike retail stores in developed countries, Indian convenience stores are a special format of organized retailing, where retailers open multiple smaller stores in a town instead of one big centralised store. An excellent inventory management process is the key to make such stores perform well. This case describes inventory management problems faced by an Indian convenience store chain and asks students to propose solutions to these problems. This case illustrates how processes realities and their IT solutions differ in an emerging economy. Using inventory management process as an example, this teaching case can introduce students to the process and technological realities in an Indian context and differences between India and the West.

No abstract

This case captures inventory management process in an Indian convenience store. Unlike retail stores in developed countries, Indian convenience stores are a special format of organized retailing, where retailers open multiple smaller stores in a town instead of one big centralised store. An excellent inventory management process is the key to make such stores perform well. This case describes inventory management problems faced by an Indian convenience store chain and asks students to propose solutions to these problems. This case illustrates how processes realities and their IT solutions differ in an emerging economy. Using inventory management process as an example, this teaching case can introduce students to the process and technological realities in an Indian context and differences between India and the West.