Issue-#160 Outdated link to OP2.Paper.ps

Locked

Should we incorporate these changes into the master?

Poll ended at Sun Jun 18, 2017 8:50 am

Yes
7
88%
No
0
No votes
Abstain
1
13%
 
Total votes: 8

User avatar
Robert
Posts: 1024
Joined: Sat Sep 28, 2013 11:04 am
Location: Edinburgh, Scotland

Issue-#160 Outdated link to OP2.Paper.ps

Post by Robert »

Bernhard
Posts: 68
Joined: Tue Sep 17, 2013 6:56 am
Location: Munich, Germany

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Bernhard »

I would suggest to use the following link:
http://e-collection.library.ethz.ch/view/eth:3252
which points to the collection of e-papers published by ETH Zürich. I am not very confident that ftp://ftp.ethoberon.ethz.ch will be available in the long term ...
User avatar
Josef Templ
Posts: 2047
Joined: Tue Sep 17, 2013 6:50 am

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Josef Templ »

This is a valuable suggestion.

When looking it up I discovered that there may be an even better alternative.

The full truth is in the dissertation of Regis Crelier at http://e-collection.library.ethz.ch/ese ... 386-02.pdf.
It also covers the fingerprinting issue, which was a core part of the dissertation and a non-trivial part of the compiler.
It is also in .pdf format.

It is probably not referenced in the BlackBox compiler sources because it was not yet published at that time.

- Josef
Last edited by Josef Templ on Tue Jun 13, 2017 2:11 pm, edited 1 time in total.
Bernhard
Posts: 68
Joined: Tue Sep 17, 2013 6:56 am
Location: Munich, Germany

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Bernhard »

absolutely correct, which is the "correct" reference in your opinion?
User avatar
Josef Templ
Posts: 2047
Joined: Tue Sep 17, 2013 6:50 am

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Josef Templ »

I would use the dissertation.
It is the youngest document and thus closest to the CP compiler and it is the most complete one.

- Josef
Bernhard
Posts: 68
Joined: Tue Sep 17, 2013 6:56 am
Location: Munich, Germany

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Bernhard »

Josef Templ wrote:I would use the dissertation.
yes. I think this is a good idea.

@Robert: Should we cancel the vote and re-vote with the link to the disstertation?
User avatar
Josef Templ
Posts: 2047
Joined: Tue Sep 17, 2013 6:50 am

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Josef Templ »

Reference changed to the dissertation.
See diffs at: https://redmine.blackboxframework.org/p ... 35bc9961c0.

- Josef
User avatar
Robert
Posts: 1024
Joined: Sat Sep 28, 2013 11:04 am
Location: Edinburgh, Scotland

Re: Issue-#160 Outdated link to OP2.Paper.ps

Post by Robert »

Vote passed.
Locked