Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.
Kim B. BruceJoseph VanderwaartPublished in: MFPS (1999)
Keyphrases
- object oriented languages
- object oriented programming
- database query languages
- programming language
- formal semantics
- conceptual model
- modeling language
- case study
- user interface
- object oriented
- logical language
- design process
- specification language
- multiple types
- software architecture
- speech acts
- databases
- semantic information
- multi agent systems
- database systems
- high level
- artificial intelligence