Erlang programming.

MaRDI QIDQ5191331zbMATH OpenFDO

Authors Francesco Cesarini, Simon Thompson

Publication date 30 July 2009

zbMATH Keywords

concurrencypattern matchingrecursiondebuggingnetworkingprogramming languange Erlangproper lists

Mathematics Subject Classification ID

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

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

(8)

• Model-based fault injection for testing gray-box systems
• Introduction to concurrency in programming languages.
• Synthesising correct concurrent runtime monitors
• Erlang
• A theory of monitors
• Causal-Consistent Debugging of Distributed Erlang Programs
• PerformERL: a performance testing framework for Erlang
• Causal-consistent replay reversible semantics for message passing concurrent programs

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)