scientific article; zbMATH DE number 576277

zbMath0829.68014MaRDI QIDQ4293514

Joe Armstrong, Robert Virding, Mike Williams

Publication date: 26 May 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graphicsobject oriented programmingcompilersreal-time controldata basesoperating systemsERLANG

Mathematics Subject Classification ID

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

Related Items

Towards Erlang Verification by Term Rewriting, Rely-guarantee termination and cost analyses of loops with concurrent interleavings, Computing in unpredictable environments: semantics, reduction strategies, and program transformations, Decentralized runtime verification of message sequences in message-based systems, Towards Modelling Actor-Based Concurrency in Term Rewriting, Quantified abstract configurations of distributed systems, Concolic Execution in Functional Programming by Program Instrumentation, Erlang, Model Checking Erlang Programs – Abstracting Recursive Function Calls, Computing in unpredictable environments: Semantics, reduction strategies, and program transformations