Re: Quoting the POSIX specification

2017-06-16 Thread Joerg Schilling
Yann Régis-Gianas wrote: > Le ven. 9 juin 2017 à 16:32, Joerg Schilling < > joerg.schill...@fokus.fraunhofer.de> a écrit : > > > Yann Régis-Gianas wrote: > > If you plan to use the BNF grammar for the shell that is in the standard, > > then it may be of interest that this is most likely not corr

Re: Quoting the POSIX specification

2017-06-12 Thread Yann Régis-Gianas
Le ven. 9 juin 2017 à 18:07, Wheeler, David A a écrit : > I believe copyright laws typically allow quotations, since otherwise it'd > be impossible to have any kind of scientific work. Under US law, this is > part of "fair use". > > I'm not as familiar with French law, but I believe it permits q

Re: Quoting the POSIX specification

2017-06-12 Thread Yann Régis-Gianas
ttps://www.copyright.gov/fair-use/more-info.html> > > > > .< https://en.wikipedia.org/wiki/Fair_use> > > > > Joe Gwinn > > > > > > *From:* Yann Régis-Gianas [mailto:y...@pps.univ-paris-diderot.fr] > *Sent:* Friday, June 09, 2017 3:03 AM > *To:* aus

Re: Quoting the POSIX specification

2017-06-12 Thread Yann Régis-Gianas
Le ven. 9 juin 2017 à 16:32, Joerg Schilling < joerg.schill...@fokus.fraunhofer.de> a écrit : > Yann Régis-Gianas wrote: > If you plan to use the BNF grammar for the shell that is in the standard, > then it may be of interest that this is most likely not correct. > Actually, we may have found a

Re: Quoting the POSIX specification

2017-06-12 Thread Yann Régis-Gianas
Hello Andrew, Le ven. 9 juin 2017 à 12:58, Andrew Josey a écrit : > You should write to austin-group-permissions(at)opengroup.org with your > request, explaining which materials (specific man pages) you need and the > purpose. > I will do that. Thanks. > In general we like to support open sou

RE: Quoting the POSIX specification

2017-06-11 Thread Joe Gwinn
ilto:y...@pps.univ-paris-diderot.fr] Sent: Friday, June 09, 2017 3:03 AM To: austin-group-l@opengroup.org Subject: Quoting the POSIX specification Dear colleagues, I am a researcher at University Paris Diderot and in collaboration with Ralf Treinen and Nicolas Jeannerod, we are implementing a

RE: Quoting the POSIX specification

2017-06-09 Thread Wheeler, David A
> > On 9 Jun 2017, at 08:03, Yann Régis-Gianas > > wrote: > > To make this mapping between the code and the specification clear, and > also to ease code review, we would like to quote some parts of the POSIX > specification inside the code and also in other document. > > However, this seems not t

Re: Quoting the POSIX specification

2017-06-09 Thread Joerg Schilling
Yann Régis-Gianas wrote: > Dear colleagues, > > I am a researcher at University Paris Diderot and in collaboration with > Ralf Treinen and Nicolas Jeannerod, we are implementing a "trustworthy" > open source parser for POSIX shell. One argument to convince people that > our parser is trustworthy

Re: Quoting the POSIX specification

2017-06-09 Thread Andrew Josey
hello Yann You should write to austin-group-permissions(at)opengroup.org with your request, explaining which materials (specific man pages) you need and the purpose. In general we like to support open source projects and have made a number of grants to them, so let us know about the project.

Quoting the POSIX specification

2017-06-09 Thread Yann Régis-Gianas
Dear colleagues, I am a researcher at University Paris Diderot and in collaboration with Ralf Treinen and Nicolas Jeannerod, we are implementing a "trustworthy" open source parser for POSIX shell. One argument to convince people that our parser is trustworthy is our ability to relate each part of