Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.
Cui ZhangCarole M. McNammePublished in: PDPTA (1997)
Keyphrases
- programming language
- high level programming language
- specification language
- functional programming
- object oriented
- general purpose
- data abstraction
- software engineering
- functional language
- high level
- java bytecode
- programming tool
- strongly typed
- object oriented programming
- programming environment
- distributed systems
- distributed environment
- denotational semantics
- java language
- programming paradigms
- machine learning
- program code
- database languages
- database language
- object oriented concepts
- database
- model checking
- mobile agents
- database systems