A Specification Schema for Indenting Programs.
Prabhaker MatetiPublished in: Softw. Pract. Exp. (1983)
Keyphrases
- conceptual schema
- provably correct
- data model
- database schema
- control program
- databases
- specification language
- program code
- reverse engineering
- control flow
- high level programming language
- high level
- relational databases
- formal specification
- data sets
- definition language
- fixpoint
- database
- entity relationship
- conceptual models
- computer programs
- hierarchical structure
- instance level
- user defined
- programming language
- information systems