Ian Mackie. The geometry of interaction machine. 1995 ACM Symposium on Principles of Programming Languages, pp. 198--208.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....a consequence, initial and final terms can be short, parallel reductions can be very few, yet intermediate forms can grow exponentially in these parameters. Mackie has investigated optimizations of the algorithm, however, his result apply to the static context semantics, rather than to reduction [Mac95]. In summary, while the development of optimal reduction engines has been inspired, at least in spirit, by biologist Ren e Dubos famous adage to think globally and act locally, it has been damned by the admonishment of Socrates that we know the good things, but we don t do them. It is certainly ....

Ian Mackie. The geometry of interaction machine. 1995 ACM Symposium on Principles of Programming Languages, pp. 198--208.

.... [GAL92] henceforth, GAL) as well as Asperti [Asp94] The solution of GAL was appealing because it also gave a static semantics to calculus in the spirit of Girard s geometry of interaction [Gir88] this semantics has also been recently investigated as an implementation technique by Mackie [Mac95]. All these solutions are contributions to compiler technology since they are just rarefied forms of graph reduction. In this paper, we compare and analyze the computational features of proposed optimal evaluators, explaining what design features are common, and what computational resources are ....

Ian Mackie. The geometry of interaction machine. 1995 ACM Symposium on Principles of Programming Languages, pp. 198--208.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC