Tempo Languages Programming
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
Top: Computers: Programming: Languages
Tempo
See Also:
- Top/Computers/Programming/Languages/Garbage Collected
- Top/Computers/Programming/Languages/Interpreted/Multiparadigm
- Top/Computers/Programming/Languages/Object-Oriented/Class-based
- Top/Computers/Programming/Languages/Concurrent
- Top/Computers/Programming/Languages/Multiparadigm
- Top/Computers/Programming/Languages/Logic-based
- Top/Computers/Parallel Computing/Programming/Languages
- Top/Computers/Programming/Languages/Declarative
- A Logic-Based Concurrent Object-Oriented Programming Language - Article Rafael Ramirez.
- Tempo: A Declarative Concurrent Programming Language - Based on classical first-order logic; improves on usual languages concurrent logic languages (eg, Parlog) by explicitly specifying languages aspects of behavior of concurrent programs, namely: safety languages properties; gives advantages in writing concurrent programs and languages manipulatin
MySQL - Cache Direct