A UNITY-Style Programming Logic for Shared Dataspace Programs.
H. Conrad CunninghamGruia-Catalin RomanPublished in: IEEE Trans. Parallel Distributed Syst. (1990)
Keyphrases
- declarative programming
- computer programs
- high level language
- programming environment
- programming language
- logic programming
- programming education
- programs written
- automatic programming
- concurrent programming
- management system
- error handling
- dynamic logic
- programming environments
- answer set programming
- high level programming language
- control structures
- program code
- functional programs
- novice programmers
- logic programs
- modal logic
- automated reasoning
- answer sets
- predicate logic
- oracle pl sql
- recursive programs
- data integration
- database
- databases
- technical skills
- programming skills
- classical logic
- object oriented programming
- functional language
- information management
- personal information management
- functional programming
- multicore processors
- general purpose
- object oriented
- asynchronous circuits