An Advanced Programming Language Definition and Domain Correctness of Programs.
Karel CulíkPublished in: ACM SIGPLAN Notices (1982)
Keyphrases
- programming language
- high level programming language
- computer programs
- programming environment
- database languages
- specification language
- general purpose
- object oriented
- strongly typed
- programming language constructs
- functional language
- object oriented programming
- high level
- logic programming
- program code
- concurrent programming
- software engineering
- functional programming
- artificial intelligence
- programs written
- database language
- domain independent
- object oriented concepts
- denotational semantics
- java language
- programming tool
- language constructs
- relational databases
- database systems
- database