Tail recursion in REBOL
Computers - Programming - Languages - REBOL - FAQs, Help, and Tutorials - Advanced. Proper tail recursion is unusually difficult to achieve in REBOL. Joe Marshall describes the problem and solution. From LL1: Lightweight Languages Workshop. ...
ll1.ai.mit.edu
Recursion Software, Inc.
Computers - Computer Science - Distributed Computing - Companies. Commercial provider of application server and ORB software, and consulting and training services. ...
www.recursionsw.com
Stack Free Recursion
Computers - Algorithms - Publications. A paper describing the "Stack Free Recursion" algorithm. C code with C++ comments. ...
www.olympus.net
Recursion Software, Inc.
Computers - Programming - Development Tools. Development tools for software developers using Java, C++, or C#. ...
www.recursionsw.com
Open Questions in Recursion Theory
Science - Math - Logic and Foundations - Computability. Compiled by Theodore A. Slaman, Berkeley [TeX/PDF]. ...
math.berkeley.edu
Recursion Software, Inc. - C++ ToolKits
Computers - Programming - Languages - C++ - Class Libraries - STL. Provides portable class libraries for use with the ANSI/ISO C++ Standard Library. ...
www.recursionsw.com
Real Time Software Rendering
Computers - Programming - FAQs, Help, and Tutorials. Tutorials in Javascript, PHP, C++, and Java as well as articles about good coding and recursion. SoftGeL, OpenGL, and DirectX resources are also in ...
www.dawnofthegeeks.com
Kolmogorov Complexity in Combinatory Logic
Science - Math - Logic and Foundations - Computational Logic - Combinatory Logic and Lambda Calculus. Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of r ...
www.cwi.nl
Computability Theory
Science - Math - Logic and Foundations - Directories. Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links ...
www.nd.edu
Computation Prospects of Infinity
Science - Math - Logic and Foundations - Meetings - Past Conferences. Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National Universi ...
www.ims.nus.edu.sg
Enderton, Herbert B.
Science - Math - Logic and Foundations - People. UCLA - Recursion theory, definability theory. ...
www.math.ucla.edu
Moschovakis, Yiannis N.
Science - Math - Logic and Foundations - People. UCLA - Set theory, recursion theory. ...
www.math.ucla.edu
Shore, Richard A.
Science - Math - Logic and Foundations - People. Cornell University - Recursion theory. ...
www.math.cornell.edu
Slaman, Theodore A.
Science - Math - Logic and Foundations - People. University of California, Berkeley - Recursion theory. ...
www.math.berkeley.edu
Soare, Robert I.
Science - Math - Logic and Foundations - People. University of Chicago - Recursion theory. ...
www.cs.uchicago.edu
Bibliographic Database for Computability Theory
Science - Math - Logic and Foundations - Computability. Extensive bibliography on computability and recursion theory, maintained by Peter Cholak. ...
www.nd.edu
Jockusch, Carl G.
Science - Math - Logic and Foundations - People. University of Illinois, Urbana Champaign - Recursion theory. ...
www.math.uiuc.edu
Lempp, Steffen
Science - Math - Logic and Foundations - People. University of Wisconsin, Madison - Computability, recursion theory. ...
www.math.wisc.edu
JSummer
Computers - Software - Freeware. A java-implementation of the MD5Sum-HASH-Algorythm that features calculation of md5sum-hashes, checking of md5sum-hashes, GUI and console version, recursion of directo ...
zero-sys.net
Java Generic Libraries (JGL)
Computers - Programming - Languages - Java - Class Libraries. Class libraries that extend JDK libraries, providing many commonly-used algorithms and data structures. By Recursion Software, Inc. [Comme ...
www.recursionsw.com
Tymax Systems
Computers - Software - Shareware - Windows - Utilities - Automation. Getz Batch Processing Software uses streams rather than folder recursion, allows automation of file handling, visual construction t ...
www.tymax.com
Reform Prolog
Computers - Programming - Languages - Prolog - Implementations. Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance ...
user.it.uu.se
HTTrack Website Copier
Computers - Software - Internet - Clients - Web - Browsers - Freeware. Offline browser utility that offers a multi-lingual interface, simultaneous mirroring of more than one site, user-selectable recu ...
www.httrack.com
University of Leeds
Science - Math - Logic and Foundations - Research Groups and Centers - Europe - United Kingdom. Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, pr ...
top
