Practical Static Mode Analyses of Concurrent Logic Languages.

Published in: IFIP PACT (1994)

Keyphrases

expressive power
logic programming
real world
formal language
modal logic
practical application
language independent
classical logic
linear logic
database
asynchronous circuits
defeasible logic
automated reasoning
logic programs
programming language
neural network
data sets