Formal Semantics of Control in a Completely Visual Programming Language.
Wayne CitrinMichael DohertyBenjamin G. ZornPublished in: VL (1994)
Keyphrases
- programming language
- formal semantics
- high level
- general purpose
- operational semantics
- object oriented
- software engineering
- logic programming
- computer programs
- object oriented programming
- denotational semantics
- programming environment
- strongly typed
- er model
- modelling language
- visual programming
- modeling language
- speech acts
- logical language
- databases
- functional language
- reverse engineering
- concurrent programming
- deductive databases