Login / Signup
Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis.
Kazuhiko Ohno
Masahiko Ikawa
Masahiro Goshima
Shin-ichiro Mori
Hiroshi Nakashima
Shinji Tomita
Published in:
ASIAN (1997)
Keyphrases
</>
dependency analysis
scheduling problem
database
programming language
ontology driven
concurrent programming
logic programming
modal logic
dynamic logic
proof theory
databases
pattern recognition
natural language
operational semantics
impact analysis