1 / 5

DECLARATIVE PROGRAMMING

DECLARATIVE PROGRAMMING. Ivan Bratko Faculty of Computer and Info. Sc. University of Ljubljana. PROGRAMMING PARADIGMS, COMPUTATION MODELS. Programming paradigms ~ computation models Computation model = precise notion of “programming paradigm”

kert
Télécharger la présentation

DECLARATIVE PROGRAMMING

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. DECLARATIVE PROGRAMMING Ivan Bratko Faculty of Computer and Info. Sc. University of Ljubljana

  2. PROGRAMMING PARADIGMS,COMPUTATION MODELS • Programming paradigms ~ computation models • Computation model = precise notion of “programming paradigm” • A computation model is a formal system that defines how computations are done

  3. SOME COMPUTATION MODELS,PROGRAMMING PARADIGMS • Imperative programming • Declarative programming • Object-oriented programming • Functional programming • Logic programming • Relational programming • Constraint programming • Concurrent programming • Declarative concurrency • Message-passing concurrency • Shared-state concurrency

  4. TWO DEFINITIONSFrom Wikipedia • According to one definition, a program is "declarative" if it describes what something is like, rather than how to create it. • This is a different approach from traditional imperative programming languages such as Fortran, C, and Java, which require the programmer to specify an algorithm to be run. In short, imperativeprograms make the algorithm explicit and leave the goal implicit, while declarativeprograms make the goal explicit and leave the algorithm implicit.

  5. SECOND DEFINITIONFrom Wikipedia • According to a different definition, a program is "declarative" if it is written in a functional programming language, logic programming language, or constraint programming language. • The phrase "declarative language" is sometimes used to describe all such programming languages as a group, and to contrast them against imperative languages.

More Related