[J3] work on F202X at #217?

[Damian Rouson]

On Wed, Jul 25, 2018 at 5:57 AM, Malcolm Cohen via J3 <
j3 at mailman.j3-fortran.org> wrote:

>
>
> 2. formal requirements
>

Is there an example we can review to see what formal requirements look like?


> 3. formal specifications
>

Same question as above. The first thing that came to my mind is EBNF, but
that's used to describe syntax so I'm wondering if a formal spec is
something else.

Damian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20180725/b9e21d8d/attachment.html>