Predicative programming

Property	Value
rdf:type	owl:NamedIndividual Formal method Formal specification language
rdfs:label	Predicative programming
owl:sameAs	dbr:Predicative_programming
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/Open-source_software_assessment_methodologies
skos:prefLabel	Predicative programming
skos:altLabel	predicative programming programs are predicates
is clgo:knownFor of	Eric Hehner

About: clgr:Predicative_programming