,

A Rewriting Logic Implementation of Erlang.

.
Electron. Notes Theor. Comput. Sci., 44 (2): 206-224 (2001)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии