scientific article; zbMATH DE number 576277

MaRDI QIDQ4293514zbMATH OpenFDO

Authors Joe Armstrong, Robert Virding, Mike Williams

Publication date 26 May 1994

zbMATH Keywords

compilersdata basesERLANGgraphicsobject oriented programmingoperating systemsreal-time control

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Theory of operating systems (68N25) Database theory (68P15)

Recommendations

• The development of Erlang
• Erlang programming.
• Concurrent Programming in ML
• scientific article; zbMATH DE number 45142

Cited in

(17)

• Computing in unpredictable environments: semantics, reduction strategies, and program transformations
• Erlang
• Declarative debugging of concurrent Erlang programs
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings
• Model checking Erlang programs -- abstracting recursive function calls
• Towards Erlang verification by term rewriting
• Towards symbolic execution in Erlang
• Start-phase control of distributed systems written in Erlang/OTP
• scientific article; zbMATH DE number 1942462 (Why is no real title available?)
• scientific article; zbMATH DE number 1954123 (Why is no real title available?)
• Quantified abstract configurations of distributed systems
• Erlang programming.
• Towards modelling actor-based concurrency in term rewriting
• The development of Erlang
• Concolic execution in functional programming by program instrumentation
• Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
• Decentralized runtime verification of message sequences in message-based systems

This page was built for publication:

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