Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages.
Raju PandeyJames C. BrownePublished in: Euro-Par, Vol. I (1996)
Keyphrases
- programming language
- concurrent systems
- specification language
- object oriented
- data abstraction
- functional programming
- high level programming language
- abstract data types
- concurrent programming
- general purpose
- domain specific languages
- formal specification
- programming environment
- denotational semantics
- software engineering
- database languages
- functional language
- object oriented programming
- lambda calculus
- strongly typed
- java language
- high level
- program code
- efficient execution
- query language
- object oriented databases
- model checking
- logic programming
- relational databases
- end users
- programming paradigms
- knowledge management
- open source
- knowledge base