Temporal Logic Programming Language Tokio - Programming in Tokio.
T. AoyagiMasahiro FujitaTohru Moto-OkaPublished in: LP (1985)
Keyphrases
- programming language
- temporal logic
- model checking
- modal logic
- general purpose
- object oriented
- programming environment
- object oriented programming
- software engineering
- high level
- specification language
- logic programming
- belief revision
- programming paradigms
- computer programs
- linear temporal logic
- programming tool
- strongly typed
- denotational semantics
- computation tree logic
- object oriented concepts
- verification method
- databases
- high level programming language
- reactive systems
- object oriented databases
- software development
- data model
- database systems