Predicative programming
different from: List of conspiracy theories
type: Thing
subject: Category:Formal methods
subject: Category:Logical calculi
subject: Category:Formal specification languages
description: method of computer program specification