Login / Signup

A Static Analysis Method for a Classical Linear Logic Programming Language.

Kyoung-Sun KangNaoyuki Tamura
Published in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
  • static analysis
  • artificial intelligence
  • relational databases
  • error rate
  • objective function
  • probabilistic model
  • software engineering
  • open source
  • logic programming language