Formal Specification of Interactive Languages Using Definite Clause Grammars.
Weidong DangPublished in: PLILP (1988)
Keyphrases
- formal specification
- definite clause
- specification languages
- context free grammars
- model checking
- object oriented design
- specification language
- grammatical inference
- concurrent systems
- pac learnability
- reverse engineering
- inductive logic programming
- context free
- process algebra
- logic programs
- formal methods
- databases
- relational databases
- machine learning
- grid workflow
- protocol specification
- inductive inference
- production rules
- fuzzy logic
- artificial intelligence
- database