The term 'empty match' is not defined in the main text of the LRM. The only definition I could find is in F.4.2: "Formally, a sequence admits an empty match if and only if it is tightly satisfied by the empty word." Nor is the term "vacuous success" clearly defined. These terms may be obvious to someone who comes from a background of formal verification, but there are a lot of people who read the LRM to whom these terms are not clear. These terms should be defined the first time they appear in the LRM and/or in the first main subsection dealing with them. They should appear in the Glossary as well. Shalom --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Dec 25 00:09:59 2008
This archive was generated by hypermail 2.1.8 : Thu Dec 25 2008 - 00:12:07 PST