Web Directory
 

Tempo: a declarative concurrent programming language

  Link Details for: Tempo: a declarative concurrent programming language
Link Title: Tempo: a declarative concurrent programming language Open in a new window
Link URL: http://citeseer.ist.psu.edu/rd/46765635%2C519806%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/cache/papers/cs/21257/http:zSzzSzwww.cs.bris.ac.ukzSz~stevezSzresearchzSzpaperszSztempo.pdf/gregory95tempo.pdf
Link Details: 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 manipulatin
Category: Top : Computers : Programming : Languages : Tempo
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Tempo: a declarative concurrent programming language