Denotational semantics for programming languages, balanced quasi-metrics and fixed points.
Jesús Rodríguez-LópezSalvador RomagueraÓscar ValeroPublished in: Int. J. Comput. Math. (2008)
Keyphrases
- denotational semantics
- fixed point
- programming language
- general purpose
- object oriented
- sufficient conditions
- approximate value iteration
- operational semantics
- dynamical systems
- query language
- belief propagation
- temporal difference learning
- high level
- linear logic
- logic programming
- abstract data types
- strongly typed
- free energy
- data types
- databases
- association rules
- database languages
- data mining