Semantics of Programming Languages: A Tool-Oriented Approach
Jan HeeringPaul KlintPublished in: CoRR (1999)
Keyphrases
- programming language
- denotational semantics
- domain specific languages
- logic programming
- specification language
- programming tool
- database languages
- programming language constructs
- object oriented
- general purpose
- software engineering
- strongly typed
- high level
- programming environment
- semantic data models
- lambda calculus
- operational semantics
- object oriented programming
- abstract data types
- test cases
- data abstraction
- object oriented concepts
- object oriented databases
- fluent calculus
- machine learning