The question about possible implementation of closed reduction using token-passing nets is asked on page 17 in Token-passing Nets for Functional Languages by Jose Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vilaca:

It would be interesting to explore the applicability of this idea to encode closed reduction as defined by Fernandez et al.

Is this question still open?

  • $\begingroup$ Why don't you as Almeida et al or Fernandez et al, and report back here? $\endgroup$ – Martin Berger Oct 10 '15 at 11:08
  • $\begingroup$ Thanks for the idea. I did try to contact the authors of the article. I will report back here if and when I get any response. $\endgroup$ – Anton Salikhmetov Oct 10 '15 at 11:52
  • 3
    $\begingroup$ I just got a reply from Jorge Pinto. He confirmed that this question still remains open. He also noted that approach of token-passing nets may be unsuitable to implement closed reduction, but he is not absolutely sure. $\endgroup$ – Anton Salikhmetov Oct 20 '15 at 0:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.