Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.
These issues describe aspects of the draft that can't make it into the archive, because in one way or another that would reflect badly on us:
[x] Claim of subsumption, intro: substantiate or remove
[x] Fix page 38 (sequence of 12 steps) and the pseudocode by moving to nondeterministic rewrite rules. One set on guards, one on expressions. Use or invent metavariables for “sequence of guards” and “sequence of arms/choices.” Each rule to get an informal explanation, even if it’s just the idea of the rule. (And possibly an example, though that’s not a dealbreaker.) Then, separately, say whatever might be needful about reduction strategies.
This will be our main work tomorrow, May 3.
[x] Future work to include proof that V-minus is deterministic.
[x] The union language U needs to appear much earlier, and it needs to be given a unified semantics. Ideally a single page for all the common elements of U, then one figure each for the constructs that are found only in P+, V-, or D.
[x] V-minus syntax is not closed under substitution during match compilation. That's OK, but it needs to be explained, and probably also discussed. A "Discussion" section would be ideal.
[x] Clean up the section introducing P+, including the semantics.
[x] Evaluation of lambda should produce a closure, or else show evidence why that would be a bad plan.
[x] Fix Copypasta in the description of V-minus.
[x] V-minus vcon rule fix
[x] Remove context T from V- solving form
[ ] Clean up conclusion and discussion sections
[x] Color U table
Grammar and usage
Em dashes
[x] Sections 5.105 and following make it clear that the em dash ("—") is not to be preceded or followed by white space.
Comma with a coordinating conjunction
When two independent clauses are separated by a coordinating conjunction ("and") with a comma, the second clause needs an explicit subject. Thus on page 11, the following sentence is grammatically incorrect:
[x] > I have a type \tt{token} which represents a token in a video game and how much fun it is, and need to quickly know what game it's from and how much fun I'd have playing it.
The correct version is as follows:
I have a type \tt{token} which represents a token in a video game and how much fun it is, and I need to quickly know what game it's from and how much fun I'd have playing it.
If the subject is carried over from the first clause to the second, then there's no comma after the coordinating conjunction. Thus on page 12, the following sentence is grammatically incorrect:
[x] > I could try to use a couple of helper functions to reduce clutter, and write something like Figure 7.
The correct version is as follows:
I could try to use a couple of helper functions to reduce clutter and write something like Figure 7.
[x] (This is now a garden-path sentence, so it probably needs to be rewritten.)
Comparisons using "like" or "as"
[x] The word "like" compares things (nouns); “as” compares actions (verbs). Your text seems to use "like" just about everywhere. If you remember the phrase "do as I say, not as I do," that may help you figure out where "as" is needed. (I've marked many but probably not all.)
Bad line breaks
[x] I've marked a few spots were a sentence ends with a word like "D" which is on a different line from the rest of the sentence. Or begins with "I" and then immediately breaks to a new line. These issues need to be resolved using TeX's "tie," a.k.a. the ~ character.
Other big stuff
[x] We need to figure out exactly what role P+ is playing in your thesis. I suspect the thesis might be just as strong without it. Which would reduce your workload considerably, as the easiest parts to revise are the ones that aren't there.
All the rest
[ ] I've marked up the manuscript. Extensively. The best way for you to proceed is to prepare a response letter, just as you would for a journal paper. The letter should go page by page and note how the issues on that page have been—or have not been—addressed. The letter will help you make sure not to overlook anything, and should time run short, preparing the letter will help us decide where additional effort is most worthwhile.
The essentials
These issues describe aspects of the draft that can't make it into the archive, because in one way or another that would reflect badly on us:
[x] Claim of subsumption, intro: substantiate or remove
[x] Fix page 38 (sequence of 12 steps) and the pseudocode by moving to nondeterministic rewrite rules. One set on guards, one on expressions. Use or invent metavariables for “sequence of guards” and “sequence of arms/choices.” Each rule to get an informal explanation, even if it’s just the idea of the rule. (And possibly an example, though that’s not a dealbreaker.) Then, separately, say whatever might be needful about reduction strategies.
This will be our main work tomorrow, May 3.
[x] Future work to include proof that V-minus is deterministic.
[x] The union language U needs to appear much earlier, and it needs to be given a unified semantics. Ideally a single page for all the common elements of U, then one figure each for the constructs that are found only in P+, V-, or D.
[x] V-minus syntax is not closed under substitution during match compilation. That's OK, but it needs to be explained, and probably also discussed. A "Discussion" section would be ideal.
[x] Clean up the section introducing P+, including the semantics.
[x] Evaluation of lambda should produce a closure, or else show evidence why that would be a bad plan.
[x] Fix Copypasta in the description of V-minus.
[x] V-minus vcon rule fix
[x] Remove context T from V- solving form
[ ] Clean up conclusion and discussion sections
[x] Color U table
Grammar and usage
Em dashes
Comma with a coordinating conjunction
When two independent clauses are separated by a coordinating conjunction ("and") with a comma, the second clause needs an explicit subject. Thus on page 11, the following sentence is grammatically incorrect:
The correct version is as follows:
If the subject is carried over from the first clause to the second, then there's no comma after the coordinating conjunction. Thus on page 12, the following sentence is grammatically incorrect:
The correct version is as follows:
Comparisons using "like" or "as"
Bad line breaks
Other big stuff
All the rest