Wectar - Computers - Programming - Languages - Tempo

	submit a site to this category

A Logic-Based Concurrent Object-Oriented Programming Language

URL: http://citeseer.ist.psu.edu/melendez97logicbased.html
ODP description: Article Rafael Ramirez.
Page title: A Logic-Based Concurrent Object-Oriented Programming Language - Ramirez (ResearchIndex)
Page description: Parallel computers and distributed systems are becoming increasingly important. Their impressive computation to cost ratios offer a considerable higher performance than that possible with sequential machines. Yet there are few commercial applications written for them. The reason is that programming

Tempo: A Declarative Concurrent Programming Language

URL: http://citeseer.ist.psu.edu/18502.html
ODP description: 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.
Page title: Tempo: A Declarative Concurrent Programming Language - Gregory, Ramirez (ResearchIndex)
Page description: Tempo is a declarative concurrent programming language based on classical firstorder logic. It improves on traditional concurrent logic programming languages e. g. Parlog by explicitly specifying aspects of the behaviour of concurrent programs, namely their safety properties. This provides great adv

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor