Declarative Expression
(Redirected from Declarative Program Expression)
Jump to navigation
Jump to search
A Declarative Expression is an expression statement whose expression meaning can be understood without appeal to an interpreter for manipulating those expressions (with declarative semantics).
- Context:
- It can (typically) be a Referentially Transparent Expression.
- …
- Example(s):
- a SQL SELECT Statement, such as
SELECT col2 AS age, COUNT(*) FROM table GROUP BY col2. - a Prolog Statement.
- a Haskell Statement.
- …
- a SQL SELECT Statement, such as
- Counter-Example(s):
- See: Source Code, Data Structure Definition Statement, Declarative Program, Declarative Language, Knowledge Representation Language, Semantics.
References
2013
- http://en.wikipedia.org/wiki/Knowledge_Interchange_Format
- … It has declarative semantics (i.e., the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions) …
1988
- (Przymusinski, 1988) ⇒ Teodor C. Przymusinski. (1988). “On the declarative semantics of deductive databases and logic programs." In Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc..