Wyniki wyszukiwania:

All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This work, the first on the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The...

This book discusses the history of invertebrate fossil understanding and classification by exploring fossil studies between the 15th and 18th centuries. Before the modern age, the understanding of fossil findings went through several phases. The treatment by philologists, philosophers and historians of natural sciences involved religious, sometimes folkloristic, aspects before scientific ones. This work showcases and assesses these original findings by carrying out a bibliographical, and above all iconographical research, aimed at finding the first printed images of the objects that...