The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies

Declarative programming languages

LC control no.sh2007005229
Topical headingDeclarative programming languages
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Declarative languages (Computer science)
Non-procedural languages (Computer science)
See alsoHigh-level programming languages
    Browse this term in  LC Authorities
Found inWork 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)
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)
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)
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)
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)