--------------------------------------------------------- Minutes of meeting ISO/IEC JTC1 SC22 WG17 N263 --------------------------------------------------------- WG17 (Prolog) meeting, 8-10th April 2015, Dresden, Radebeul, Germany Ulrich Neumerkel ISO/IEC JTC1 SC22 WG17 (Prolog) Convener 0.1 Annexes A --- Resolutions. B --- Address list. 1. Attendance. Klaus Daessler (Germany), Jonathan Hodgson (USA), Ulrich Neumerkel (Austria). See Annex B for address list. The meeting began at 10:30 am April 8th 2015. 2. Agenda for meeting 3. Drafting committee and secretary WG17 decided that if a drafting committee were to be required for this meeting Ulrich Neumerkel and Jonathan Hodgson would serve on it. Ulrich Neumerkel agreed to serve as secretary. 4. Minutes of the Vienna meeting. The minutes of the Vienna meeting (N 260) were approved unanimously. 5. JTC1 policies. Ulrich Neumerkel started a discussion about JTC1 policies of handling documents. The discussion resulted in resolution A5. 6. DCGs The current DCG DTR was reviewed. Each grammar construct shall be accompanied with declarative descriptions similar to 7.8 Control constructs. First a description that only considers non-terminals via phrase/2 and without semicontext is given. Semicontext and differences (phrase/3) are handled separately in a paragraph starting with "More precisely taking semicontext into account" ; like procedural descriptions start with "Procedurally, ...". 7. Amendment to part II Deferred. 8. Next meeting. To be determined. 9. The meeting adjourned at 11:00 April 10th. A. Resolutions. A 1. WG17 thanks Jonathan Hodgson for his service on WG17 as convenor which ended by end 2014 and expresses the hope that he will continue to contribute to WG17. Unanimous. A 2. WG17 thanks Klaus Daessler for his service on WG17 as editor for the DCG WDTR, wishes him the best for his enterprise, and expresses the hope that he will continue to participate in WG17. Unanimous. A 3. Resolved that Jonathan Hodgson take over as editor from Klaus Daessler for the DCG WDTR. Unanimous. A 4. WG17 asks Jonathan Hodgson to produce a new version of the DCG WDTR by May 2015 based on document N262 and the discussions in this meeting. Unanimous. A 5. WG17 expresses the following concern: It is vital to WG17's work that access to WG17's working documents is not restricted to registered experts. The stakeholders with expertise to contribute to programming language standards form a much larger group than in other areas. These stakeholders include in particular all programmers using that language. Their individual contributions are key to detecting internal inconsistencies. It would be an anachronistic move in the age of light-weight and low-cost cooperation models to impose on these experts traditional membership which requires registration and a high membership fee. Unanimous. A 6. WG17 thanks Ulrike Becker and Klaus Daessler for their hospitality and their assistance in arranging this meeting. Unanimous. B. Address List. Klaus Daessler Gesellschaft fur Mathematische Intelligenz Goethestrasse 34 D-01445 Radebeul Germany Tel: +49 351 8365590 E-mail: klaus.daessler@mathint.com Jonathan Hodgson Dept. of Computer Science St. Joseph's University 5600 City Avenue Philadelphia. PA 19131 USA Tel: +1 610 328 6835 E-Mail: jhodgson@sju.edu Ulrich Neumerkel Institut für Computersprachen E185/1 Technische Universitaet Wien Argentinierstrasse 8/4 A-1040 Wien Austria Tel: +43 1 58801 18513 E-Mail: ulrich@complang.tuwien.ac.at