Computer Programming as Mathematics in a Programming Language and Proof System CL.
Ján KomaraPaul J. VodaPublished in: TABLEAUX (1998)
Keyphrases
- computer programming
- programming language
- computer programs
- object oriented
- general purpose
- software engineering
- strongly typed
- high level
- programming concepts
- object oriented programming
- computer science
- denotational semantics
- logic programming
- specification language
- modal logic
- learning process
- database languages
- programming environment
- data abstraction
- college level
- learning algorithm
- database