Erlang

swMATH7202MaRDI QIDQ19254

No author found.

Related Items (only showing first 100 items - show all)

Mutatis mutandis ⋮ On distributability ⋮ Higher-order pattern anti-unification in linear time ⋮ Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Automated Synthesis of Distributed Controllers ⋮ Unnamed Item ⋮ Towards Symbolic Execution in Erlang ⋮ Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach ⋮ Tutorial on Subtype Marks ⋮ Unnamed Item ⋮ Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects ⋮ Unnamed Item ⋮ Synthesis of Distributed Mobile Programs Using Monadic Types in Coq ⋮ Unnamed Item ⋮ Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model ⋮ Scheduling problems in parallel systems for telecommunications ⋮ Principled Software Development ⋮ On Distributed Monitoring and Synthesis ⋮ Rely-guarantee termination and cost analyses of loops with concurrent interleavings ⋮ Computing race variants in message-passing concurrent programming with selective receives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Erlang code evolution control ⋮ Computation semantics of the functional scientific workflow language Cuneiform ⋮ A formal, resource consumption-preserving translation of actors to Haskell ⋮ A reversible semantics for Erlang ⋮ simpA: an agent-oriented approach for programming concurrent applications on top of Java ⋮ Unnamed Item ⋮ Computing in unpredictable environments: semantics, reduction strategies, and program transformations ⋮ Object-oriented programming: some history, and challenges for the next fifty years ⋮ Synthesising correct concurrent runtime monitors ⋮ Permission-Based Separation Logic for Message-Passing Concurrency ⋮ A practical subtyping system for Erlang ⋮ The development of Erlang ⋮ Unnamed Item ⋮ A reduction semantics for direct-style asynchronous observables ⋮ Unnamed Item ⋮ Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ Skeleton composition versus stable process systems in Eden ⋮ Unnamed Item ⋮ Towards Modelling Actor-Based Concurrency in Term Rewriting ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ Transactional events ⋮ Operational semantics for declarative multi-paradigm languages ⋮ Unnamed Item ⋮ Computer Aided Systems Theory – EUROCAST 2005 ⋮ Model-based fault injection for testing gray-box systems ⋮ Adaptive locks: combining transactions and locks for efficient concurrency ⋮ Adaptable processes ⋮ Quantified abstract configurations of distributed systems ⋮ Refactoring tools for functional languages ⋮ VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming ⋮ Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers ⋮ Progress-preserving Refinements of CTA ⋮ Optimal dynamic partial order reduction ⋮ The Buffered π-Calculus: A Model for Concurrent Languages ⋮ Declarative debugging of concurrent Erlang programs ⋮ Preemptive type checking ⋮ Implicitly threaded parallelism in Manticore ⋮ Graph-based communication in Eden ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Applying Prolog to develop distributed systems ⋮ A coordination protocol language for power grid operation control ⋮ Equational Abstractions for Reducing the State Space of Rewrite Theories ⋮ Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings ⋮ Concurrent Objects à la Carte ⋮ Use Cases for Refactoring in Erlang ⋮ Efficient memory management for concurrent programs that use message passing ⋮ Resource control for synchronous cooperative threads ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Polymorphic Types in Erlang Function Specifications ⋮ Validating Timed Models of Deployment Components with Parametric Concurrency ⋮ ReverCSP: time-travelling in CSP computations ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Scala actors: Unifying thread-based and event-based programming ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Finding Counter Examples in Induction Proofs ⋮ Unnamed Item ⋮ The Orc Programming Language ⋮ Polymorphic success types for Erlang ⋮ lambda!-calculus, Intersection Types, and Involutions ⋮ Unnamed Item ⋮ PSync: a partially synchronous language for fault-tolerant distributed algorithms ⋮ Defining Actions in Concurrent Declarative Programming ⋮ Model Checking Erlang Programs – Abstracting Recursive Function Calls ⋮ On modelling mobility ⋮ Dynamic structural operational semantics ⋮ PerformERL: a performance testing framework for Erlang ⋮ Towards an Implementation of a Computer Algebra System in a Functional Language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Gaining trust by tracing security protocols ⋮ Reversibility in Erlang: imperative constructs ⋮ Unnamed Item ⋮ Abstraction and Model Checking of Core Erlang Programs in Maude ⋮ ReCaml

This page was built for software: Erlang