Erlang programming.

MaRDI QIDQ5191331zbMATH OpenFDO

Authors Francesco Cesarini, Simon Thompson

Publication date 30 July 2009

zbMATH Keywords

concurrencydebuggingnetworkingpattern matchingprogramming languange Erlangproper listsrecursion

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 576277
• scientific article; zbMATH DE number 108539
• Concurrent Programming in ML
• Introduction to concurrency in programming languages.
• The development of Erlang

Cited in

(9)

• Model-based fault injection for testing gray-box systems
• Erlang
• A theory of monitors
• PerformERL: a performance testing framework for Erlang
• Introduction to concurrency in programming languages.
• scientific article; zbMATH DE number 576277 (Why is no real title available?)
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Causal-Consistent Debugging of Distributed Erlang Programs
• Synthesising correct concurrent runtime monitors

This page was built for publication: Erlang programming.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5191331)