On the algebraic structure of declarative programming languages.
Gianluca AmatoJames LiptonRobert McGrailPublished in: Theor. Comput. Sci. (2009)
Keyphrases
- programming language
- algebraic structure
- high level
- object oriented
- general purpose
- strongly typed
- numerical analysis
- knowledge representation
- programming environment
- software engineering
- logic programming
- object oriented programming
- probability theory
- database languages
- denotational semantics
- specification language
- vector space
- abstract data types
- database design
- programming paradigms
- expert systems