Real number computation with committed choice logic programming languages.
Hideki TsuikiPublished in: J. Log. Algebraic Methods Program. (2005)
Keyphrases
- programming language
- object oriented
- software engineering
- strongly typed
- logic programming
- programming environment
- general purpose
- high level
- database languages
- denotational semantics
- lambda calculus
- modal logic
- specification language
- object oriented programming
- computer programs
- expressive power
- relational databases