Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Predicative_programming> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Predicative_programming abstract "Predicative programming is a methodology for program specification and refinement. The central idea of predicative programming is that each specification is a predicate (generally written as a boolean expression) that is true of acceptable behaviours and false of unacceptable behaviours. It follows that refinement is reversed implication universally quantified over behaviours:Commands in a programming language are considered to be a special case of specifications—special only because they are compilable. For example in an environment where the program variables are , , and , the command is considered equivalent to the predicate (represented here by a boolean expression)in which , , and represent the initial values of the program variables and , , and represent the final values of the program variables. Thus".
- Predicative_programming wikiPageExternalLink aPToP.
- Predicative_programming wikiPageExternalLink publist.html.
- Predicative_programming wikiPageID "30251309".
- Predicative_programming wikiPageRevisionID "405424785".
- Predicative_programming hasPhotoCollection Predicative_programming.
- Predicative_programming subject Category:Formal_methods.
- Predicative_programming subject Category:Formal_specification_languages.
- Predicative_programming subject Category:Logical_calculi.
- Predicative_programming type Ability105616246.
- Predicative_programming type Abstraction100002137.
- Predicative_programming type Cognition100023271.
- Predicative_programming type Communication100033020.
- Predicative_programming type FormalMethods.
- Predicative_programming type FormalSpecificationLanguages.
- Predicative_programming type Know-how105616786.
- Predicative_programming type Language106282651.
- Predicative_programming type Method105660268.
- Predicative_programming type PsychologicalFeature100023100.
- Predicative_programming comment "Predicative programming is a methodology for program specification and refinement. The central idea of predicative programming is that each specification is a predicate (generally written as a boolean expression) that is true of acceptable behaviours and false of unacceptable behaviours.".
- Predicative_programming label "Predicative programming".
- Predicative_programming sameAs m.0g58x1d.
- Predicative_programming sameAs Q7239635.
- Predicative_programming sameAs Q7239635.
- Predicative_programming sameAs Predicative_programming.
- Predicative_programming wasDerivedFrom Predicative_programming?oldid=405424785.
- Predicative_programming isPrimaryTopicOf Predicative_programming.