Productivity of stream definitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4639 LNCS, Issue , 2007, Pages 274-287

  Endrullis, Jörg ^a   Grabmayer, Clemens ^c   Hendriks, Dimitri ^a   Isihara, Ariya ^a   Klop, Jan Willem ^a,b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA FLOW ANALYSIS; RECURSIVE FUNCTIONS;

PEBBLEFLOW NET; STREAM DEFINITIONS; STREAM ELEMENTS;

ALGORITHMS;

EID: 38149000695     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74240-1_24     Document Type: Conference Paper

References (16)

1. Buchholz, W.: A term calculus for (co-)recursive definitions on streamlike data structures. Annals of Pure and Applied Logic 136(1-2), 75-90 (2005)
2. Coquand, Th.: Infinite Objects in Type Theory. In: Barendregt, H., Nipkow, T. (eds.) TYPES 1993. LNCS, vol. 806, pp. 62-78. Springer, Heidelberg (1994)
3. Dijkstra, E.W.: On the productivity of recursive definitions, EWD749 (1980)
4. Endrullis, J., Grabmayer, C., Hendriks, D.: Productivity of stream definitions. Technical report, Vrije Universiteit Amsterdam (2007), available via http://infinity.few.vu.nl/productivity/
5. Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: POPL '96, pp. 410-423 (1996)
6. Kahn, G.: The semantics of a simple language for parallel programming. Information Processing, 471-475 (1974)
7. Kennaway, R., Klop, J.W., Sleep, M.R., de Vries, F.-J.: Transfinite reductions in orthogonal term rewriting systems. Inf. and Comput. 119(1), 18-38 (1995)
8. Kennaway, R., Klop, J.W., Sleep, M.R., de Vries, F.-J.: Infinitary lambda calculus. TCS 175(1), 93-125 (1997)
9. Klop, J.W., de Vrijer, R.: Infinitary normalization. In: We Will Show Them: Essays in Honour of Dov Gabbay (2). College Publications, pp. 169-192 (2005), Item 95 at http://web.mac.com/janwillemklop/iWeb/Site/Bibliography.html
10. Lafont, Y.: Interaction nets. In: POPL '90, pp. 95-108. ACM Press, New York (1990)
11. Rutten, J.J.M.M.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. TCS 308(1-3), 1-53 (2003)
12. Sijtsma, B.A.: On the productivity of recursive list definitions. ACM Transactions on Programming Languages and Systems 11(4), 633-649 (1989)
13. Tait, W.W.: Intentional interpretations of functionals of finite type I. Journal of Symbolic Logic 32(2) (1967)
14. Telford, A., Turner, D.: Ensuring the Productivity of infinite structures. Technical Report 14-97, The Computing Laboratory, Univ. of Kent at Canterbury (1997)
15. Terese: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge University Press, Cambridge (2003)
16. Wadge, W. W.: An extensional treatment of dataflow deadlock. TCS 13, 3-15 (1981)