Visual Execution of Assembly Language Programs.
Mark NewsomeCherri M. PancakeChristopher WardPublished in: ACM Conference on Computer Science (1993)
Keyphrases
- programming language
- symbolic execution
- control flow
- programming environment
- control structures
- programs written
- dynamic logic
- agent programming
- computer programs
- language learning
- specification language
- object oriented languages
- database languages
- program execution
- database transactions
- error handling
- declarative semantics
- functional language
- natural language
- intermediate level
- visual perception
- execution model
- visual information
- high level
- functional programs
- visual query language
- application programs
- business processes
- operating system
- source code
- concurrent programming
- formal descriptions