| |||
JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping | |||
Detailed Information URL: http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/tempo-iclp95.html Title: Tempo: a declarative concurrent programming language 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. Directory: Computers/Programming/Languages/Tempo | |||
Reviews | |||
Be the first to review this site | |||
Click here to subscribe for Jasminecorp's product News. Home
|| Web Designing
|| Get
a Domain Name || Host
your Web site || Terms
of Service |
|