Erlang

swMATH7202MaRDI QIDQ19254FDOQ19254

Author name not available (Why is that?)

Described by source

• Unnamed Publication
• Unnamed Publication

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