A Formal Specification of a Programming Language: Design of Pit.
Leif PedersenHassan RezaPublished in: ISoLA (2006)
Keyphrases
- programming language
- formal specification
- specification language
- data abstraction
- object oriented design
- specification languages
- object oriented
- general purpose
- high level
- database languages
- model checking
- semantic data models
- object oriented programming
- programming environment
- software engineering
- strongly typed
- denotational semantics
- design process
- functional programming
- user interface
- concurrent programming
- computer programs
- formal methods
- reverse engineering
- knowledge based systems
- knowledge base