The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.
Egidio AstesianoGianna ReggioPublished in: System Development and Ada (1986)
Keyphrases
- formal semantics
- programming language
- operational semantics
- denotational semantics
- general purpose
- high level
- object oriented
- software engineering
- programming environment
- er model
- data abstraction
- strongly typed
- modeling language
- lambda calculus
- logic programming
- logical language
- database languages
- speech acts
- modelling language
- specification language
- first order logic
- expert systems
- reverse engineering
- database applications
- object oriented concepts
- query processing
- artificial intelligence