A Rewriting Logic Implementation of Erlang.

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

databases
genetic algorithm
modal logic
efficient implementation
data sets
information systems
knowledge base
knowledge representation
data management
logic programming
implementation issues