Publication:5191331
From MaRDI portal
zbMath1177.68039MaRDI QIDQ5191331
Simon Thompson, Francesco Cesarini
Publication date: 30 July 2009
recursion; networking; pattern matching; concurrency; debugging; programming languange Erlang; proper lists
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items