Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems.
C. W. JohnsonMichael D. HarrisonPublished in: Eurographics (1990)
Keyphrases
- interactive systems
- delay insensitive
- human computer interaction
- asynchronous circuits
- bounded model checking
- formal language
- modal logic
- model checker
- transition systems
- high quality
- user interface
- real time
- classical logic
- digital entertainment
- formal verification
- formal specification
- logic programming
- image based rendering
- texture mapping
- multi valued
- automated reasoning
- model checking
- recursive programs
- high level
- logical framework
- operational semantics
- volume rendering
- inference rules
- computer graphics
- linear temporal logic