Reference counting of cyclic graphs for functional programs

Motivation: A system-wide approach to revealing the underlying molecular state of a cell is a long-standing biological challenge. Developed over the last decade, gene expression profiles possess the characteristics of such an assay. They have the ...

An orthomorphism @k of Z"n is a permutation of Z"n such that i@__ __@k(i)-i is also a permutation. We say @k is canonical if @k(0)=0 and define z"n to be the number of canonical orthomorphisms of Z"n. If n=dt and @k(i)=@k(j)(modd) whenever i=j(modd) ...

Reference counting is the memory management technique of most widespread use today. Its cyclic version is used from implementations of languages such as Java to the consistent management of web pages. This paper introduces the concept of ''critical link'...