work in progress | string

Proposals for class STRING

1. Refine feature count (25 April 2000)

Refine the specification of feature 'count':

OPTION "A": 

   count: INTEGER
      -- Number of characters making up the string.
OPTION "B": 
   count: INTEGER
      -- Number of characters.

Result

Option "B" is preferred.

- Strongly prefer option A
     - steinman@sco.edu
- Prefer option A
     - chcouder@mail.club-internet.fr
     - jeff.clark@metaphasetech.com
     - joachim.durchholz@halstenbach.de
- Prefer option B
     - sergei_ivanov@object-tools.com
     - icalvo@iname.com
     - dougpardee@ureach.com
     - xavier@halstenbach.com
     - manus@eiffel.com
     - franck.arnaud@omgroup.com
     - ericb@gobosoft.com
     - saunders@wchat.on.ca
     - jweirich@one.net
     - todd.king@nexthr.com
     - richieb@netlabs.net
     - Ulrich Windl (by email)
- Don't mind (happy either way)
     - kwaxer@aha.ru

2. Refine feature valid_index (25 April 2000)

Refine the specification of feature 'valid_index': 
   valid_index (i: INTEGER): BOOLEAN
      -- Is 'i' within the bounds of the string?
      ensure
         definition: Result = (1 <= i and i <= count)

Result

The proposal is accepted. 
- Strongly accept the proposal 
     - steinman@sco.edu 
- Accept the proposal 
     - chcouder@mail.club-internet.fr 
     - joachim.durchholz@halstenbach.de 
     - ericb@gobosoft.com 
     - sergei_ivanov@object-tools.com 
     - icalvo@iname.com 
     - dougpardee@ureach.com 
     - kwaxer@aha.ru 
     - jeff.clark@metaphasetech.com 
     - xavier@halstenbach.com 
     - manus@eiffel.com 
     - jweirich@one.net 
     - todd.king@nexthr.com 
     - richieb@netlabs.net
     - Ulrich Windl (by email)

3. Refine features item and infix "@" (25 April 2000)

Refine the specification of features 'item' and infix "@": 
   item (i: INTEGER): CHARACTER
      -- Character at index 'i'
      require
         valid_index: valid_index (i)

   infix "@" (i: INTEGER): CHARACTER
      -- Character at index 'i'
      require
         valid_index: valid_index (i)
      ensure
         definition: Result = item (i)

Result

The proposal is accepted.

- Accept the proposal
     - chcouder@mail.club-internet.fr
     - joachim.durchholz@halstenbach.de
     - ericb@gobosoft.com
     - icalvo@iname.com
     - kwaxer@aha.ru
     - jeff.clark@metaphasetech.com
     - xavier@halstenbach.com
     - manus@eiffel.com
     - steinman@sco.edu
     - jweirich@one.net
     - todd.king@nexthr.com
     - richieb@netlabs.net
     - Ulrich Windl (by email)

4. Refine the postcondition of substring (30 April 2000)

Refine the postcondition of feature 'substring': 
   OPTION "A":

      ensure
         substring_not_void: Result /= Void
         substring_count: Result.count = end_index - start_index + 1
         first_item: Result.count > 0 implies
          Result.item (1) = item (start_index)
         recurse:
          Result.count > 0 implies
          Result.substring(2, Result.count).is_equal(
          substring(start_index + 1, end_index))

   OPTION "B":

      ensure
         result_not_void: Result /= Void
         result_count: Result.count = end_index - start_index + 1
         first_item: Result.count > 0 implies
          Result.item (1) = item (start_index)
         recurse:
          Result.count > 0 implies
          Result.substring(2, Result.count).is_equal(
          substring(start_index + 1, end_index))

Result

Option A was selected.

- Prefer option "A"
     - franck.arnaud@omgroup.com
     - jweirich@one.net
     - peter@deakin.edu.au
     - joachim.durchholz@halstenbach.de
     - wagner@ti.uni-trier.de
     - saunders@wchat.on.ca
     - ericb@gobosoft.com
     - Scott Steinman (by email)
- Prefer option "B"
     - kwaxer@aha.ru
     - sparker@eiffel.ie
     - todd.king@nexthr.com
     - jeff.clark@metaphasetech.com
     - Ulrich Windl (by email)
- Don't mind (happy either way)
     - manus@eiffel.com
     - richieb@netlabs.net

5. Refine the specification of put (4 May 2000)

Refine the specification of feature 'put': 
   put (c: CHARACTER; i: INTEGER)
      -- Replace character at index 'i' by 'c'.
      require
         valid_index: valid_index (i)
      ensure
         stable_count: count = old count
         replaced: item (i) = c
         stable_before_i:
          substring (1, i - 1).is_equal
             (old substring (1, i - 1))
         stable_after_i:
          substring (i + 1, count).is_equal
             (old substring (i + 1, count))

Result

The proposal was accepted.

- Strongly accept this proposal
     - peter@deakin.edu.au
- Accept this proposal
     - manus@eiffel.com
     - dougpardee@ureach.com
     - wagner@ti.uni-trier.de
     - icalvo@iname.com
     - jweirich@one.net
     - franck.arnaud@omgroup.com
     - joachim.durchholz@halstenbach.de
     - ericb@gobosoft.com
     - genepi@sympatico.ca
     - kwaxer@aha.ru
     - sparker@eiffel.ie
     - xavier@halstenbach.com
     - saunders@wchat.on.ca
     - steinman@sco.edu
     - Ulrich Windl (by email)
- Don't mind (happy either way)
     - todd.king@nexthr.com

6. Refine the specification of is_equal (6 May 2000)

Refine the specification of feature 'is_equal': 
   is_equal (other: like Current): BOOLEAN
      -- Do both strings have the same character sequence?
      -- (Redefined from GENERAL.)
      require  -- from GENERAL
         other_not_void: other /= Void
      ensure  -- from GENERAL
         consistent: standard_is_equal (other) implies Result;
         same_type: Result implies same_type (other);
         symmetric: Result implies other.is_equal (Current)
      ensure then
         definition: Result = (same_type (other) and then
          count = other.count and then
          (count > 0 implies (item (1) = other.item (1) and 
          substring (2, count).is_equal (other.substring (2, count)))))

Result

The proposal was accepted.

- Accept the proposal
     - wagner@ti.uni-trier.de
     - peter@deakin.edu.au
     - joachim.durchholz@halstenbach.de
     - jeff.clark@metaphasetech.com
     - icalvo@iname.com
     - sparker@eiffel.ie
     - ericb@gobosoft.com
     - manus@eiffel.com
     - richieb@netlabs.net
     - saunders@wchat.on.ca

7. Refine the specification of copy (11 May 2000)

Refine the specification of 'copy': 
   copy (other: like Current)
      -- Reinitialize by copying the characters of other.
      -- (This is also used by clone.)
      -- (From GENERAL.)
      require -- from GENERAL
         other_not_void: other /= Void
         type_identity: same_type (other)
      ensure -- from GENERAL
         is_equal: is_equal (other)

Result

The proposal was accepted.

- Accept the proposal
     - jweirich@one.net
     - peter@deakin.edu.au
     - manus@eiffel.com
     - saunders@wchat.on.ca
     - franck.arnaud@omgroup.com
     - kwaxer@aha.ru
     - ericb@gobosoft.com
     - joachim.durchholz@halstenbach.de
     - todd.king@nexthr.com
     - steinman@sco.edu
     - jeff.clark@metaphasetech.com
     - sparker@eiffel.ie
     - xavier@halstenbach.com

8. Refine the specification of is_empty (30 May 2000)

Refine the specification of 'is_empty': 
   is_empty: BOOLEAN
      -- Is string empty?
      ensure
         definition: Result = (count = 0)

Result

The proposal was accepted.

- Accept the proposal
     - manus@eiffel.com
     - jeff.clark@metaphasetech.com
     - xavier@halstenbach.com
     - franck.arnaud@omgroup.com
     - jweirich@one.net
     - ericb@gobosoft.com
     - todd.king@nexthr.com
     - genepi@sympatico.ca
     - saunders@wchat.on.ca
     - jcm@rh.edu
     - peter@deakin.edu.au
     - kwaxer@aha.ru
     - sparker@eiffel.ie

9. Refine the specification of hash_code (30 May 2000)

Refine the specification of 'hash_code': 
   hash_code: INTEGER
      -- Hash code value (vendor dependent hashing function).
      ensure -- from HASHABLE
         good_hash_value: Result >= 0

Result

The proposal was accepted.

- Accept the proposal
     - jeff.clark@metaphasetech.com
     - xavier@halstenbach.com
     - franck.arnaud@omgroup.com
     - jweirich@one.net
     - ericb@gobosoft.com
     - manus@eiffel.com
     - todd.king@nexthr.com
     - genepi@sympatico.ca
     - jcm@rh.edu
     - peter@deakin.edu.au
     - kwaxer@aha.ru
     - sparker@eiffel.ie

10. Refine the specification of out (12 Jun 2000)

Refine the specification of 'out' to the "12 JUNE VERSION": 
   out: STRING
      -- New string containing terse printable representation
      -- of current object.
      ensure
         out_not_void: Result /= Void
         same_items: Result.same_type (Current)
                      implies Result.is_equal (Current)

Result

The proposal was accepted.

- Accept this proposal
     - jweirich@one.net
     - sparker@eiffel.ie
     - ericb@gobosoft.com
     - jcm@rh.edu
     - saunders@wchat.on.ca
     - jeff.clark@metaphasetech.com
     - peter@deakin.edu.au
     - wagner@ti.uni-trier.de
     - Dave Martin (by email)
     - Alexander Kogtenkov (by email)
- Don't mind (happy either way)
     - joachim.durchholz@halstenbach.de

11. Add a postcondition to out (12 Jun 2000)

Add the following poscontidion to STRING.out: 
   new_string: Result /= Current

Result

The proposal was rejected.

- Strongly accept this proposal
     - wagner@ti.uni-trier.de
     - Dave Martin (by email)
- Accept this proposal
     - ericb@gobosoft.com
     - jeff.clark@metaphasetech.com
     - peter@deakin.edu.au
     - Alexander Kogtenkov (by email)
- Reject this proposal
     - jweirich@one.net
     - sparker@eiffel.ie
     - joachim.durchholz@halstenbach.de
     - jcm@rh.edu
     - saunders@wchat.on.ca
 

12. Name of ELKS2001 feature corresponding to ELKS95 fill (10 July 2000)

Select the name of the ELKS2001 feature corresponding to ELKS95 fill.

Result

The name fill_with was chosen.

- Prefer 'fill'
     - jweirich@one.net
     - kwaxer@aha.ru
- Prefer 'fill_with'
     - steinman@sco.edu
     - ericb@gobosoft.com
     - todd.king@nexthr.com
     - saunders@wchat.on.ca
     - joachim.durchholz@halstenbach.de
     - peter@deakin.edu.au
     - manus@eiffel.com
     - gmc333@my-deja.com
- Strongly prefer 'fill_with'
     - jeff.clark@metaphasetech.com
     - wagner@ti.uni-trier.de
- Don't mind (happy either way)
     - colnet@loria.fr

13. Return value of index_of and substring_index (7 August 2000)

In class STRING, features 'index_of' and 'substring_index', what result should be returned if the requested CHARACTER or STRING is not found?

Result

"0" was chosen.

- Strongly prefer "0"
     - wagner@ti.uni-trier.de
     - todd.king@nexthr.com
     - jeff.clark@metaphasetech.com
     - saunders@wchat.on.ca
     - joachim.durchholz@halstenbach.de
- Prefer "0"
     - sparker@eiffel.ie
     - franck.arnaud@omgroup.com
     - nozone@sbox.tu-graz.ac.at
     - xxiii@cyberdude.com
     - kwaxer@aha.ru
- Prefer "count + 1"
     - ericb@gobosoft.com
     - jcm@rh.edu
- Don't mind (happy either way)
     - icalvo@iname.com
     - jweirich@one.net
     - peter@deakin.edu.au
     - gmc333@my-deja.com

14. Allow argument other of substring_index to be empty (21 August 2000)

That the 'other' argument of 'substring_index' should accept an empty STRING.

Result

The proposal was accepted.

- Strongly accept the proposal
     - wagner@ti.uni-trier.de
- Accept the proposal
     - franck@nenie.org
     - sparker@eiffel.ie
     - saunders@wchat.on.ca
     - xxiii@cyberdude.com
     - ericb@gobosoft.com
     - jweirich@one.net
     - peter@deakin.edu.au
     - gmc333@my-deja.com
- Reject the proposal
     - joachim.durchholz@halstenbach.de
     - todd.king@nexthr.com
     - manus@eiffel.com

15. Refine the specification of 'index_of' (26 August 2000)

Refine the specification of 'index_of' to the 26 AUGUST version.

Result

The proposal was accepted.

-  Accept the proposal
     - wagner@ti.uni-trier.de
     - saunders@wchat.on.ca
     - jeff.clark@metaphasetech.com
     - jweirich@one.net
     - ericb@gobosoft.com
     - peter@deakin.edu.au
     - xxiii@cyberdude.com
     - todd.king@nexthr.com
     - Simon Parker (by email)

16. Add feature 'has_substring' (26 August 2000)

Add feature 'has_substring' according to the 26 AUGUST version.

Result

The proposal was accepted.

- Accept the proposal
     - wagner@ti.uni-trier.de
     - saunders@wchat.on.ca
     - jeff.clark@metaphasetech.com
     - jweirich@one.net
     - ericb@gobosoft.com
     - peter@deakin.edu.au
     - xxiii@cyberdude.com
     - Simon Parker (by email)
- Don't mind (happy either way)
     - todd.king@nexthr.com

17. Refine the specification of 'substring_index' (26 August 2000)

Refine the specification of 'substring_index' to the 26 AUGUST version.

Result

The proposal was accepted.

- Accept the proposal
     - wagner@ti.uni-trier.de
     - saunders@wchat.on.ca
     - jeff.clark@metaphasetech.com
     - jweirich@one.net
     - ericb@gobosoft.com
     - peter@deakin.edu.au
     - xxiii@cyberdude.com
     - Simon Parker (by email)
- Don't mind (happy either way)
     - todd.king@nexthr.com


 

18. Rename feature 'insert' to 'insert_string' (6 September 2000)

That feature 'insert' be renamed to 'insert_string'.

Result

The proposal was accepted.

- Accept the proposal
     - jcm@rh.edu
     - ericb@gobosoft.com
     - sparker@eiffel.ie
     - nozone@sbox.tu-graz.ac.at
     - icalvo@iname.com
     - franck@nenie.org
- Strongly accept the proposal
     - genepi@sympatico.ca
     - saunders@wchat.on.ca
     - arno.wagner@acm.org
- Don't mind (happy either way)
     - manus@eiffel.com
     - todd.king@nexthr.com
- Reject the proposal
     - xxiii@cyberdude.com
     - peter@deakin.edu.au
     - kwaxer@aha.ru
     - Ulrich Windl (by email)

19. Refine the specification of 'insert_string' (13 September 2000)

That the specification of STRING.insert_string be refined to the "13 SEPTEMBER 2000" version.

Result

The proposal was accepted.

- Strongly accept the proposal
     - icalvo@iname.com
- Accept the proposal
     - saunders@wchat.on.ca
     - manus@eiffel.com
     - peter@deakin.edu.au
     - ericb@gobosoft.com
     - kwaxer@aha.ru
     - arno.wagner@acm.org
     - sparker@eiffel.ie

20. Refine the specification of 'insert_character' (17 September 2000)

Refine the specification of 'insert_character' to the 17 SEPTEMBER 2000 version.

Result

The proposal was accepted.

- Accept the proposal
     - saunders@wchat.on.ca
     - manus@eiffel.com
     - sparker@eiffel.ie
     - icalvo@iname.com
     - ericb@gobosoft.com
     - peter@deakin.edu.au
     - xxiii@cyberdude.com
     - kwaxer@aha.ru
     - jcm@rh.edu
     - todd.king@nexthr.com
     - arno.wagner@acm.org

21. Refine the specification of 'remove' (22 September 2000)

Refine the specification of 'remove' to the 21 SEPTEMBER 2000 version.

Result

The proposal was accepted.

- Accept the proposal
     - ericb@gobosoft.com
     - saunders@wchat.on.ca
     - kwaxer@aha.ru
     - jcm@rh.edu
     - todd.king@nexthr.com
     - icalvo@iname.com
     - manus@eiffel.com
     - xavier@halstenbach.com
     - franck@nenie.org
     - Peter Horan (by email)

22. Refine the specification of 'append_string' (1 October 2000)

Refine the specification of 'append_string' to the 28 SEPTEMBER 2000 version.

Result

The proposal was accepted.

- Accept the proposal
     - manus@eiffel.com
     - arno.wagner@acm.org
     - franck@nenie.org
     - jweirich@one.net
     - ericb@gobosoft.com
     - saunders@wchat.on.ca
     - xavier@halstenbach.com
     - peter@deakin.edu.au
     - kwaxer@aha.ru
     - sparker@eiffel.ie
     - icalvo@iname.com

23. Refine the specification of 'append_character' (1 October 2000)

Refine the specification of 'append_character' to the 28 SEPTEMBER 2000 version.

Result

The proposal was accepted.

- Accept the proposal
     - manus@eiffel.com
     - arno.wagner@acm.org
     - franck@nenie.org
     - jweirich@one.net
     - ericb@gobosoft.com
     - saunders@wchat.on.ca
     - xavier@halstenbach.com
     - peter@deakin.edu.au
     - kwaxer@aha.ru
     - sparker@eiffel.ie
     - icalvo@iname.com

24. Rename 'head' to 'keep_head' and 'tail' to 'keep_tail' (9 October 2000)

Rename feature 'head' to 'keep_head' and rename feature 'tail' to 'keep_tail'.

Result

The proposal was accepted.

- Strongly accept the proposal
     - jeff.clark@metaphasetech.com
- Accept the proposal
     - icalvo@iname.com
     - todd.king@nexthr.com
     - saunders@wchat.on.ca
     - arno.wagner@acm.org
     - Ulrich Windl (by email)
- Reject the proposal
     - kwaxer@aha.ru
     - xavier@halstenbach.com
     - jweirich@one.net
- Strongly reject the proposal
     - sparker@eiffel.ie
- Don't mind (happy either way)
     - ericb@gobosoft.com
     - manus@eiffel.com
- Abstain (not happy either way)
     - peter@deakin.edu.au
     - franck@nenie.org

25. Add features 'remove_head' and 'remove_tail' (9 October 2000)

Add features 'remove_head' and 'remove_tail'.

Result

The proposal was accepted.

- Strongly accept the proposal
     - arno.wagner@acm.org
- Accept the proposal
     - jweirich@one.net
     - jeff.clark@metaphasetech.com
     - todd.king@nexthr.com
     - ericb@gobosoft.com
     - sparker@eiffel.ie
     - saunders@wchat.on.ca
     - franck@nenie.org
     - peter@deakin.edu.au
- Don't mind (happy either way)
     - kwaxer@aha.ru
     - manus@eiffel.com

26. Replace 'put_substring' by 'replace_substring' (30 October 2000)

Proposal for class STRING: replace 'put_substring' by the 30 OCTOBER 2000 version of 'replace_substring'.

Result

The proposal was accepted.

- Strongly accept the proposal
     - arno.wagner@acm.org
     - usander@online.de
- Accept the proposal
     - jeff.clark@metaphasetech.com
     - kwaxer@aha.ru
     - franck@nenie.org
     - saunders@wchat.on.ca
     - icalvo@iname.com
     - todd.king@nexthr.com
     - manus@eiffel.com
     - peter@deakin.edu.au
     - beleg@mailru.com
     - Ulrich Windl (by email)
- Don't mind (happy either way)
     - ericb@gobosoft.com

27. Remove features 'left_adjust' and 'right_adjust' (6 November 2000)

Proposal for class STRING: remove features 'left_adjust' and 'right_adjust' from ELKS 2001 STRING.

Result

The proposal was accepted.

- Strongly accept the proposal
     - franck@nenie.org
- Accept the proposal
     - jcm@rh.edu
     - peter@deakin.edu.au
     - icalvo@iname.com
     - kwaxer@aha.ru
     - arno.wagner@acm.org
     - todd.king@nexthr.com
- Reject the proposal
     - usander@online.de
- Don't mind (happy either way)
     - manus@eiffel.com
     - beleg@mailru.com
     - saunders@wchat.on.ca
     - jweirich@one.net
     - ericb@gobosoft.com
- Abstain (not happy either way)
     - jeff.clark@metaphasetech.com

28. Add feature 'is_integer'; refine feature 'to_integer' (30 December 2000)

Proposal for class STRING: Add feature 'is_integer', and refine the specification of 'to_integer', according to the "26 DECEMBER 2000" version of these features.

Result

The proposal was accepted.

- Strongly accept the proposal
     - usander@online.de
- Accept the proposal
     - arno.wagner@acm.org
     - chcouder@club-internet.fr
     - xavier@halstenbach.com
     - richieb@netlabs.net
     - saunders@wchat.on.ca
     - ericb@gobosoft.com
     - sparker@eiffel.ie
     - gmc333@my-deja.com
     - franck@nenie.org
- Don't mind (happy either way)
     - kwaxer@aha.ru

29. 'is_integer/to_integer': compatible or improved design? (15 January 2001)

Do you wish to: (a) Specify 'is_integer' and 'to_integer' in a way that is compatible with current implementations, or (b) Adopt an improved design?

Result

An "improved design" is preferred.

- Strongly prefer "compatible with current"
     - saunders@wchat.on.ca
     - gmc333@my-deja.com
- Prefer "compatible with current"
     - sparker@eiffel.ie
- Prefer "improved design"
     - franck@nenie.org
     - beleg@mailru.com
     - colnet@loria.fr
     - peter@deakin.edu.au
     - nick.leaton@csfb.com
     - ericb@gobosoft.com
     - kwaxer@aha.ru
     - xavier@halstenbach.com
- Strongly prefer "improved design"
     - johan.boule@online.fr
     - arno.wagner@acm.org
- Don't mind (happy either way)
     - chcouder@mail.club-internet.fr

30. Design for 'is_integer/to_integer' (22 January 2001)

(A1) A range check is included in 'is_integer'

(A2) A range check is not included in 'is_integer', but is included in an additional feature (e.g. 'represents_integer' or 'is_convertible_to_integer')

(A3) There is no range check within class STRING

(B1) Applying 'to_integer' to an out-of-range STRING is forbidden by the precondition of 'to_integer'

(B2) Applying 'to_integer' to an out-of-range STRING will cause an exception to be raised

Any "A" option can be combined with any "B" option.

Result

"A1B1" is preferred.

A1B1  Franck Arnaud
A1B1  Arno Wagner
A1B1  Eric Bezault
A1B1  Alexander Kogtenkov
A1B1  Christian Couder
A1B1  Xavier LeVourch
A1B1  Uwe Sander
A2B1  Ulrich Windl
A2B1  Peter Horan
A3B1  Greg Compestine
A3B1  Chris Saunders
A3B2  Simon Parker

31. Add feature 'is_boolean'; refine feature 'to_boolean' (2 February 2001)

Proposal for class STRING: Add feature 'is_boolean', and refine feature 'to_boolean', according to the "2 FEBRUARY 2001" version.

Result

The proposal was accepted.

- Accept this proposal
     - franck@nenie.org
     - sparker@eiffel.ie
     - ericb@gobosoft.com
     - kwaxer@aha.ru
     - arno.wagner@acm.org
     - usander@online.de
     - peter@deakin.edu.au
     - Chris Saunders (by email)
- Reject this proposal
     - manus@eiffel.com

32. Refine feature 'to_integer' (10 February 2001)

Refine feature 'to_integer' according to the 10 FEBRUARY 2001 version.

10 FEBRUARY 2001 VERSION:

   to_integer: INTEGER
      -- Integer value;
      -- for example, when applied to "123", will yield 123
      require
         represents_an_integer: is_integer
      ensure
         single_digit:
            count = 1 implies
             result = ("0123456789").index_of(item(1), 1) - 1
         minus_sign_followed_by_single_digit:
            count = 2 and item(1) = '-' implies
             result = -substring(2, 2).to_integer
         plus_sign_followed_by_single_digit:
            count = 2 and item(1) = '+' implies
             result = substring(2, 2).to_integer
         recurse_to_reduce_length:
            count > 2 or count = 2 and not(("+-").has(item(1))) implies
             result // 10 = substring(1, count - 1).to_integer and
             (result \\ 10).abs = substring(count, count).to_integer

The PREVIOUS version of 'to_integer' looks like this:

   to_integer: INTEGER
      -- Integer value;
      -- for example, when applied to "123", will yield 123
      require
         represents_an_integer: is_integer

The difference between the previous version and the proposed new
version is that a rigorous postcondition has been added.
Refine feature 'to_integer' according to the 5 FEBRUARY 2001 version.

Result

The proposal was accepted.

- Strongly accept the proposal
     - usander@online.de
- Accept the proposal
     - manus@eiffel.com
     - sparker@eiffel.ie
     - saunderscj2000@yahoo.com
     - gmc333@my-deja.com
     - kwaxer@aha.ru
     - franck@nenie.org
     - arno.wagner@acm.org
     - xavier@halstenbach.com
     - chcouder@club-internet.fr
     - ericb@gobosoft.com
     - peter@deakin.edu.au