Typestate: A Programming Language Concept for Enhancing Software Reliability.
Robert E. StromShaula YeminiPublished in: IEEE Trans. Software Eng. (1986)
Keyphrases
- programming language
- software reliability
- general purpose
- high level
- object oriented
- software testing
- object oriented programming
- software engineering
- strongly typed
- programming environment
- denotational semantics
- prediction model
- functional programming
- computer programs
- bp neural network
- software systems
- concurrent programming
- databases
- program code
- knowledge base