文献
J-GLOBAL ID:201802241257752095
整理番号:18A1814706
コンカレントErlangプログラムの宣言的デバッグ【JST・京大機械翻訳】
Declarative debugging of concurrent Erlang programs
著者 (4件):
Caballero Rafael
(Dpto. de Sistemas Informaticos y Computacion, Fac. Informatica, Universidad Complutense de Madrid C/Profesor Jose Garcia Santesmases, 9, 28040 Madrid, Spain)
,
Martin-Martin Enrique
(Dpto. de Sistemas Informaticos y Computacion, Fac. Informatica, Universidad Complutense de Madrid C/Profesor Jose Garcia Santesmases, 9, 28040 Madrid, Spain)
,
Riesco Adrian
(Dpto. de Sistemas Informaticos y Computacion, Fac. Informatica, Universidad Complutense de Madrid C/Profesor Jose Garcia Santesmases, 9, 28040 Madrid, Spain)
,
Tamarit Salvador
(Dept. de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Cami de Vera, 46022 Valencia, Spain)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
101
ページ:
22-41
発行年:
2018年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)