Library of Congress

Authorities & Vocabularies

The Library of Congress > Linked Data Service > LC Subject Headings

From Library of Congress Subject Headings


us: Declarative programming languages


  • URI(s)

  • Instance Of

  • Scheme Membership(s)

  • Collection Membership(s)

  • Variants

    • us: Declarative languages (Computer science)
    • us: Non-procedural languages (Computer science)
  • Broader Terms

    • us: High-level programming languages
  • Sources

    • found: Work cat.: Abstract interpretation of declarative languages, 1987: p. 9 (This book is mainly ... devoted to the presentation of various uses of abstract interpretation in the compile-time analysis of declarative programming languages)
    • found: Dictionary of computer science, engineering, and technology, 2001 (declarative language -a non-procedural language in which the user has to specify the program by means of a collection of facts or rules. This approach is mainly focused on describing what the system has to do instead of describing how, as in classical programming languages, which are operational)
    • found: Wu, H. Grammar-driven generation of domain-specific language testing tools, 2006: p. 8 (A declarative programming language is based on declarations that state the relationship between inputs and outputs. Declarative programs consist of declarations rather than assignment or control flow statements. The declaration semantics have a precise interpretation that is closer to the problem domain. Such programs do not state how to solve a problem, but rather describe the essence of a problem and let the language environment determine how to obtain a result)
    • found: Computing dictionary, via WWW, July 10, 2007 (non-procedural language -- A computer language that does not require writing traditional programming logic. Also known as a declarative language, users concentrate on defining the input and output rather than the program steps required in a procedural language such as C++, COBOL or Visual Basic)
    • found: Wikipedia, July 10, 2007 (A declarative programming language is a high-level language that describes a problem rather than defining a solution, it makes use of declarative programming. A declarative programming language says what, while an imperative programming language says how. The term is not entirely clear and often controversial; it is sometimes used as a buzzword)
  • Change Notes

    • 2007-07-12: new
    • 2007-10-03: revised
  • Alternate Formats

Suggest terminology


The LC Linked Data Service welcomes any suggestions you might have about terminology used for a given heading or concept.

Would you like to suggest a change to this heading?

Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.

Fields denoted with an asterisk (*) are required.