A Case Study of Structured Programming with Correctness Proofs.

Jean Ichbiah Jean-Claude Heliard

Published in: ECI (1976)

Keyphrases

programming language
case study
computer programs
structured data
real time
structured learning
programming environment
theorem proving
test bed
machine learning
database
knowledge representation
probabilistic model
development environment
object oriented programming
databases
formal proofs