We Share the Success. With You.

Search the Web:
Wednesday, December 3 
Home About Us Qualifications FAQ's United Kingdom NEW!  

  See also:


http://citeseer.ist.psu.edu/melendez97logicbased.html
» A Logic-Based Concurrent Object-Oriented Programming Language - Article Rafael Ramirez. (October, 1996)

http://citeseer.ist.psu.edu/18502.html
» Tempo: A Declarative Concurrent Programming Language - Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness. (1995)


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by clixShare

(c) 2003-2008 by Wild Wild Web, Inc. Terms of Service FAQ's Privacy Policy Free thumbnail preview by Thumbshots.org