swMATH7202MaRDI QIDQ19254FDOQ19254
Author name not available (Why is that?)
Official website: http://www.erlang.org/
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Object-oriented programming: some history, and challenges for the next fifty years
- Transactional events
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- On modelling mobility
- Adaptable processes
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- Title not available (Why is that?)
- Dynamic structural operational semantics
- Declarative debugging of concurrent Erlang programs
- Preemptive type checking
- Model-based fault injection for testing gray-box systems
- Higher-order pattern anti-unification in linear time
- Concolic execution in functional programming by program instrumentation
- Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings
- A coordination protocol language for power grid operation control
- On distributability
- Operational semantics for declarative multi-paradigm languages
- Formal Approaches to Software Testing
- VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
- Amalgamating sessions and methods in object-oriented languages with generics
- Abstraction and model checking of core Erlang programs in Maude
- Global reproducibility through local control for distributed active objects
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Verification of Erlang processes by dependency pairs
- Towards an Implementation of a Computer Algebra System in a Functional Language
- Synthesising correct concurrent runtime monitors
- A theory of reversibility for Erlang
- Adaptive locks: combining transactions and locks for efficient concurrency
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Timed Rebeca
- Erlang code evolution control
- Resource control for synchronous cooperative threads
- Reversibility in Erlang: imperative constructs
- Mutatis mutandis: safe and predictable dynamic software updating
- Computing race variants in message-passing concurrent programming with selective receives
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Efficient memory management for concurrent programs that use message passing
- Towards symbolic execution in Erlang
- Starkiller
- Scheduling problems in parallel systems for telecommunications
- A reversible semantics for Erlang
- Scala actors: Unifying thread-based and event-based programming
- Quantified abstract configurations of distributed systems
- Applying prolog to develop distributed systems
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers
- A formal, resource consumption-preserving translation of actors to Haskell
- The development of Erlang
- Equational abstractions for reducing the state space of rewrite theories
- A formal approach to the engineering of domain-specific distributed systems
- PerformERL: a performance testing framework for Erlang
- Title not available (Why is that?)
- Title not available (Why is that?)
- A reduction semantics for direct-style asynchronous observables
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- Progress-preserving refinements of CTA
- Finding Counter Examples in Induction Proofs
- Gaining trust by tracing security protocols
- Optimal dynamic partial order reduction
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- Validating timed models of deployment components with parametric concurrency
- Graph-based communication in Eden
- ABS-NET: fully decentralized runtime adaptation for distributed objects
- ReverCSP: time-travelling in CSP computations
- The Orc Programming Language
- Use Cases for Refactoring in Erlang
- Computation semantics of the functional scientific workflow language Cuneiform
- simpA
- Kieker
- AS 75
- ARMCI
- AgentSpeak
- Jason
- occam-pi
- QuickCheck
- CloneDigger
- Pict
- Creol
- Autolocker
- LIME
- Linda
- Multilisp
- WADE
- Timber
- ULM
- Rebeca
- QuakeTM
- SNZI
- HaRe
- ASPIER
- evt
- McErlang
- COSTABS
- Fudgets
- SCELlight
- Feather-Trace
- iCanCloud
- CouchDB
- ReCaml
This page was built for software: Erlang
