Productivity of Stream Definitions (2007)

Cached

Download Links

by Jörg Endrullis , Clemens Grabmayer , Dimitri Hendriks , Ariya Isihara , Jan Willem Klop A
Venue:In Proceedings of FCT 2007, number 4639 in LNCS
Citations:9 - 1 self

Active Bibliography

Productivity of Stream Definitions ✩ – Jörg Endrullis A, Clemens Grabmayer B, Dimitri Hendriks A, Ariya Isihara A, Jan Willem Klop A
Under consideration for publication in the Journal of Functional Programming 1 Representing Contractive Functions on Streams (Extended Version) – Graham Hutton - 2011
UNIQUE NORMAL FORMS IN INFINITARY WEAKLY ORTHOGONAL TERM REWRITING – Jan Willem, Klop, Vincent Van Oostrom
On the Complexity of Equivalence of Specifications of Infinite Objects – Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
8½: Data-Parallelism and Data-Flow – Olivier Michel, Dominique De Vito, Jean-Paul Sansonnet - 1996
3 Semantics and compilation of sequential streams into a static SIMD code for the declarative data-parallel language – Dominique De Vito - 1996
1 Semantics and Compilation of Recursive Sequential Streams in 8 1/2 – Jean-Louis Giavitto, Dominique De Vito, Olivier Michel - 1997
3 Coinduction for Exact Real Number Computation – Ulrich Berger, Tie Hou - 2007
2 The Π0 2-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) – Jakob Grue Simonsen
1 ABSTRACT MODELS OF TRANSFINITE REDUCTIONS – Patrick Bahr - 2010
2 Coinductive Field of Exact Real Numbers and General Corecursion – Milad Niqui - 2006
Design and Implementation of 8½, a Declarative Data-Parallel Language – Olivier Michel - 1995
Algorithmic Term Rewriting Systems – Cover Design Ariya Isihara, Michelangero Buonarroti, Ariya Isihara, Michelangero Buonarroti, Ariya Isihara, El Greco, Ariya Isihara, Vrije Universiteit, Ariya Isihara
2 Complexity of Fractran and productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks - 2009
1 Corecursive Algebras: A Study of General Structured Corecursion (Extended Abstract) – Venanzio Capretta, Tarmo Uustalu, Varmo Vene
15 Generalised Coinduction – Falk Bartels - 2001
On Modularity in Infinitary Term Rewriting – Jakob Grue Simonsen
1 On the modularity of confluence in infinitary term rewriting – Jakob Grue Simonsen - 2004
3 Masakazu Fujio and Yuji Matsumoto: "Statistic Based Dependency Analysis – Jakob Grue Simonsen - 1997