Erlang
From MaRDI portal
Software:19254
swMATH7202MaRDI QIDQ19254FDOQ19254
Author name not available (Why is that?)
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
- Global Reproducibility Through Local Control for Distributed Active Objects
- Transactional events
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- On modelling mobility
- ReverCSP: time-travelling in CSP computations
- 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
- Applying Prolog to develop distributed systems
- Polymorphic Types in Erlang Function Specifications
- 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
- Mutatis mutandis
- The Orc Programming Language
- Use Cases for Refactoring in Erlang
- Validating Timed Models of Deployment Components with Parametric Concurrency
- 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
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Computation semantics of the functional scientific workflow language Cuneiform
- Verification of Erlang processes by dependency pairs
- Towards an Implementation of a Computer Algebra System in a Functional Language
- Synthesising correct concurrent runtime monitors
- Equational Abstractions for Reducing the State Space of Rewrite Theories
- A theory of reversibility for Erlang
- Adaptive locks: combining transactions and locks for efficient concurrency
- Progress-preserving Refinements of CTA
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- ReCaml
- Erlang code evolution control
- Resource control for synchronous cooperative threads
- Title not available (Why is that?)
- Reversibility in Erlang: imperative constructs
- Polymorphic success types for Erlang
- Computing race variants in message-passing concurrent programming with selective receives
- Integrating deployment architectures and resource consumption in timed object-oriented models
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- Title not available (Why is that?)
- 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
- 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
- Concolic Execution in Functional Programming by Program Instrumentation
- A formal approach to the engineering of domain-specific distributed systems
- PerformERL: a performance testing framework for Erlang
- Title not available (Why is that?)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- 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
- Graph-based communication in Eden
- Testing in functional programming
- The Buffered π-Calculus: A Model for Concurrent Languages
- Title not available (Why is that?)
- Computer Aided Systems Theory – EUROCAST 2005
- Refactoring tools for functional languages
- Title not available (Why is that?)
- Extended pattern matching for embedded languages
- Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects
- Towards Modelling Actor-Based Concurrency in Term Rewriting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metrics based optimization of functional source code
- Synthesis of Distributed Mobile Programs Using Monadic Types in Coq
- Title not available (Why is that?)
- Title not available (Why is that?)
- lambda!-calculus, Intersection Types, and Involutions
- Title not available (Why is that?)
- Adaptation of a Refactoring DSL for the Object-Oriented Paradigm
- Title not available (Why is that?)
- Automated Synthesis of Distributed Controllers
- Title not available (Why is that?)
- Tutorial on Subtype Marks
- Efficient memory management for concurrent programs that use message passing
- Title not available (Why is that?)
- Concurrent Objects à la Carte
- Principled Software Development
- Defining actions in concurrent declarative programming
- Model checking Erlang programs -- abstracting recursive function calls
- Equational abstractions for model checking Erlang programs
- On Distributed Monitoring and Synthesis
- Implicitly threaded parallelism in Manticore
- A practical subtyping system for Erlang
- Skeleton composition versus stable process systems in Eden
This page was built for software: Erlang