[sv-ac] Mathematical semantics for the upcoming sv-ac LRM

Subject: [sv-ac] Mathematical semantics for the upcoming sv-ac LRM
From: Faisal Haque (fhaque@cisco.com)
Date: Mon Nov 04 2002 - 07:32:14 PST

• Next message: Erich Marschner: "[sv-ac] Next Sugar LRM Review - Monday 4 Nov 2002 - remaining issues"
• Previous message: Stephen Meier: "[sv-ac] Updated Oct31 Minutes"
• Next in thread: Erich Marschner: "RE: [sv-ac] Mathematical semantics for the upcoming sv-ac LRM"
• Reply: Erich Marschner: "RE: [sv-ac] Mathematical semantics for the upcoming sv-ac LRM"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

As part of the process to drive towards a complete LRM. We have a need for a technical subgroup to
author the mathematic semantic support for the LRM. Qualified volunteers with experience writing formal
semantics are solicited to create semantic support for the LRM. Charter is to write the semantics support but not change the language. Any language issues should be brought to DWG for resolution.

I would prefer the members of this subgroup to be other than those folks participating in DWG. If you are interested please send me an email.

Thanks,
-Faisal

• Next message: Erich Marschner: "[sv-ac] Next Sugar LRM Review - Monday 4 Nov 2002 - remaining issues"
• Previous message: Stephen Meier: "[sv-ac] Updated Oct31 Minutes"
• Next in thread: Erich Marschner: "RE: [sv-ac] Mathematical semantics for the upcoming sv-ac LRM"
• Reply: Erich Marschner: "RE: [sv-ac] Mathematical semantics for the upcoming sv-ac LRM"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Nov 04 2002 - 07:33:15 PST