 |
| | Languages - Programming, Parallel Computing, Computers 34
Concurrent - Languages, Programming, Computers 16
Declarative - Languages, Programming, Computers 5
Garbage Collected - Languages, Programming, Computers 4
Multiparadigm - Interpreted, Languages, Programming, Computers 1
Logic-based - Languages, Programming, Computers 41
Multiparadigm - Languages, Programming, Computers 20
Class-based - Object-Oriented, Languages, Programming, Computers 19
 A Logic-Based Concurrent Object-Oriented Programming LanguageA Logic-Based Concurrent Object-Oriented Programming Language
 Article Rafael Ramirez. (October, 1996)
|
Tempo: A Declarative Concurrent Programming LanguageTempo: 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)
|
|
|
|
