Com S 541 -- Programming Languages I Feb. 12, 1993 HOMEWORK 6: Bindings (CP, Chapter 3) Due: February 17, 1993 (extra credit due Feb. 22) Write a proposal for improving the regularity, consistency, and expressive power of bindings in one of C, C++, Modula-2 or Ada. Take your cue from Chapter 4 of Watt's "Programming Languages: Concepts and Paradigms", especially his notes on ML. a) give a grammar for the old syntax you are replacing, and for the new syntax you are proposing (if any), b) give some examples to illustrate the new syntax c) describe the meaning (semantics) of the examples, d) describe the semantics of your new syntax in general, using the vocabulary of Watt's book to add precision to your English. e) give a brief justification of your changes. I intend this as a group project, so you should try to form a group consensus on a proposal. Your group should choose one language to work on, and locate a grammar for that language (and a reference manual). There is a reference manual for C++ on reserve at the library. EXTRA CREDIT Read about the programming langauge Linda and its declaration forms. Compare and contrast these with Watt's classification of declarations. (See for example, the book "Programming Linguistics", by David Gelernter and Suresh Jagannathan (MIT Press, 1990).)